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