情報数学 I の日程
青山学院大学 2007 年後期、Martin J. Dürst
参考文献
- 9月28日
- 情報テクノロジーでの数学の役割と重要性
- 10月 5日
- 基本概念: 集合など
- 10月12日
- 組み合わせ、命題
- 10月19日
- (海外出張により休講)
- 10月26日
- 論理関数とその変換と単純化
- 11月 2日
- (青山祭)
- 11月 9日
- 論理回路と記号論理
- 11月16日
- (創立記念日)
- 11月23日
- (労働感謝の日)
- 11月30日
- 関係
- 12月 7日
- 関係の応用、ミニテスト
- 12月14日
- 関係の応用
- 12月19日 (水曜日)
- 半順序からブール代数へ
- 12月21日
- ブール代数と2進数とビット毎演算
- 12月23日から2008年 1月 6日
- (冬期休業)
- 1月11日
- ビット毎演算、述語論理
- 1月16日 (水) 2限 (補講日)
- 述語論理
- 1月18日
- 証明の方法
- 1月25日 11:10-12:35
- 期末試験