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