|
授業科目名
|
担当教員
|
|||||||||||||||||||||
|
離散数学
|
茅 暁陽
|
|||||||||||||||||||||
|
時間割番号
|
単位数
|
コース
|
履修年次
|
期別
|
曜日
|
時限
|
||||||||||||||||
| TCS101 | 2 | CS,FG | 1 | 後期 | 水 | IV | ||||||||||||||||
| ［概要］ | ||||||||||||||||||||||
| 離散数学は論理回路，アルゴリズムとデータ構造，言語論，人工知能，計算機ネットワークなどコンピュータサイエンスの幅広い分野の基礎となっている．本講義ではこれらの分野において重要とされる離散構造に関する基本概念や論理的な手法について学ぶ． | ||||||||||||||||||||||
| ［具体的な達成目標］ | ||||||||||||||||||||||
| １．コンピュータサイエンスの基礎の離散数学の基本用語と概念を理解する<BR>２．問題を形式的に記述する能力と論理的な思考力を習得する | ||||||||||||||||||||||
| ［必要知識・準備］ | ||||||||||||||||||||||
| 特になし | ||||||||||||||||||||||
| ［評価方法・評価基準］ | ||||||||||||||||||||||
|
||||||||||||||||||||||
| ［教科書］ | ||||||||||||||||||||||
| ［参考書］ | ||||||||||||||||||||||
| ［講義項目］ | ||||||||||||||||||||||
| 第１回：集合（定義，記法，集合間の関係）<BR>第２回：集合（集合演算）<BR>第３回：写像（定義，種類，性質）<BR>第４回：命題と述語（１）（定義，命題の記号化，論理演算，基本命題，複合命題）<BR>第５回：命題と述語（２）（論理式，論理式の代数法則） <BR>第６回：命題と述語（２）（推論と証明の記述）<BR>第7回：数学的帰納法<BR>第8回：再帰的定義<BR>第9回：中間評価（復習と中間試験） <BR>第10回：グラフ（１）（定義 道，閉路，距離）<BR>第11回：グラフ（２）（行列表現,連結グラフ，連結度，カット）<BR>第12回：グラフ（３）（オイラーグラフ，ハミルトングラフ）<BR>第13回：グラフ（４）（ラベル付きグラフ，有向グラフ，木）<BR>第14回：グラフ（５）（巡回，最短経路問題（<BR>第15回：総合評価（総括およびまとめ） | ||||||||||||||||||||||
| ［教育方法］ | ||||||||||||||||||||||
| 練習問題を解きながら講義を進めることで理解度を深める。 | ||||||||||||||||||||||
| ［JABEEプログラムの学習・教育目標との対応］ | ||||||||||||||||||||||
| (未登録) | ||||||||||||||||||||||
| ［その他］ | ||||||||||||||||||||||
| (未登録) | ||||||||||||||||||||||