情報数学 I の日程
青山学院大学 2013 年度後期、Martin J.
Dürst
- 9月27日
- 数学の重要性
- 10月4日
- 数の表現
- 10月11日
- 集合、組み合わせ、関数
- 10月18日
- 命題と論理式
- 10月25日
- [海外出張のため休業]
- 11月1日
- (青山祭のため休講)
- 11月8日
- 論理関数の変換と単純化、同値、含意
- 11月15日
- 論理関数の標準形、論理回路
- 11月22日
- 関係の基本
- 11月29日
- 関係の応用
- 12月6日
- 半順序から群へ
- 12月13日
- 束、ブール代数、ビット毎演算
- 12月20日
- 剰余演算、合同関係、合同類
- 12月24日から2013年 1月4日
- (冬期休業期間)
- 1月10日
- 述語論理
- 1月14日 (火) [補講]
- 述語論理の応用
- 1月17日
- 証明の方法
- 1月24日
- 復習
- 1月31日
- 期末試験