| 授業科目 情報数学 |
担当教員 平野 雅嗣 |
開講期 前期
| |
| 科目番号 121435 |
対象学年・学科・コース 4年 電気情報工学科 (情報工学コース) |
単位区分 |
単位数 １単位 |
| 授業概要・授業方針
コンピュータは無限精度を必要とする実数を扱うことができないという、コンピュータサイエンス特有の問題を解決するための新しい数学として誕生した離散数学を学ぶ。ここで、コンピュータサイエンスとは、アルゴリズムとデータ構造、情報理論、人工知能、暗号や符号理論、コンピューターネットワーク等の分野を指す。その名の通り、整数のような離散的な値をとる集合を扱う数学の一分野である。
|
到達目標
|
|
| 授業要目 | 到達目標 との対応 |
自己点検 |
| 1 | 集合 | １ | |
| 2 | 関係と写像・直積と関係 | １ | |
| 3 | 同値関係と同値類 | １ | |
| 4 | 写像 | １ | |
| 5 | 順序関係 | １ | |
| 6 | 背理法 | １ | |
| 7 | 再帰 | １ | |
| 8 | 中間試験 | ||
| 9 | 試験返却 | ||
| 10 | 命題論理とその記号、真理値表 | ２ | |
| 11 | トートロジー | ２ | |
| 12 | 述語論理、ド・モルガンの法則の一般化 | ２ | |
| 13 | 整数の基本概念、最大公約数とユークリッドの互除法 | ２ | |
| 14 | 拡張ユークリッドの互除法 | ２ | |
| 15 | 1/a mod n の求め方 | ２ | |
| 16 | 期末試験 | ||
| 17 | 試験返却 |
| 到達達成度の指標（ルーブリック） |
| 到達 目標 |
理想的なレベル（Ａ）の目安 | 標準的なレベル（Ｂ）の目安 | 未到達なレベル（Ｃ）の目安 | 自己評価 |
| 1 | 集合や関係の概念について理解し、その具体例を説明できる | 集合や関係の概念について理解している | 集合や関係の概念について理解していない | Ａ・Ｂ・Ｃ |
| 2 | 述語論理や整数論について理解、その具体例を説明できる | 述語論理や整数論について理解している | 述語論理や整数論について理解してない | Ａ・Ｂ・Ｃ |
| 到達度評価
定期試験を８０％、小テストあるいは提出物を２０％で評価する。
|
||||||||||||
| 履修上の注意
授業中、先生からの一方通行ではなく、なぜそうなるのか等の物理現象を考える癖を付け、必要ならば質問をし、自分に取り込んだ形で講義を聴くように意識的に努力すること。概念的なことを数式に置き換えて考えることは非常に重要である。
|
||||||||||||
| 事前学習・自己学習・関連科目
＜事前学習・関連科目＞「情報処理基礎」、「情報処理」、「プログラミング１」、「ディジタル回路」で学ぶ基礎知識が必要である。 情報処理技術者関連科目 |
||||||||||||
学習・教育目標
|