情報数学 I の日程
青山学院大学 2009 年度後期、Martin J. Dürst
参考文献
- 9月25日
- 情報テクノロジーでの数学の役割と重要性
- 10月 2日
- 基本概念: 集合など
- 10月 9日
- 組み合わせ、命題
- 10月16日
- 出張のため休講
- 10月23日
- 論理関数とその変換と単純化
- 10月30日
- (青山祭)
- 11月 6日
- 論理回路と記号論理
- 11月13日
- 関係
- 11月20日
- 関係の応用
- 11月27日
- 関係の応用
- 12月 4日
- 半順序からブール代数へ
- 12月11日
- 2進数とビット毎演算
- 12月18日
- 述語論理
- 12月24日から2010年 1月 6日
- (冬期休業)
- 1月 8日
- 証明の方法
- 1月15日 (補講日、変更の可能性あり)
- 証明の方法
- 1月18日から 2月 2日
- 期末試験期間