演繹的推論法

担当者

高橋 譲嗣

授業の概要

数理的主張を正確に理解し, 正しい数理的証明を書くために必要な知識と技能を, 実践的に習得することをめざします.

授業計画

1. 条件の論理構造
2. 項の代入
3. 自由変数と束縛変数
4. 真理表
5. 同値な条件
6. 論証による証明
7. 素朴集合論の初歩

テキスト・参考書

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

授業の形式

講義

評価の方法

授業期間中にしばしば行う 15 〜20 分の小テスト, 及び期末試験期間中に行う大テストの結果に基づいて評価します.

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