文理学部シラバスTOP > 文理学部 > 情報科学科(情報システム解析学科) > 論理と計算1
日本大学ロゴ

論理と計算1

このページを印刷する

科目名 論理と計算1
旧カリキュラム名 記号論理
教員名 戸田 誠之助
単位数    2 学年    3 開講区分 文理学部
(他学部生相互履修可)
科目群 情報科学科
学期 前期 履修区分 選択必修
授業テーマ 命題論理における基礎知識を習得する。論証(証明行為)の基本的な方法を理解する。
授業のねらい・到達目標 命題論理に関わる基礎知識を学習する。特に,命題論理に関する自然演繹を通して論証のなかで利用される推論規則を学習する。
授業の方法 講義形式。ときおり演習を行うこともある。
授業計画
1 真理値,命題変数,真理値割り当て
2 論理演算(1)
3 論理演算(2)
4 命題論理式と真理値分析(1)
5 命題論理式と真理値分析(2)
6 論理演算の間の関係,命題論理式の標準形
7 命題論理における自然演繹(1)
8 命題論理における自然演繹(2)
9 命題論理における自然演繹(3)
10 命題論理における自然演繹(4)
11 自然演繹の健全性と完全性
12 ブール代数(1)
13 ブール代数(2)
14 ブール代数(3)
15 総合演習
その他
教科書 講義ノートと配布資料だけで学習できるように授業を行う。
参考書 必要に応じて授業中に紹介する。
成績評価の方法及び基準 試験(70%)、レポート(30%)
授業時間内に演習や小テストを行うことがある。

このページのトップ