http://www.code.ice.uec.ac.jp/class/dismath2008/
離散数学 2008年度秋 (法政大学情報科学部)

講義テキスト(テキスト資料は講義にての直接配布のみです)
2008 離散数学 講義資料 (Sample p.1 and p.55 only)(2008/09/01)
「2008 離散数学 講義資料 例題 5.54」の訂正 (2008/11/26)
「2008 離散数学 講義資料 例題 5.55」の追記 (2008/11/27)
「2008 離散数学 講義資料 例題 5.60」の訂正 (2008/12/02)

講義日ごとの講義内容および資料
(1) 2008/09/24 : 1. 集合 定義 1.1 - 定義 1.13 (pp.2 - 4), (出欠課題).
ガイダンスの資料(pdf). 講義用テキスト「離散数学」を配布した。
(2) 2008/10/01 : 1. 集合 例題 1.14 - 定義 1.31 (pp.2 - 8), 前回の出欠課題の解説, (出欠課題).
過去の定期試験問題を配布した。
(3) 2008/10/15 : 1. 集合 定理 1.32 - 例題 1.34, 2. 写像 定義 2.1 - 例題 2.9 (pp.8 - 11), 前回の出欠課題の解説, (出欠課題) .
(4) 2008/10/22 : 2. 写像 定理 2.10 - 例題 2.24 (pp.12 - 16), 前回の出欠課題の解説, (出欠課題).
レポート課題の提示 ( レポート問題は、10月1日に配布した過去問題資料の問題 1 から 6 までの 6 問. 提出期限は、2008年11月12日(水).) (2008/11/14にレポートの提出状況表を掲示)
鳩の巣原理に関連する資料を配布した。
(5) 2008/10/29 : 3. 論理 3.1.1 命題論理 - 定理 3.4 (pp.18 - 19), 前回の出欠課題の解説, (出欠課題)
(6) 2008/11/05 : 3. 論理 定理 3.5 - 定義 3.31 (pp.20 - 26), 前回の出欠課題の解説.
(7) 2008/11/12 : 3. 論理 例題 3.32 - 例題 3.41 (pp.26 - 28), 4. 数学的帰納法 定理 4.2 - 例題 4.3 (pp.31 - 31).
(8) 2008/11/19 : 4. 数学的帰納法 定理 4.5 - 例題 4.10 (pp.31 - 33), 再帰的定義 定義 4.15 - 例題 4.18 (pp.34 - 35).
レポート課題の 提示 ( レポート問題は、11月19日に配布した レポート課題 の問題 1 から 4 までの 4 問. 提出期限は、2008年12月 3日(水).)
(9) 2008/11/26 : 5. 関係 5.1 2項関係 定義 5.1 - 定義 5.9 (pp.37 - 38), 関係の具体例(同値関係の例:合同関係、順序関係の例:包含関係).
(10) 2008/12/03 : 5. 関係 5.2 同値関係 定義 5.12 - 例題 5.19 (pp.39 - 41), 本日の出欠課題の一部解説. (出欠課題)
(11) 2008/12/10 : 5. 関係 5.2 同値関係 定義 5.23 - 例題 5.26, 例題 5.43, 5.3 順序関係 定義 5.44 - 例題 5.47, (pp.42 - 47), 前回の出欠課題の解説. 本日の出欠課題の一部解説. (出欠課題)
(12) 2008/12/17 : 5. 関係 5.3 順序関係 例題 5.45, 例題 5.48 - 例題 5.53, (pp.47 - 48)
(13) 2008/12/24 : 5. 関係 5.3 順序関係 訂正版の例題 5.54, 例題 5.55, 定義 5.57, 例題 5.58, (p.49), 前々回の出欠課題の解説.
( 出欠課題 : 今回は解答用紙を回収せず、次回までに解答を作成することを宿題にした。そして、次回に、解説および答え合わせをすることにした。)
遅れレポートの提出期限 : 提出期限2008年11月12日と12月3日の2種類のレポートの最終提出期限を2009年1月13日までとすることを告知した。
(14) 2009/01/14 : 全順序関係の具体例( 資料 ) および 例題 5.54(改訂版) への適用例の解説. 有限かつ全順序集合における極大元, 最大元, 上限の関係について。
前回の 出欠課題 (問題1,2)の解説.
(15) 2009/01/21 : 定期試験実施済

成績評価
成績評価(割合) (2009/01/30)
栗原正純 (Masazumi KURIHARA) kuri @ ice.uec.ac.jp
電気通信大学 情報通信工学科

リンク & 資料
2008年9月24日のガイダンス資料(pdf)
離散数学シラバス(Syllabus) ... Deleted(2009/04) 2008Syllabus.PDF
法政大学WEB活用 (with password)
法政大学情報科学部
法政大学
情報科学の話題
「川渡り問題」, 説明資料: (PDF,PPT),
「大人と子供(川渡り問題)」: mupadプログラム(PDF,テキスト形式), 計算結果(PDF,テキスト形式)
「オオカミとヤギとキャベツ(川渡り問題)」: mupadプログラム(PDF,テキスト形式), 計算結果(PDF,テキスト形式)
「ウサギとイヌ(川渡り問題)」: mupadプログラム(PDF,テキスト形式), 計算結果(PDF,テキスト形式)

管理用資料 with パスワード
2008年度 離散数学 講義テキスト ( all )(2008/09/25)
昨年度の資料( Q & A ) (2008/10/01配布済み)
2008/10/22に配布予定の資料 (2008/10/16)
2008/11/19に配布予定の資料 (2008/10/18)
2008/12/03に配布予定の資料 (2008/11/26)
配布予定の資料 (2008/11/26)
配布予定の資料 (2008/11/27)
資料(全順序関係) (2008/11/28)
配布予定の資料 (2008/12/04)
配布予定の資料 (2008/12/05) (訂正中:2008/12/13), 配布予定の資料 (訂正版:2008/12/17)