論理と計算１

授業テーマ	命題論理における基礎知識を習得する。論証（証明行為）の基本的な方法を理解する。
授業のねらい・到達目標	命題論理に関わる基礎知識を学習する。特に，命題論理に関する自然演繹を通して論証のなかで利用される推論規則を学習する。
授業の方法	講義形式。ときおり演習を行うこともある。
事前学修・事後学修，授業計画コメント	それまでの授業の十分復習していることを前提に毎回の授業を進める。特に，授業で解説した例題を十分に復習し，授業で示した問の解答を検討すること。

授業計画
1	記号論理学の目的
2	命題論理の基礎：真理値，命題変数，真理値割り当て
3	命題論理の基礎：論理演算
4	命題論理の基礎：命題論理式
5	命題論理の基礎：真理値分析
6	命題論理の基礎：論理演算の間の関係，命題論理式の標準形
7	命題論理における自然演繹：演繹的証明と証明図
8	命題論理における自然演繹：基本的な推論規則
9	命題論理における自然演繹：派生規則
10	命題論理における自然演繹：演繹的証明の具体例
11	命題論理における自然演繹：自然演繹の健全性と完全性
12	ブール代数：順序関係の基礎事項
13	ブール代数:束
14	ブール代数：分配束，ブール束
15	ブール代数：ブール束の諸性質

その他
教科書	講義ノートと配布資料だけで学習できるように授業を行う。演習問題集をBlackBoardを通して配布する．
参考書	必要に応じて授業中に紹介する。
成績評価の方法及び基準	試験(100%) 授業時間内に演習や小テストを行うことがある。また，宿題を課すこともある。演習，小テスト，宿題を行った場合には，それらも加味しながら総合的に評価する。
オフィスアワー	毎週水曜日１２：１０〜１３：００