数理論理学
Mathematical Logic
教授・北 研二
2単位
目的
近年，計算機科学の色々な分野で数理論理学が用いられるようになってきている. 本講義では，計算機科学を専攻する上で知っておくべき数理論理学の基礎について講述する.
概要
まず数理論理学を学ぶ上で最も基礎になる命題論理について説明し，論理式の真偽，トートロジー，証明可能性等について論じる. その後，命題論理を述語論理へ拡張し，述語論理の論理式，形式的体系等について論じる.
キーワード
命題論理，述語論理，導出原理
先行科目
関連科目
要件
特になし．
目標
| 1. | コンピュータで各種問題を扱う際に重要となる 問題の形式化，数学的モデル化などの基礎的な 能力を修得する． |
計画
| 1. | 命題と論理式 |
| 2. | 論理式と真偽 |
| 3. | 命題論理式の性質 |
| 4. | 命題論理式の解釈 |
| 5. | 命題論理式の標準形 |
| 6. | 命題論理と公理系 |
| 7. | 命題論理と推論 |
| 8. | 述語論理の論理式1 |
| 9. | 述語論理の論理式2 |
| 10. | 述語論理の解釈 |
| 11. | 述語論理式の標準形 |
| 12. | 述語論理と導出原理1 |
| 13. | 述語論理と導出原理2 |
| 14. | 演習1 |
| 15. | 演習2 |
| 16. | 定期試 |
評価
受講姿勢，レポートの提出状況と内容，小テスト及び中間試験，定期試験の成績を総合して行う.
対象学生
開講コース学生のみ履修可能
教科書
小倉久和·高濱徹行 著「情報の論理数学入門」近代科学社
参考資料
特になし
連絡先
北(Dr503, 088-656-7496, kita@is.tokushima-u.ac(no-spam).jp)
- オフィスアワー: 火曜日 12:50 - 14:20
備考
| 1. | 毎回の予習·復習を欠かさず行うこと. 随時，レポート及び小テストを実施する. |
| 2. | 成績評価に対する平常点と試験の比率は4:6とする. 平常点には受講姿勢，レポートの提出状況と内容を含み，試験には小テスト及び中間試験·定期試験の成績を含む. |