到達目標
学習目的：情報工学の理論的基盤をなす集合，関数，整数の性質，論理，グラフ理論，オートマトン，形式言語の基礎概念を習得することを目標とする。
到達目標
１． 集合に関する基本的な概念を理解し，集合演算を実行できる。
２． 関数の基本的な概念を説明できる。
３． 情報理論の基本的な概念を説明できる。
４． 論理代数と述語論理に関する基本的な概念を説明できる。
５． グラフ理論に関する基本的な概念を説明できる。
６．オートマトン，形式言語の基礎概念を説明できる。
ルーブリック
| 優 | 良 | 可 | 不可 |
| 評価項目1 | 集合に関する基本的な概念を理解し，集合演算，包除原理を使った濃度の計算ができる。 | 集合に関する基本的な概念を理解し，集合演算，包除原理を用いない濃度の計算ができる。 | 集合に関する基本的な概念を理解し，集合演算ができる。 | 集合に関する基本的な概念を理解していない。集合演算ができない。 |
| 評価項目2 | 対応や関数の基本的な概念（全単射）を説明でき，それらを用いた証明をすることができる。 | 対応や関数を基本的な概念（全単射）を説明でき，それらを用いた全単射の証明をすることができる。 | 関数を与えられればその関数が全射、単射であるかの区別ができる。 | 関数を与えられればその関数が全射、単射であるかの区別ができない。 |
| 評価項目3 | 情報理論で用いられる基本的な概念を説明でき，簡単な定理を証明することができる。 | 情報理論で用いられる基本的な概念を説明できる。 | 情報エントロピーの説明ができる。 | 情報エントロピーの説明ができない。 |
| 評価項目4 | 論理代数と述語論理に関する基本的な概念を説明でき，それを日常生活に活用できる。 | 論理代数と述語論理に関する基本的な概念を説明できる。 | 論理代数に関する基本的な概念を説明できる。 | 論理代数に関する基本的な概念を説明できない。 |
| 評価項目5 | グラフ理論に関する基本的な概念を説明でき，簡単な定理を証明することができる。必要があれば問題をグラフとしてモデル化できる。 | グラフ理論に関する基本的な概念を説明でき，簡単な定理を証明することができる。 | グラフ理論に関する基本的な概念を説明できる。 | グラフ理論に関する基本的な概念を説明できない。 |
| 評価項目6 | オートマトン，形式言語の基礎概念を説明でき，簡単な定理を証明することができる。 | オートマトン，形式言語の基礎概念を説明でき，状態遷移図が作成できる。 | オートマトン，形式言語の基礎概念を説明できる。 | オートマトン，形式言語の基礎概念を説明できない。 |
学科の到達目標項目との関係
教育方法等
概要:
※実務との関係：この科目は他機関で量子計算機構プロジェクトや量子情報システムアーキテクチャの研究に従事していた教員が，その経験を活かし，情報工学の理論的基盤をなす集合，関数，論理，グラフ理論，オートマトン，形式言語の基礎概念を習得することを目的として講義形式で授業を行うものである。また、情報理論についても概説する。
一般・専門の別：専門 学習の分野：情報・制御
必修・履修・履修選択・選択の別：履修選択
基礎となる学問分野：情報学／情報学基礎
学習の分野：情報システム・プログラミング・ネットワーク
学科学習目標との関連：本科目は「③基盤となる専門性の深化」に相当する科目である。
MCC到達目標(平成29年4月38日ガイドライン準拠、カッコ内はレベル)：V-D-7情報数学・情報理論の離散数学(4), 離散数学応用(4), 情報理論(4)が設定されている。
技術者教育プログラムとの関連：本科目が主体とする学習・教育到達目標は「（Ａ）技術に関する基礎知識の深化，A-1：工学に関する基礎知識として，自然科学の幅広い分野の知識を修得し，説明できること」であるが、付随的に「A-2」も関与する。
授業の概要：情報工学と関係のある数学の基礎について学習することにより，情報工学分野の理論的な基盤を理解する科目である。おもに離散数学とよばれる分野が学習の中心となる。
授業の進め方・方法:
授業の方法：BlackBoardに講義に関する情報を閲覧している前提で授業を行う。授業は演習を中心に進める。基本的に授業で使用する言語は英語である。
成績評価方法：
２回の定期試験の結果に重みをつけて評価する。再試験は原則行わない。いずれの試験にも教科書・ノートの持込を許可しないが，状況によって許可することもありうるので，授業中の指示事項に注意すること。
ルーブリックに基づいて定期試験を作成するが, 定期試験がルーブリックの評価項目を必ずしも網羅しているとは限らない。
注意点:
履修上の注意：授業での使用言語は原則，英語である。本科目を選択した者は，学年の課程修了のためには履修（欠課時間数が所定授業時間数の３分の１以下）が必須である。授業時間外の学習を必修とする科目であり，1単位の授業時間として15単位時間開講するが，これ以外に15単位時間の学習が必修となる。
履修のアドバイス：BlackBoardに講義に関する情報を適宜掲載する予定である。事前に行う準備学習としてBlackboardで配布される問題を解いておくこと。
基礎科目：情報数理(4)
受講上のアドバイス：授業開始前に行う出席確認に遅れた者は遅刻として扱う。遅刻は1時限分の欠課として扱う。授業開始から５０分を経過しての遅刻については2時限分の欠課として扱う。
基礎的な内容が多く，教科書には多くの演習問題が掲載されている。時間的な制約から，すべての演習問題を解くことは授業時間ではしない。ただ，基礎的な演習問題なので，各人が自主的に取り組むことで十分解答できる。BlackBoardに授業の進行状況を適宜掲載するので参考にすること。
授業の属性・履修上の区分
授業計画
|
|
週 |
授業内容 |
週ごとの到達目標 |
| 前期 |
| 1stQ |
| 1週 |
ガイダンス |
|
| 2週 |
集合 |
集合に関する基本的な概念を理解し，集合演算を実行できる。
MCC到達目標(平成29年4月38日ガイドライン準拠、カッコ内はレベル)：V-D-7情報数学・情報理論の離散数学(4), 離散数学応用(4)
|
| 3週 |
論理と推論 |
真理値表を使って、真偽を判定できる。
ブール代数に関する基本的な概念を説明できる。
論理代数と述語論理に関する基本的な概念を説明できる。MCC到達目標(平成29年4月38日ガイドライン準拠、カッコ内はレベル)：V-D-7情報数学・情報理論の離散数学(4), 離散数学応用(4)
|
| 4週 |
関係 |
同値関係を証明できる。
集合の間の関係（関数）に関する基本的な概念を説明できる。
MCC到達目標(平成29年4月38日ガイドライン準拠、カッコ内はレベル)：V-D-7情報数学・情報理論の離散数学(4), 離散数学応用(4)
|
| 5週 |
関数とアルゴリズム |
全単射等の関数の性質を説明できる。
集合の間の関係（関数）に関する基本的な概念を説明できる。
MCC到達目標(平成29年4月38日ガイドライン準拠、カッコ内はレベル)：V-D-7情報数学・情報理論の離散数学(4), 離散数学応用(4)
|
| 6週 |
情報理論１ |
情報エントロピーと情報圧縮を説明できる。
MCC到達目標(平成29年4月38日ガイドライン準拠、カッコ内はレベル)：V-D-7情報理論(4)
|
| 7週 |
情報理論２ |
通信路符号化を説明できる。
MCC到達目標(平成29年4月38日ガイドライン準拠、カッコ内はレベル)：V-D-7情報理論(4)
|
| 8週 |
(中間試験) |
学習した知識の確認
|
| 2ndQ |
| 9週 |
中間試験の答案返却と試験の解説 |
学習した知識の確認と振り返り
|
| 10週 |
グラフ理論 |
グラフとは何かを説明できる。
離散数学に関する知識がアルゴリズムの設計に利用できることを理解している。
MCC到達目標(平成29年4月38日ガイドライン準拠、カッコ内はレベル)：V-D-7情報数学・情報理論の離散数学(4), 離散数学応用(4)
|
| 11週 |
有向グラフ |
有向グラフとグラフの違いを説明できる。
離散数学に関する知識がアルゴリズムの設計に利用できることを理解している。
MCC到達目標(平成29年4月38日ガイドライン準拠、カッコ内はレベル)：V-D-7情報数学・情報理論の離散数学(4), 離散数学応用(4)
|
| 12週 |
二分木 |
二分木を使ったアルゴリズムを1つ以上説明できる。
離散数学に関する知識がアルゴリズムの設計に利用できることを理解している。
MCC到達目標(平成29年4月38日ガイドライン準拠、カッコ内はレベル)：V-D-7情報数学・情報理論の離散数学(4), 離散数学応用(4)
|
| 13週 |
形式言語とオートマトン |
ポンプ補題を説明できる。
離散数学に関する知識がアルゴリズムの設計に利用できることを理解している。
|
| 14週 |
チューリングマシン |
状態遷移図を描くことができる。
離散数学に関する知識がアルゴリズムの設計に利用できることを理解している。
|
| 15週 |
(期末試験) |
学習した知識の確認
|
| 16週 |
期末試験の答案返却と試験の解説 |
学習した知識の確認と振り返り
|
モデルコアカリキュラムの学習内容と到達目標
| 分類 | 分野 | 学習内容 | 学習内容の到達目標 | 到達レベル | 授業週 |
| 専門的能力 | 分野別の専門工学 | 情報系分野 | 情報数学・情報理論 | 集合に関する基本的な概念を理解し、集合演算を実行できる。 | 4 | |
| 集合の間の関係(関数)に関する基本的な概念を説明できる。 | 4 | |
| ブール代数に関する基本的な概念を説明できる。 | 4 | |
| 論理代数と述語論理に関する基本的な概念を説明できる。 | 4 | |
| 離散数学に関する知識をアルゴリズムの設計、解析に利用することができる。 | 4 | |
| 情報量の概念・定義を理解し、実際に計算することができる。 | 4 | |
| 情報源のモデルと情報源符号化について説明できる。 | 4 | |
| 通信路のモデルと通信路符号化について説明できる。 | 4 | |
評価割合
| 試験 | 小テスト | 合計 |
| 総合評価割合 | 100 | 0 | 100 |
| 基礎的能力 | 0 | 0 | 0 |
| 専門的能力 | 100 | 0 | 100 |
| 分野横断的能力 | 0 | 0 | 0 |