論理数学
情報工学科 選択 2単位 2年春学期
【授業の目的】
情報工学を学習する上で理論的背景となる,集合,関係・写像,ブール代数,命題論理,および述語論理について学習する.
【テキスト】 細野敏夫 著:「情報科学の基礎」、コロナ社
【評価の方法】 課題の評価、中間試験、期末試験、出席などで総合的に評価する。
【授業計画】
1. 集合
2.集合演算
3. 関係
4.全・半順序関係
5. 写像
6. ブール代数
7. 命題論理
8.恒真式と恒偽式
9.論理的帰結
10.分解融合法
11.述語論理
12.変数
13.標準形
14.分解融合法
15.期末試験
【備考】
選択科目ではあるが、情報処理の基礎なので、できるだけ履修することを薦める。