情報数学 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
期末試験