授業情報
- 講師： シモセラ エドガー
- 日程： 2020年10月〜2021年01月
- 曜日時限： 木曜日 4時限（15:05〜16:45）
- 教室： To be determined
- メール： ess@waseda.jp
Due to the effect of the ongoing corona virus, the course has been adapted to be
almost fully online. Video explanations will be provided
in an “ondemand”-format (videos viewable anytime) and Q&A will be done with
real-time seminars and offline forums. The exception will be the
classroom mid-term exam done on the 8-th week.
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 homework, a midterm examination
on the 8th week and a small project. The midterm exam will be held in the
classroom!
The course will be evaluated based on homework done throughout the course and a single final report.
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
- Reflection 資料
Textbook
- MCS Main Textbook Eric Lehman, F. Thomson Leighton, Albert R. Meyer, Mathematics for Computer Science, 2017. PDF
- DM Kenneth Rosen, Discrete Mathematics and Its Applications, McGraw-Hill Education, 2018.