Course Objectives
（１）集合演算、論理演算ができるようになること，（２）命題の真偽の判定法を理解すること，（３）量子化を用いて、命題を述語論理の論理式として表現できること，が到達目標である。
Rubric
| 理想的な到達レベルの目安 | 標準的な到達レベルの目安 | 未到達レベルの目安 |
| 集合の基礎的理解 | 集合の概念をよく理解しており、演算や図表示により、問題が解ける。 | 集合の概念を理解しており、演算や図表示ができる。 | 集合の概念を理解しておらず、演算や図表示ができない。 |
| 論理の基礎的理解 | 論理の概念をよく理解しており、演算や真偽の判定により、問題が解ける。 | 論理の概念を理解しており、演算や真偽の判定ができる。 | 論理の概念を理解しておらず、演算や真偽の判定ができない。 |
Assigned Department Objectives
Teaching Method
Outline:
情報工学全般の基礎となる離散数学の入門教育である。前半は集合を対象に集合の概念、定義、演算について学習する。後半は論理を対象に命題の真偽、論理式の変形、推論、論理回路への応用、述語論理の入門について学習する。
Style:
講義が主体であるが、例題を通じて正しく理解できるように進める。また単元ごとの演習問題にを解くことで、理解度の自己チェックが行なえるようにする。
Notice:
最終成績＝（中間試験＋期末試験）÷２
【関連科目】 本科：情報数学(３年)、ディジタル回路(３年)、確率(３年)
Characteristics of Class / Division in Learning
Course Plan
|
|
|
Theme |
Goals |
| 2nd Semester |
| 3rd Quarter |
| 1st |
オリエンテーション
集合とは何か |
オリエンテーションの後、集合の概念、定義、種類、部分集合について理解する。
|
| 2nd |
集合間の関係 |
包含関係、交差関係、分離関係とべき集合について理解する。
|
| 3rd |
集合演算とベン図 |
集合演算の定義と、ベン図による図表示について理解する。
|
| 4th |
集合演算法則と式の簡単化 |
集合演算の基本法則を学び、演算式の簡単化を習得する。
|
| 5th |
集合の要素の個数 |
包含と排除の原理をもとに、要素の個数の計算法を習得する。
|
| 6th |
集合演算とベイチ図 |
ベイチ図について学び、複雑な演算式の簡単化を習得する。
|
| 7th |
集合に関するまとめ |
総合的な演習を通してこれまでに学んだ内容の理解を深める。
|
| 8th |
中間試験 |
これまでに学んだ内容に関する理解度を確認する。範囲は試験前に通知する。
|
| 4th Quarter |
| 9th |
命題論理(1) |
命題の定義とその真理値、単一命題と合成命題および論理記号について理解する。
|
| 10th |
命題論理(2) |
論理演算の定義、基本公式、真理値表について理解する。
|
| 11th |
命題論理(3) |
推論、恒等式と矛盾式、論理式の変形について理解する。
|
| 12th |
命題論理(4) |
命題論理の論理回路への応用とブール代数について理解する。
|
| 13th |
述語論理 |
述語とその論理的表現法、全称記号、存在記号について理解する。
|
| 14th |
論理に関するまとめ |
総合的な演習を通してこれまでに学んだ内容の理解を深める。
|
| 15th |
期末試験 |
論理に関する理解度を確認する。範囲は試験前に通知する。
|
| 16th |
答案返却など |
試験の解説を行う。
|
Evaluation Method and Weight (%)
| 試験 | 演習課題 | Total |
| Subtotal | 100 | 0 | 100 |
| 基礎的能力 | 100 | 0 | 100 |
| 専門的能力 | 0 | 0 | 0 |
| 分野横断的能力 | 0 | 0 | 0 |