 |
preining@jaist.ac.jp
+81-(0)761-51-1170 (phone)
オフィス：C2-302a (総合研究実験棟)
4/13 数学とは何か－計算からパターンの理論まで スライ>ド
4/15 証明とは何か－基本的な証明の方法 スライ>ド 演習問題
4/20 帰納法 スライ>ド 演習問題
5/22 帰納法２ スライ>ド 演習問題
4/27 整数論、数体系－2進法、8進法、10進法、16進法 スライ>ド 演習問題
4/29 GW
5/04 GW
5/06 GW
5/11 無限集合、集合論 スライ>ド
中間レポート
5/13 集合論論理学 スライ>ド 演習問題
5/18 論理学 スライ>ド
5/20 幾何学の公理的方法、非ユークリッド幾何 スライ>ド
5/25 級数と関数 スライ>ド
5/27 グラフ理論とインターネット・トラフィック スライ>ド 演習問題
6/01 計算モデル
期末レポート
6/03 ホーア論理とソフトウェア検証
6/05 まとめ
他の注意：問題１の返事、必ず手書かなくて、ワードプロなどを使って下さい。
その以外の問題の返事を手書いても構いません。