| 本科 | 選択・必修 | 開設時期 | 単位数 | 授業形態 | 担 当 | |||
| 情報電子 | 必修 | 3年 | 2 | 講義 | 奥本 幸 | |||
| 【授業の概要】 コンピュータサイエンスに必要となる数学的な概念、記法、論法の基礎を学ぶ。 数学的な記号や図を用いて、論理的に分析したり、説明する技法を身につけ、それらの数学的な技法を電子情報通信分野の具体的な話題と関連させ、より理解を深める。 | ||||||||
| 【授業の進め方】 講義は座学と演習からなる。授業及び演習は教科書及び配布する資料を用いて進める。 座学で学習項目を学んだ後、より理解を深めるために演習だけの時間を設ける。演習は順に割り当て、板書による解答を行ってもらい、それを添削・解説を行う。演習状況によって、学習シートをレポートとして課す場合がある。 | ||||||||
| 【授業計画】 | 【授業項目】 | 【内 容】 | ||||||
| 1 回 | オリエンテーション 集合と論理 |
シラバスを用いて、授業の目的や進め方について説明する。集合と論理の復習を行う。 | ||||||
| 2 回 | 証明 | 背理法などによる証明について学ぶ。 | ||||||
| 3 回 | 帰納法 | 数学的帰納法について学ぶ。 | ||||||
| 4 回 | 演習 |
各種証明法の理解度を自己チェックする。【学習シート】 | ||||||
| 5 回 | 対応と写像（１） | 対応と直積について学ぶ。 | ||||||
| 6 回 | 対応と写像（２） | 写像、写像の性質（単射、全射）について学ぶ。 | ||||||
| 7 回 | 演習 | 写像の理解度を自己チェックする。【学習シート】 | ||||||
| 8 回 | 中間試験 | 証明と写像に関する理解度を確認する。 | ||||||
| 9 回 | 離散関係（１） | 中間試験の解説を行う。２項関係、関係と写像について学ぶ。 | ||||||
| 10 回 | 離散関係（２） | 逆関係、関係の合成について学ぶ。 | ||||||
| 11 回 | 離散関係（３） | 同値関係と同値類についえ学ぶ。 | ||||||
| 12 回 | 演習 | 中間試験以後の理解度を自己チェックする。【学習シート】 | ||||||
| 13 回 | 順列・組合せ | ２年次に学んだ順列・組合せについて、より複雑な問題への活用を行う。 | ||||||
| 14 回 | 〃 | 〃 | ||||||
| 期末試験 | 関係、順列・組合せの理解度を確認する。 | |||||||
| 15 回 | 答案返却など | 答案を返却し、解説を行う。 | ||||||
| 16 回 | 順列・組合せ | 〃 | ||||||
| 17 回 | 順列・組合せ | 〃 | ||||||
| 18 回 | グラフ理論（１） | グラフの定義、単純グラフ、多重グラフ、隣接行列について学ぶ。 | ||||||
| 19 回 | グラフ理論（２） | グラフの連結性、距離、いろいろなグラフについて学ぶ。 | ||||||
| 20 回 | グラフ理論（３） | 周遊可能について学ぶ。 | ||||||
| 21 回 | グラフ理論（４） | 平面的グラフ、グラフの頂点彩色について学ぶ。 | ||||||
| 22 回 | 演習 | グラフ理論（１）〜（６）について理解度を自己チェックする。【学習シート】 | ||||||
| 23 回 | 中間試験 | 後期に学習した事項の理解度を確認する。 | ||||||
| 24 回 | グラフ理論（５） | 中間試験の解説を行う。双対グラフ、領域彩色について学ぶ。 | ||||||
| 25 回 | グラフ理論（６） | 木の性質について学ぶ。 | ||||||
| 26 回 | グラフ理論（７） | 全域木、最適木について学ぶ。 | ||||||
| 27 回 | グラフ理論（８） | ダイクストラ法について学ぶ | ||||||
| 28 回 | グラフ理論（９） | ネットワークフローについて学ぶ。 | ||||||
| 29 回 | 演習 | グラフ理論（５）〜（９）について理解度を自己チェックする。【学習シート】 | ||||||
| 期末試験 | 木、最短経路、ネットワークフロー等について、理解度を確認する。 | |||||||
| 30 回 | 答案返却など | 答案を返却し、解説を行う。 | ||||||
| 【到達目標】 | いろいろな場合の数がもれなく数え上げられる。 いろいろな証明法を用いて問題を証明できる。 問題を抽象化するために、適当なグラフが描ける。 | 【徳山高専学習・教育目標】 | A1 | 【JABEE基準1(1)】 | ||||
| 【評価法】 | 試験点は、４回の試験の平均点とする。 演習点は、提出されたレポートや授業中に行う演習の取組姿勢を評価する。 最終評価点＝試験点（９０％）＋演習点（１０％） | |||||||
| 【テキスト】 | 小倉久和 「情報の基礎離散数学」近代科学社 | |||||||
| 【関連科目】 | 集合と論理(２年）、数学IIB（２年） | |||||||