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