Discrete Mathematics Ａ

Course Information

College	Akashi College	Year	2023
Course Title	Discrete Mathematics Ａ
Course Code	5423	Course Category	Specialized / Compulsory
Class Format	Lecture	Credits	School Credit: 1
Department	Electrical and Computer Engineering Computer Engineering Course	Student Grade	4th
Term	First Semester	Classes per Week	2
Textbook and/or Teaching Materials
Instructor	HAMADA Yukihiro

Course Objectives

[1] Can explain what counting is.
[2] Develop self-directed and continuous learning skills by mastering the arguments used in a mathematical proof.
[3] Can think in a recursive manner.

Rubric

	Ideal Level	Standard Level	Unacceptable Level
Achievement 1	Can explain sets and functions in a classified way, and determine whether the cardinalities of two sets are equal	Can explain sets and a functions, and determines whether the cardinalities of two sets are equal	Cannot explain a set and a function, and cannot determines whether the cardinalities of two sets are equal
Achievement 2	Can explain the propositions and predicates, and correctly write a mathematical proof using proof by contraposition and contradiction, and the mathematical induction methods accurately.	Can explain the propositions and predicates, and write a mathematical proof using proof by contraposition and contradiction, and the mathematical induction methods.	Cannot explain the propositions and predicates, and write a mathematical proof using proof by contraposition and contradiction, and the mathematical induction methods.
Achievement 3	Can define sets and functions recursively and correctly.	Can define sets and functions recursively.	Cannot define sets and functions recursively.

Teaching Method

Outline:

Discrete mathematics is a field of mathematics that deals with finite or discrete subjects, and one of the foundations of computer science. In this course, you will learn about sets and functions, mathematical induction and recursive definitions, Backus form and context-free grammar.

Style:

Classes will be held in a lecture style.

Notice:

Make sure you understand the exact definition of the term and get an intuitive image from the formal description. Try to solve the examples or exercise problems yourself and score it against the answer.
Students who miss 1/3 or more of classes will not be eligible for evaluation.

Characteristics of Class / Division in Learning

Aided by ICT

Applicable to Remote Class

Course Plan

			Theme	Goals
1st Semester
	1st Quarter
		1st	Basic form	Can use form to represent sets or conditions.
		2nd	The relationship between the sets	Can perform various set operations and can use basic formulas.
		3rd	Function 1/2	Can explain the basics function.
		4th	Function 2/2	Can explain the associative law, inverse function and substitution for injection, surjection, bijection, composition of function, and composition.
		5th	Infinite sets and cardinality 1/2	Can explain the cardinality of a set and can determine if the cardinalities of the two sets are equal.
		6th	Infinite sets and cardinality 2/2	Can explain the counting and cardinality of the continuum.
		7th	Propositions and proof by contradiction	Can explain the propositions and the converse, inverse, and contraposition. Can write mathematical proof using contraposition and proof by contradiction.
		8th	Midterm exam It is given during class.
	2nd Quarter
		9th	Predicate	Can explain a predicate (a function that takes only true or false as a value).
		10th	Propositional logic and its limitation in descriptive ability	Can explain the logical expression of a propositional logic and can represent a statement in a logical expression. Can explain the logical expression of predicate logic.
		11th	Language	Can explain the basics of formal languages.
		12th	Mathematical induction 1 of 2	Can mathematical proof by induction
		13th	Mathematical induction 2 of 2	Can write mathematical proof using the complete induction. Can explain the dual induction.
		14th	Recursive definition	Can define sets, functions, etc. recursively.
		15th	Backus form and context-free grammar	Can handle Backus form and context-free grammar.
		16th	Final exam

Evaluation Method and Weight (%)

	Examination	Presentation	Mutual Evaluations between students	Behavior	Portfolio	Other	Total
Subtotal	100	0	0	0	0	0	100
Basic Proficiency	0	0	0	0	0	0	0
Specialized Proficiency	100	0	0	0	0	0	100
Cross Area Proficiency	0	0	0	0	0	0	0