情報数学 I の日程
青山学院大学 2010 年度後期、Martin J.
Dürst
- 9月24日
- 情報テクノロジーでの数学の役割と重要性
- 10月 1日
- 数の表現
- 10月 8日
- 基本概念、集合など
- 10月15日
- 組み合わせ、命題
- 10月22日
- (海外出張のため休講)
- 10月29日
- (青山祭のため休講)
- 11月 5日
- 論理関数とその変換と単純化
- Solution5
- 11月12日
- 論理回路、記号理論
- 11月19日
- 関係
- 11月26日
- 関係の応用
- 12月 3日
- 半順序からグループへ
- 12月10日
- ブール代数、ビット毎演算
- 12月17日
- 述語理論
- 12月24日から2010年 1月 5日
- (冬期休業期間)
- 1月 7日
- 述語論理
- 1月 14日
- 証明の方法
- 1月19日 (補講日)
- 残り・復習
- 1月21日
- 期末試験 (解答例を含む試験問題)