| 授業科目名（和文） ［Course］ |
離散数学 <情報数学> |
| 授業科目名（英文） ［Course］ |
Discrete Mathematics <ditto> |
| 学部（研究科） ［Faculty］ |
情報工学部 |
| 学科（専攻） ［Department］ |
情報システム工学科 |
| 担当教員（○：代表教員） [Principle Instructor(○) and Instructors] |
○小野 孝男 自室番号（2608）、電子メール（onotakao**c.oka-pu.ac.jp） ※利用の際は,** を @に置き換えてください |
| 単位数 ［Point(Credit)］ |
2単位 |
| 対象学生 ［Eligible students］ |
1年次生 |
| 授業概略と目標 ［Course description and Objects］ |
コンピュータサイエンスに必要な数学的概念，記法，論理の基礎を習得する．さらに，現実の世界を扱う基本的なモデルであるグラフやオートマトンについての概念を学ぶ． |
| 到達目標 ［Learning Goal］ |
1. 集合演算などの数学表現を理解する． 2. 数理論理学の基礎を身につける. 3. グラフ理論の基本的な考え方を学ぶ． 4. オートマトンと形式言語理論の基礎を理解する． |
| 授業計画とスケジュール ［Course schedule］ |
1. 集合と関係 2. 集合と写像 3. 命題と論理 (1) 4. 命題と論理 (2) 5. 述語論理 6. ブール代数 7. ブール表現と論理回路 8. グラフの定義 9. さまざまなグラフ 10. 木 11. 有向グラフ 12. チューリング機械 13. 有限オートマトンと正規表現 14. 文脈自由文法 15. 講義のまとめ |
| 成績評価方法と基準 ［Grading policy (Evaluation)］ |
期末試験とレポートにより総合的に評価する． |
| 教科書 ［Textbook］ |
教科書：柴田正憲，浅田由良，「情報科学のための離散数学」，コロナ社 各回の講義内容の抜粋を資料として配布する． |
| 自主学習ガイド及び キーワード ［Self learning］ |
各回の授業終了時に次回の講義内容を予告するので，該当範囲に目を通しておくこと．また，各自で教科書の問題を解いて理解を深めるようにしてほしい． |
| 開講年度 ［Year of the course］ |
26 |