情報数学I(岡崎)
---Mathematics for Computer Sciences II
　(R. Okazaki)

2004年度　秋学期

Click here for English
これは形式論理（記号論理）の入門のコースです． 古典論理を理解し，形式化に慣れることが目標です． 2値論理の計算になれることがもう一つの目標です． この授業の内容を修得すると，電子計算機の基礎や 計算機科学の数学的な表現とになじみやすくなります． また，述語論理は人工知能で使われます．

授業計画

    １０月０１日　命題論理
    １０月０８日　2値論理
    １０月１５日　論理演算
    １０月２２日　真理表
    １０月２９日　論理法則
    １１月０５日　標準形
    １１月１２日　推論
    １１月１９日　論理的証明
    １２月０３日　述語論理
    １２月１０日　全称記号
    １２月１７日　存称記号
    ０１月０７日　モデル
    ０１月１４日　述語論理の法則

成績評価

期末試験    100%

古典論理の理解・形式化された論理の扱い・計算法がポイントです。 特記事項 古典論理の理解には，具体的・日常的な問題を古典論理で表現する能力の修得が含まれます。この点も筆記試験に含まれます。

学習の仕方

講義・演習時間中

講義で提示される豊富な題材を通して， 形式論理の基本概念に触れることが出来ます．
日常的な題材も講義でよくとりあげられますので， 形式論理に親しむことが簡単です．