Navigation Top | Logic | Software Development | Mountain | Photography | Blog
講義 数学と論理学
科目番号 L211
連絡先 PREINING, Norbert
preining@jaist.ac.jp
+81-(0)761-51-1170 (phone)
オフィス:C2-302a (総合研究実験棟)
オフィスアワー 火曜日3時限(13:30-15:00)
シラバス ここから検索
講義計画 4/09 20世紀と21世紀の数学の例 スライド
4/13 数学とは何か-計算からパターンの理論まで スライ>ド
4/15 証明とは何か-基本的な証明の方法 スライ>ド 演習問題
4/20 帰納法 スライ>ド 演習問題
5/22 帰納法2 スライ>ド 演習問題
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 まとめ
中間レポート 提出期限は5月17日、23:59JSTまでです。
他の注意:問題1の返事、必ず手書かなくて、ワードプロなどを使って下さい。
その以外の問題の返事を手書いても構いません。
期末レポート 提出期限は6月7日、23:59JSTまでです。
Copyright 2015 Norbert Preining