Course title
P04404001
Discrete Mathematics

 aiba akira Click to show questionnaire result at 2018
Course description
In this class, students will learn mathematics which will be basics of computer programs.These mathematical knowledge can be used to consider various theoretical issues of programs including complexity of algorithms.
Sets, relations, functions, algebra will be included in the class.
Purpose of class
Acquiring basic knowledge on discrete mathematics and understanding its importance for algorithms and programs.
Goals and objectives
  1. Students are expected to Understand basics of sets, relations, functions, algebra etc.
  2. Students are expected to think of programs and algorithms from mathematical point of view.
  3. Students are expected to learn further topics in the field of discrete mathematics.
Language
Japanese
Class schedule

 Class schedule HW assignments (Including preparation and review of the class.) Amount of Time Required
1. Set 1
What is set.
Representation of sets.
Basic operation on sets. 		Reading Syllabus. 10minutes
Reviewing contents of the class, finish quiz. 30minutes
2. Set 2
Cardinality of sets
Countable infinite set, non-countable infinite set and diagonal method 		Reviewing contents of the class, finish quiz. 30minutes
3. Relation 1
What is relation.
Representation of relations 		Reviewing contents of the class, finish quiz. 30minutes
4. Relation 2
Equivalence relation 		Reviewing contents of the class, finish quiz. 30minutes
5. Relation 3
Partial order 		Reviewing contents of the class, finish quiz. 30minutes
6. Relation 4
Total order 		Reviewing contents of the class, finish quiz. 30minutes
7. Function
What is function
Relation and function
Composite function 		Reviewing contents of the class, finish quiz. 30minutes
8. Mid-term exam Reviewing mid-term exam 45minutes
9. Inductive definition Reviewing contents of the class, finish quiz. 30minutes
10. Inductive proof
Mathematical induction
Structural inductio 		Reviewing contents of the class, finish quiz. 30minutes
11. Algebra 1
Monoid, semi-group 		Reviewing contents of the class, finish quiz. 30minutes
12. Algebra 2
Group, ring, field 		Reviewing contents of the class, finish quiz. 30minutes
13. Boolean algebra Reviewing contents of the class, finish quiz. 30minutes
14. Final exam Reviewing final-exam 45minutes
Total. - - 460minutes
Relationship between 'Goals and Objectives' and 'Course Outcomes'

 Quiz Mid-term exam Final exam Total.
1. 20% 20% 30% 70%
2. 10% 5% 5% 20%
3. 0% 5% 5% 10%
Total. 30% 30% 40% -
Evaluation method and criteria
Students will be evaluated by weighted average of quiz, mid-term exam, and final exam.
Students who can understand what is asked in exam will be graded as 70%.
Textbooks and reference materials
Not specified.
Prerequisites
Not specified.
Office hours and How to contact professors for questions
  • Tuesday, 12:30 - 13:00
Relation to the environment
Non-environment-related course
Regionally-oriented
Non-regionally-oriented course
Development of social and professional independence
  • Non-social and professional independence development course
Active-learning course
N/A
Course by professor with work experience
Work experience Work experience and relevance to the course content if applicatable
N/A N/A
Last modified : Fri Jul 19 04:01:48 JST 2019