到達目標
情報科学の基礎となる離散数学の基礎知識を習得することを目標とする.
特に情報科学において基本的かつ重要である集合論,関係,述語論理等を講義する.
ルーブリック
| 理想的な到達レベルの目安 | 標準的な到達レベルの目安 | 未到達レベルの目安 |
評価項目1 | 基礎数学との関連を理解し,活用できる | 基礎数学を活用できる | 基礎数学を活用できない |
評価項目2 | 集合,関係,写像,論理の基礎的概念を理解し説明できる | 集合,関係,写像,論理の基礎的概念を理解している | 集合,関係,写像,論理の基礎的概念を理解していない |
評価項目3 | 離散数学のための数式,ダイアグラムについて理解し活用できる | 離散数学のための数式,ダイアグラムについて活用できる | 離散数学のための数式,ダイアグラムについて活用できない |
学科の到達目標項目との関係
教育方法等
授業計画
|
|
週 |
授業内容 |
週ごとの到達目標 |
後期 |
3rdQ |
1週 |
ガイダンス 情報数学Iの対象,概念,基礎数学の復習 |
|
2週 |
数の表現 n進表現,加算,減算,負の整数の表現方法 |
|
3週 |
数の表現 小数の表現方法,近似値,丸め,有効桁数,誤差 |
|
4週 |
命題と論理演算 真理値,ド・モルガンの定理 |
|
5週 |
命題と論理演算 十分条件, 必要条件, 必要十分条件, 逆, 裏, 対偶 |
|
6週 |
集合 集合とは,空集合,有限集合,無限集合,集合の包含関係 |
|
7週 |
集合 集合の演算,ド・モルガンの定理 |
|
8週 |
中間試験 |
情報数学の基礎を理解しているか確認する
|
4thQ |
9週 |
写像 中間試験の返却及び解答例の説明 写像とは,関数と写像 |
|
10週 |
写像 写像の合成・置換 |
|
11週 |
関係 関係とは,等号関係,大小関係,順序対 |
|
12週 |
関係 有効グラフ表現 |
|
13週 |
述語論理 述語と集合 |
|
14週 |
述語論理 数学的帰納法 |
|
15週 |
期末試験 |
情報科学において基本的かつ重要である集合論,関係,述語論理等を理解しているか確認する
|
16週 |
成績評価・確認 |
|
モデルコアカリキュラムの学習内容と到達目標
分類 | 分野 | 学習内容 | 学習内容の到達目標 | 到達レベル | 授業週 |
評価割合
| 試験 | 発表 | 相互評価 | 態度 | ポートフォリオ | その他 | 合計 |
総合評価割合 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
基礎的能力 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
専門的能力 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
分野横断的能力 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |