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

情報システム解析講究1

このページを印刷する

科目名 情報システム解析講究1
旧カリキュラム名 コンピュータ科学講究1
教員名 戸田 誠之助
単位数    2 学年    3 開講区分 文理学部
科目群 情報科学科
学期 前期 履修区分 必修
授業テーマ 命題計算や述語計算の学習を通して,数学的な論証の論理構造を学習する。
授業のねらい・到達目標 数学的な論証の基本的な構造を理解するとともに,数学的な論証を構築するための基礎的な方法を習得する。
授業の方法 教科書から各自の分担部分を決め,その部分の内容を授業時間内に発表する。また,授業開始時点でそれまでに学習した内容に関する小テストを行う。
履修条件 学科内規による。
授業計画
1 学習用資料の配布,ガイダンス
2 論理記号による命題の表現法(1)
3 論理記号による命題の表現法(2)
4 論理記号による命題の表現法(3)
5 演繹(1)
6 演繹(2)
7 演繹(3)
8 真理値計算
9 トートーロジー(1)
10 トートーロジー(2)
11 命題の同値性
12 ド・モルガンの法則と双対原理
13 いろいろな同値式
14 演繹法の無矛盾性
15 総合演習
その他
教科書 前原昭二 『記号論理入門』 日本評論社 2011年 第新装版
参考書 必要に応じて授業中に紹介します。
成績評価の方法及び基準 平常点(100%)
発表、レポート、出席状況をもとに総合的に判定します。
オフィスアワー 質問は、時間が空いてさえいれば、いつでも受付ます。
備考 対面による質問のみ答えます。

このページのトップ