Aoyama Gakuin University, Fall 2014, Martin J. Dürst

- September 19
- The importance of mathematics / 数学の重要性
- September 26
- Integers / 整数
- October 3
- Propositions and Boolean formulæ / 命題と論理式
- October 10
- Propositional Logic / 命題論理
- October 17
- Normal forms, logic circuits / 標準形、論理回路
- October 24
- Predicate logic, quantifiers / 述語論理、限量子
- October 31
**(Aoyama festival, no lectures)**- November 7
**[overseas conference, no lecture]**- November 14
- Applications of predicate logic / 述語論理の応用
- November 21
- Sets / 集合
- November 28
- Relations / 関係
- December 5
- Applications of Relations / 関係の応用
- December 12
- Discrete Mathematics I / 代数系
- December 19
- Boolean algebra / ブール代数
- December 24 to January 4, 2015
- (Winter vacations)
- January 9
- Modular arithmetic / 合同算術
- January 16
- Proof methods / 証明の方法
- January 20 to 23
**[補講]** - Review / 復習
- January 30
- Final exam