到達目標
(1) 整数論と代数学の基礎的事項を理解できる
(2) 集合、論理学の基礎的事項を理解できる
(3) 写像の基礎的な性質を理解できる
【教育目標】D
【キーワード】整数論，集合，論理学，写像，計算の複雑さ
ルーブリック
| 理想的な到達レベルの目安 | 標準的な到達レベルの目安 | 未到達レベルの目安 |
| 整数論と代数学の基本事項を理解できる | 基本概念を理解し、新たな問題に活用できる | 基本概念を理解し、説明できる | 基本概念を理解できない |
| 集合、論理学の基本的な性質を理解できる | 基本概念を理解し、新たな問題に活用できる | 基本概念を理解し、説明できる | 基本概念を理解できない |
| 写像の基本的な性質を理解できる | 基本概念を理解し、新たな問題に活用できる | 基本概念を理解し、説明できる | 基本概念を理解できない |
学科の到達目標項目との関係
教育方法等
概要:
情報科学における様々な議論の基礎となる離散数学の用語と概念を学ぶ。
整数論、集合、論理学、写像の基礎的な内容を理解し、それらについて論理的な議論ができるようになることを目標とする。
授業の進め方・方法:
基本的には教科書に沿って進める。
教科書の一部についてのみ講義を行い、残りの項目は自習とする。
指定された内容を事前学習し、授業後、演習課題を提出すること。
注意点:
【事前学習】
授業で扱う内容について教科書の記載を確認すること。また、前回の授業で扱った内容について復習し、用語の意味を再確認しておくこと。
【評価方法・評価基準】
中間・期末試験（80％）、授業中課題（20％）で評価する。詳細は第１回目の授業で告知する。
離散数学の基本的事項についての理解度とこれらについての論理的な説明能力を評価する。
指定した内容に対して自学自習をしてレポートを提出すること。自己学習レポートの未提出が、4分の1を超える場合は不合格点とする。
総合成績60点以上を単位修得とする。
授業の属性・履修上の区分
授業計画
|
|
週 |
授業内容 |
週ごとの到達目標 |
| 後期 |
| 3rdQ |
| 1週 |
ガイダンス |
|
| 2週 |
集合 |
集合に関する基本的な用語を理解できる
|
| 3週 |
論理（１） |
論理演算の基本事項を理解できる
|
| 4週 |
論理（２） |
必要条件と十分条件について理解し、活用できる
|
| 5週 |
対応と写像 |
写像に関する基本的な定義と性質を理解する
|
| 6週 |
関係（１） |
関係の基礎が理解できる
|
| 7週 |
関係（２） |
半順序が理解できる
|
| 8週 |
中間試験 |
|
| 4thQ |
| 9週 |
関係（３） |
厳密順序が理解できる
|
| 10週 |
関係（４） |
同値関係が理解できる
|
| 11週 |
帰納法と関係の閉包 |
帰納法を用いた証明を行うことができる
|
| 12週 |
順列と組み合わせ |
順列と組み合わせが理解できる
|
| 13週 |
無限集合（１） |
集合の濃度が理解できる
|
| 14週 |
無限集合（２） |
対角線論法が理解できる
|
| 15週 |
講義のまとめ |
これまでの講義内容に関する演習とその解説を行う
|
| 16週 |
|
|
モデルコアカリキュラムの学習内容と到達目標
| 分類 | 分野 | 学習内容 | 学習内容の到達目標 | 到達レベル | 授業週 |
| 専門的能力 | 分野別の専門工学 | 情報系分野 | 情報数学・情報理論 | 集合に関する基本的な概念を理解し、集合演算を実行できる。 | 4 | |
| 集合の間の関係(関数)に関する基本的な概念を説明できる。 | 4 | |
| ブール代数に関する基本的な概念を説明できる。 | 4 | |
| 論理代数と述語論理に関する基本的な概念を説明できる。 | 4 | |
| 離散数学に関する知識をアルゴリズムの設計、解析に利用することができる。 | 2 | |
評価割合
| 総合課題 | 課題 | 合計 |
| 総合評価割合 | 80 | 20 | 100 |
| 基礎的能力 | 50 | 20 | 70 |
| 専門的能力 | 30 | 0 | 30 |