Discrete Mathematics I: Schedule
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 / 期末試験期間