論理数学

Mathematical Logic

 

情報工学科  選択  2単位  2年春学期

 

【授業の目的】

 情報工学を学習する上で理論的背景となる,集合,関係・写像,ブール代数,命題論理,および述語論理について学習する.

 

【テキスト】 細野敏夫 著:「情報科学の基礎」、コロナ社

 

【評価の方法】 課題の評価、中間試験、期末試験、出席などで総合的に評価する。

 

【授業計画】

1.  集合

2.集合演算

3.  関係

4.全・半順序関係

5.  写像

6.  ブール代数

7.  命題論理

8.恒真式と恒偽式

9.論理的帰結

10.分解融合法

11.述語論理

12.変数

13.標準形

14.分解融合法

15.期末試験

 

【備考】

 選択科目ではあるが、情報処理の基礎なので、できるだけ履修することを薦める。