|
授業科目名
|
担当教官
|
|||||
|
情報数学基礎
|
大渕 竜太郎
|
|||||
|
時間割番号
|
単位数
|
コース
|
履修年次
|
期別
|
曜日
|
時限
|
| 253121 F | 2 | F | 1 | 後期 | 火 | III |
| ［概要と目標］ | ||||||
| 本科目は，計算機科学に限らず，数学的な対象すべてを語るのに必要となる基礎的な概念，記法，論法を学ぶことを目的とする．学ぶ内容は，集合，写像，関係，関数，順列･組み合わせ，基数法，命題論理，述語論理，ブール代数，グラフ，木，有向グラフ，などである．これらを学んで初めて，コンピュータ科学で対象とする問題そのものや，その解法で必要とされるアルゴリズムやデータ構造等について，的確な概念，論法，記法で考え，また互いに議論を進めることが出来るようになる． | ||||||
| ［必要知識・準備］ | ||||||
| 特になし． | ||||||
| ［評価基準］ | ||||||
| 以下を総合して判定する． ＊ 出席 ＊ 小テスト ＊ 課題 ＊ 期末試験 |
||||||
| ［教科書］ | ||||||
|
||||||
| ［参考書］ | ||||||
| ［講義項目］ | ||||||
| １．始めに ２．集合と述語 ３．数学的帰納法 ４．2項関係と関数 ５．順序関係，同値関係 ６．順列・組み合わせ ７．基数法 ８．論理代数 ９．ブール代数 １０．述語論理 １１．グラフの基礎 １２．道，閉路，連結性 １３．有向グラフ，重み付きグラフ １４．木とその応用 １５．まとめ |
||||||