|
授業科目名
|
担当教員
|
|||||
|
情報数学基礎
|
山崎 晴明
|
|||||
|
時間割番号
|
単位数
|
コース
|
履修年次
|
期別
|
曜日
|
時限
|
| 253121 F | 2 | F | 1 | 後期 | 金 | I |
| ［概要］ | ||||||
| 本科目は，アルゴリズムやプログラミング理論の基礎となる数学理論について議論する． | ||||||
| ［具体的な達成目標］ | ||||||
| 命題論理及び述語論理の理解。 集合と論理の関係の把握。 関係及び代数構造の理解. |
||||||
| ［必要知識・準備］ | ||||||
| 特になし。 | ||||||
| ［評価方法・評価基準］ | ||||||
| 以下を総合して判定する． ＊ 課題 ＊ 期末試験 |
||||||
| ［教科書］ | ||||||
| ［参考書］ | ||||||
| (未登録) | ||||||
| ［講義項目］ | ||||||
| １．集合と論理 １．１ 集合とは １．２ 集合と関係 １．３ 命題論理 １．４ 述語論理 １．５ 集合と写像 １．６ 順序関係と同値関係 ２．群論の基礎 2.1 論理と演算 2.2 群 ３．まとめ |
||||||
| ［教育方法］ | ||||||
| 講義および演習 | ||||||
| ［JABEEプログラムの学習・教育目標との対応］ | ||||||
| (未登録) | ||||||
| ［その他］ | ||||||
| (未登録) | ||||||