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