 |
preining@jaist.ac.jp
+81-(0)761-51-1170 (phone)
オフィス：C2-302a (総合研究実験棟)
4/16 数学とは何か－計算からパターンの理論まで スライド
4/21 証明とは何か－基本的な証明の方法 スライド 演習問題
4/23 帰納法 スライド 演習問題
5/28 帰納法２ スライド 演習問題
4/30 整数論、数体系－2進法、8進法、10進法、16進法 スライド 演習問題
5/05 GW
5/07 無限集合、集合論 スライド
5/12 集合論論理学 スライド 演習問題
5/14 集合論 スライド
5/19 幾何学の公理的方法、非ユークリッド幾何 スライド
中間レポート
5/21 微分積分学－関数と極限 スライド
5/26 グラフ理論とインターネット・トラフィック スライド 演習問題
5/28 計算モデル スライド
6/02 ホーア論理とソフトウェア検証 スライド
期末レポート
6/04 まとめ スライド
6/10 9:00-12:00, 13:00-15:00 レポートの確認
（レポートの点数等に興味があれば、上記の時間にオフィスへ来て下さい）
他の注意：問題１の返事、必ず手書かなくて、ワードプロなどを使って下さい。
その以外の問題の返事を手書いても構いません。