数理論理学 I

担当者

高橋 譲嗣

授業の概要

数理的な主張の表現と証明の構造を数理的に分析すると, 述語論理の体系に到達します. 「数理論理学 I」ではこの述語論理の初歩を学びます.

授業計画

1. First-order languages; 項と論理式
2. 帰納法の原理
3. 項と論理式の解釈
4. 自由変数と束縛変数
5. 項の代入
6. 形式的証明と形式的証明可能性

テキスト・参考書

授業内容の要約ノートを授業中に配布します.

授業の形式

講義

評価の方法

授業期間中に課す多数のレポート形式の演習問題に基づいて評価します.

高橋譲嗣 < 数理・情報環境論 < 人間環境科学科 < 発達科学部 < 神戸大学