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

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

情報論理

計算機科学の基礎となる記号論理学と，計算可能性の理論について，入門的な講義を行う．
具体的には以下の項目について解説する．

記号論理学：
命題論理の構文論と意味論，一階述語論理の構文論と意味論，
構造帰納法による証明，極大無矛盾集合による完全性証明

計算可能性の理論：
原子帰納的関数，帰納的関数，クリーネの標準形定理，
ゲーデルの不完全性定理
MIMA Search
時間割／共通科目コード
コース名
教員
学期
時限
0510014
FSC-IS3014L1
情報論理
萩谷　昌己
S1 S2
水曜2限
マイリストに追加
マイリストから削除
講義使用言語
日本語
単位
2
実務経験のある教員による授業科目
NO
他学部履修
可
開講所属
理学部
授業計画
4月8日の授業から、Zoomによるオンライン授業を試行します。 オンライン授業URLを参照してください。 （アクセス制限は今のところありません。） 計算可能性の理論についての講義（前半）、記号論理学に関する講義（後半）ののち，両方の内容について期末試験を行う．
授業の方法
何らかの事情でオンライン講義を受講できない方は、メールで授業担当教員までご相談ください。 =========================================================================== 各回の要点をまとめたスライドによる解説と教科書の該当箇所の確認。 必要に応じて板書。
成績評価方法
レポート＋期末試験の成績
教科書
教科書（英語）を配布する．
参考書
小野寛晰：情報科学における論理（日本評論社） 鹿島亮：C言語による計算の理論（サイエンス社） 高橋正子：計算論（近代科学社） 萩谷昌己，西崎真也：論理と計算のしくみ（岩波書店）
履修上の注意
今年度も計算可能性を先に扱う予定。 4月8日の授業から、Zoomによるオンライン授業を試行します。 オンライン授業URLを参照してください。 （アクセス制限は今のところありません。）
戻る