2024年度版
JP
EN
学部後期課程
授業カタログとは
JP
EN
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
戻る
マイリストにログインする
マイリストを使うと、自身が興味を持つ科目をチェックできます。
チェックした科目は随時マイリストを開くことにより確認できます。
マイリストを使うためにはログインをしてください。
Googleアカウントを使って
ログイン
Twitterアカウントを使って
ログイン