授業情報
- 講師： シモセラ エドガー
- 日程： 2022年10月〜2023年01月
- 曜日時限： 月曜日 3時限（13:10〜14:50）
- 教室： 56-104
- メール： ess@waseda.jp
At the moment, the class is planned to be held dominantly in-person as normal.
Depending on the evolution of the corona virus, details are subject to change.
Depending on the evolution of the corona virus, details are subject to change.
Overview
This course covers elementary discrete mathematics for computer science and engineering. An emphasis is given on mathematical definitions and proof with topics covering proof methods, induction, graph theory, counting and discrete probability. The course will be given in English.
The course will be evaluated fundamentally with a midterm examination on the 8th week and a final examination on the 15th week. In the case that the midterm evaluation goes poorly, it will not be used in the evaluation, which will then be based on fundamentally the final examination. Small in-class quizzes and attendance will also be considered in the final grade.
Objectives
- Learn to think logical and analytically
- Be able to do simple proofs
- Ability to understand and manipulate graphs
- Notions of discrete probability
Schedule
- Introduction and Proofs 資料 MCS Chapters 1+2 DM Chapter 1
- Induction I 資料 MCS Chapter 2+5 DM Chapter 5
- Induction II 資料 MCS Chapter 5 DM Chapter 5
- Number Theory I 資料 MCS Chapter 9 DM Chapter 4
- Number Theory II 資料 MCS Chapter 9 DM Chapter 4
- Graph Theory I 資料 MCS Chapter 10+11 DM Chapter 10
- Graph Theory II 資料 MCS Chapter 12+13 DM Chapter 10
- Graph Theory III 資料 MCS Chapter 13 DM Chapter 10
- Probability 資料 MCS Chapter 17 DM Chapter 7
- Conditional Probability 資料 MCS Chapter 18
- Independence 資料 MCS Chapter 18
- Expectation I 資料 MCS Chapter 19
- Expectation II 資料 MCS Chapter 20
- Recurrences and Random Walks 資料 MCS Chapter 21
Textbook
- MCS Main Textbook Eric Lehman, F. Thomson Leighton, Albert R. Meyer, Mathematics for Computer Science, 2021. PDF
- DM Kenneth Rosen, Discrete Mathematics and Its Applications, McGraw-Hill Education, 2018.