|
授業テーマ
|
論理学の初歩的な技術を習得すること。
|
|
授業のねらい・到達目標
|
述語論理を学習したのち、自然数の理論を学びます。自然数について成り立つ定理を論理的な推論にしたがって証明できるようになってもらうことが、この授業の目標です。
|
|
授業の方法
|
授業は講義形式で行います。欠席すると授業についてこられなくなることもあるので、なるべく毎回出席するようにしてください。（ただし出欠はとりません。）
|
|
事前学習・授業計画コメント
|
授業内容を復習して理解を深めること。
|
|
授業計画
|
|
1
|
ガイダンス
|
|
2
|
述語論理とは
|
|
3
|
全称量化子の意味
|
|
4
|
存在量化子の意味
|
|
5
|
多重量化
|
|
6
|
全称量化子の推論規則
|
|
7
|
存在量化子の推論規則
|
|
8
|
証明の練習
|
|
9
|
自然数の理論とは
|
|
10
|
足し算の公理
|
|
11
|
掛け算の公理
|
|
12
|
数学的帰納法
|
|
13
|
証明の練習
|
|
14
|
課題学習
|
|
15
|
総括
|
|
その他
|
|
教科書
|
なし
|
|
参考書
|
鹿島亮
『数理論理学』
朝倉書店
2009年
第1版
飯田隆（編）
『論理の哲学』
講談社
2005年
第1版
|
|
成績評価の方法
及び基準
|
レポート(100%)
|
|