学部後期課程
HOME 学部後期課程 応用数学XD
過去(2020年度)の授業の情報です
学内のオンライン授業の情報漏洩防止のため,URLやアカウント、教室の記載は削除しております。
最終更新日:2024年3月15日

授業計画や教室は変更となる可能性があるため、必ずUTASで最新の情報を確認して下さい。
UTASにアクセスできない方は、担当教員または部局教務へお問い合わせ下さい。

応用数学XD

応用数学XD
不完全性定理を通して数理論理学の基礎を学ぶ
MIMA Search
時間割/共通科目コード
コース名
教員
学期
時限
0505100
FSC-MA4761L1
応用数学XD
新井 敏康
S1 S2
火曜3限
マイリストに追加
マイリストから削除
講義使用言語
日本語
単位
2
実務経験のある教員による授業科目
NO
他学部履修
開講所属
理学部
授業計画
おおよそ以下の順に講義する予定 1. 不完全性定理の導入 2. 論理の形式化 3. 自然数の公理系 PA 4. 原始再帰的関数 5. PAの算術化 6. 原始再帰的関数のPAによる表現定理 7. 不動点定理と表現定理の形式化 8. 導出可能性条件 9. 不完全性定理の証明 10. まとめ
授業の方法
ITC-LMSにて配布したプリントに基づいて, 4週目からZoomにより講義する.
成績評価方法
レポートによる
教科書
なし
参考書
新井敏康「数学基礎論」岩波書店
履修上の注意
特になし
その他
数理分類番号 760