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