Discrete Mathematics I: Schedule
Aoyama Gakuin University, Fall 2017/8, Martin J.
Dürst
- September 15
- The Importance of Mathematics /
数学の重要性
- September 22
- Natural Number Representation / Natural
Number Representation / 整数の表現
- September 29
- Propositions and Boolean Formulæ /
命題と論理式
- October 6
- Propositional Logic, Normal Forms /
命題論理、標準形
- October 13
- Logic Circuits, Axioms for Basic Logic /
論理回路、基本論理の公理化
- October 20
- [overseas conference, no lecture /
海外出張、休講]
- October 27
- Predicate Logic, Universal and Existential
Quantifiers / 述語論理、全称限量子、存在限量子
- November 3
- (Aoyama festival, no lectures /
青山祭、休講)
- November 10
- Applications of Predicate Logic /
述語論理の応用
- November 17
- Sets / 集合
- November 24
- Relations: Tuples, Cross Products,
Representations of Relations / 関係の基本:
順序対、n項組、直積集合、関係の表現
- December 1
- Applications of Relations: Properties of
Relations, Equivalence Relations, Order Relations / 関係の応用:
関係の性質、同値関係、半順序
- December 8
- Algebraic Structures: Groups, Symmetric
Groups / 代数系の基礎、群、対称群
- December 15
- Boolean Algebra / ブール代数
- December 22
- Modular Arithmetic / 合同算術
- December 24 to January 9
- (Winter Vacations)
- January 12
- [Make-up Class / 補講]
Mathematical Induction and other Proof Methods /
数学的帰納法などの証明方法
- January 19
- Review / 復習
- January 26
- Term Final Exam / 期末試験