|
授業科目名
|
担当教官
|
|||||
|
基礎離散数学
|
今宮 淳美
|
|||||
|
時間割番号
|
単位数
|
コース
|
履修年次
|
期別
|
曜日
|
時限
|
| 253050 | 2 | G | 1 | 後期 | 金 | II |
| ［概要と目標］ | ||||||
| 基礎離散数学は，データ構造, アルゴリズム 数学，その他,多くの情報系専門科目において最もよく使われる「離散構造の概念」を理解するための入門である. 集合,関係，論理，論理設計についての基礎的な事項が主な講義内容である. | ||||||
| ［必要知識・準備］ | ||||||
| 高校および1年前期の数学知識. | ||||||
| ［評価基準］ | ||||||
| 中間および期末試験の成績で評価する. | ||||||
| ［教科書］ | ||||||
|
||||||
| ［参考書］ | ||||||
| ［講義項目］ | ||||||
| 基本構造： 集合；演算 ベン図，等価証明， 部分集合，直積,べき集合，,基数， 無限集合，可算，包除原理，鳩ノ巣原理 写像；関数，単射，全射，全単射，1対1対応，合成関数 関係； 二項関係，反射／対称／推移，同値関係 命題論理： 論理式；真理値，ブール関数，カルノー図，恒真式，代数法則， ドモルガンの法則 証明； 論法，妥当性，直接証明，場合わけ,対偶，矛盾，逆， 数学的帰納法，演繹法，推論規則，分離規則 |
||||||