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

- September 18
- The importance of Mathematics / 数学の重要性
- September 25
- Integers / 整数
- October 2
- Propositions and Boolean formulæ / 命題と論理式
- October 9
- (Propositional logic,) normal forms / (命題論理、)標準形
- October 16
- Logic circuits, axioms for basic logic / 論理回路、基本論理の公理化
- October 23
- Predicate logic, quantifiers / 述語論理、限量子
- October 30
**(Aoyama festival, no lectures)**- November 6
- Applications of predicate logic / 述語論理の応用
- November 13
- Sets / 集合
- November 20
- Relations: Tuples, cross products, representations of relations / 関係の基本: 順序対、n項組、直積集合、関係の表現
- November 27
- Applications of relations: Properties of relations, equivalence relations, order relations / 関係の応用: 関係の性質、同値関係、半順序
- December 4
- Algebraic structures: Groups, symmetric groups / 代数系の基礎、群、対称群
- December 11
- Boolean algebra / ブール代数
- December 18
- Modular arithmetic / 合同算術
- December 23 to January 4, 2016
- (Winter Vacations)
- January 8
- Proof methods / 証明の方法
- January 15
- Review / 復習
- January 22
- [Make-up Classes / 補講]
- January 26 to February 2
- Term Final Exam Period / 期末試験期間