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 22 to 29 (most probably 25)
Term Final Exam Period / 期末試験期間