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