△数理論理学（Mathematical Logic）[6452]

＜授業のねらい及び具体的な達成目標＞

情報科学の基礎となる論理的思考力を身に付けることが重要である．各論理演算の真理値表が書け，簡単な恒真式について妥当性の証明ができること，述語論理の量記号の意味が正しく理解できていることを達成目標とする．

＜授業計画＞

1. 命題論理と命題
2. 命題演算（否定・積・和）
3. 同値関係と式の変形
4. 恒真命題と条件命題
5. 逆と対偶
6. 証明
7. 命題論理のまとめ
8. 述語論理と命題関数
9. 全称命題
10. 存在命題
11. 述語論理のまとめ
12. 様相論理
13. 無限集合・有限集合と計算可能性

＜成績評価方法及び水準＞

成績は期末試験結果を約70％，授業中の演習結果を約30％で計算し，60点以上を合格とする．

＜教科書＞

ろんりの練習帳，中内伸光 著，共立出版

＜参考書＞

記号論理入門，前原昭二 著，日本評論社

＜オフィスアワー＞

八王子校舎にいるのは授業時間のみですので，質問などがある場合は授業の前後，あるいはメールにて連絡してください．
メールアドレス；nakazono-atmark-core.ecl.net (注) メール送信時は atmark を@ に替えてください

＜学生へのメッセージ＞

「情報処理概論」を履修ずみ，もしくは同科目の内容を理解していることが望まれる．

このページの著作権は学校法人工学院大学が有しています。 Copyright(c)2006 Kogakuin University. All Rights Reserved.