Discrete Mathematics


  • 講師: シモセラ エドガー
  • 日程: 2020年10月〜2021年01月
  • 曜日時限: 木曜日 4時限(14:45〜16:15)
  • 教室: 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.


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.


  1. Introduction and Proofs 資料 MCS Chapters 1+2 DM Chapter 1
  2. Induction I 資料 MCS Chapter 2+5 DM Chapter 5
  3. Induction II 資料 MCS Chapter 5 DM Chapter 5
  4. Number Theory I 資料 MCS Chapter 9 DM Chapter 4
  5. Number Theory II 資料 MCS Chapter 9 DM Chapter 4
  6. Graph Theory I 資料 MCS Chapter 10+11 DM Chapter 10
  7. Graph Theory II 資料 MCS Chapter 12+13 DM Chapter 10
  8. Graph Theory III 資料 MCS Chapter 13 DM Chapter 10
  9. Probability 資料 MCS Chapter 17 DM Chapter 7
  10. Conditional Probability 資料 MCS Chapter 18
  11. Independence 資料 MCS Chapter 18
  12. Expectation I 資料 MCS Chapter 19
  13. Expectation II 資料 MCS Chapter 20
  14. Recurrences and Random Walks 資料 MCS Chapter 21
  15. Reflection 資料


  • 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.