情報数学 I の日程
青山学院大学 2012 年度後期、Martin J.
Dürst
参考書
- 9月21日
- 情報テクノロジーでの数学の役割と重要性
- 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月21日
- 命題論理: 同値、含意;
述語論理
- 12月24日から2012年 1月 5日
- (冬期休業期間)
- 1月11日
- 証明の方法
- 1月17日から19日 (補講日)
- 合同算術
- 1月18日
- 復習
- 1月25
- 期末試験