学部後期課程
HOME 学部後期課程 応用数学XD
戻る
過去（2019年度）の授業の情報です
学内のオンライン授業の情報漏洩防止のため，URLやアカウント、教室の記載は削除しております。
最終更新日：2024年4月1日

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

応用数学XD

論理と計算
「論理的妥当性」とそれに一致する「証明可能性」および「（機械的）計算可能性」などの定義を理解するとともにそれらに関する基本的定理を学ぶ．
MIMA Search
時間割／共通科目コード
コース名
教員
学期
時限
0505100
FSC-MA4761L1
応用数学XD
新井　敏康
A1 A2
月曜3限
マイリストに追加
マイリストから削除
講義使用言語
日本語
単位
2
実務経験のある教員による授業科目
NO
他学部履修
可
開講所属
理学部
授業計画
以下の項目を講義する予定． １．命題論理とそのコンパクト性，2．言語と構造および充足可能関係　3．証明の定義 4．ヘンキン拡大とその保存性　5．完全性定理　６．コンパクト性定理 7．計算可能性の考察　8．原始再帰的関数とコーディング　9．再帰的関数による計算の模倣 10．チャーチの提唱　１１．計算によって解けない問題　12．半計算可能性
授業の方法
板書による講義
成績評価方法
レポートによる
教科書
-
参考書
新井敏康「数学基礎論」岩波書店，２０１１
履修上の注意
なし
戻る