|
開講学期 Course Start |
2015年度 前期 |
|
授業区分 Regular or Intensive |
週間授業 |
|
対象学科 Department |
情報電子工学系学科 情報システム学コース コンピュータ知能学コース |
|
対象学年 Year |
2 |
|
必修・選択 Mandatory or Elective |
必修 |
|
授業方法 Lecture or Seminar |
講義 |
|
授業科目名 Course Title |
情報数学 |
|
単位数 Number of Credits |
2 |
|
担当教員 Lecturer |
工藤康生 |
|
教員室番号 Office |
V408 |
|
連絡先(Tel) Telephone |
0143-46-5469 |
|
連絡先(E-mail) |
kudo＠csse.muroran-it.ac.jp |
|
オフィスアワー Office Hour |
火曜日 16:30-17:30 |
|
授業のねらい Learning Objectives |
この授業では，コンピュータの数学の基礎として離散数学を学ぶ．集合と論理，証明，離散代数，グラフ理論等について，例題を交えながら解説する． |
|
到達度目標 Outcomes Measured By: |
１．集合，論理，初歩的な代数系，グラフ理論の基礎等に関する考えを理解し，記号を正しく使うことができる（理解力）． ２． 数え上げや剰余演算について理解し，計算を行うことができる（計算力）． ３． 証明の基本手法を習得し，初等的な命題等を証明することができる（論理的思考力）． |
|
授業計画 Course Schedule |
総授業時間数（実時間）；２４時間００分 １．ガイダンス，離散集合 （教科書 １章） ２．論理計算 （教科書 ２章） ３．写像 （教科書 ３章） ４．数え上げと帰納法 （教科書 ４章） ５．数の体系 （教科書 ５章） ６．剰余演算（１） （教科書 ７章） ７．剰余演算（２） （教科書 ７章） ８．中間試験 ９．中間試験の解答と解説，離散代数（１） （教科書 ８章） １０．離散代数（２） （教科書 ８章） １１．離散関係（１） （教科書 ９章） １２．離散関係（２） （教科書 ９章） １３．離散グラフ（１） （教科書 １０章） １４．離散グラフ（２） （教科書 １０章） １５．全体のまとめ （１６．期末試験） 教科書を予習していることを前提として講義を行うので，必ず予習すること． |
|
教科書 Required Text |
小倉久和 著，「はじめての離散数学」，近代科学社 |
|
参考書 Required Materials |
・Seymour Lipschutz 著，成嶋 弘 監訳，「マグロウヒル大学演習 離散数学」，オーム社 （教科書では扱っていない分野も幅広く触れられている本） ・赤間 世紀，長田 康敬，玉城 史朗 著，「情報数学入門」，共立出版 （情報数学と情報の他分野とのつながりについても触れられており，情報数学の広がりを知るのによい本） ・幸谷 智紀，國持 良行 著，「情報数学の基礎―例からはじめてよくわかる」，森北出版 （情報数学の初歩がコンパクトにまとまっている本．教科書が難しく感じる学生の自習用におすすめ） |
| 教科書・参考書に関する備考 |
教科書の各章末に，多数の演習問題が掲載されていますが，講義では時間の制約上，ごく一部しか扱えません．講義で扱わない演習問題は，各自で取り組むこと． |
|
成績評価方法 Grading Guidelines |
中間試験（５０点）と期末試験（５０点）の合計で６０点以上を合格とする．中間試験と期末試験の両方を受験し，合計が４０点以上５９点以下の場合は再試験の対象者とし，１回のみ再試験を行う．再試験で合格した学生の成績は６０点とする． 各到達度目標は以下のように評価する： ・目標１：中間試験，期末試験で論述問題を出題し，達成度を評価する． ・目標２：中間試験，期末試験で計算問題を出題し，達成度を評価する． ・目標３：中間試験，期末試験で証明問題を出題し，達成度を評価する． |
|
履修上の注意 Please Note |
不合格の場合は再履修すること． |
|
教員メッセージ Message from Lecturer |
「情報数学」の内容は，コンピューター（計算機）自体を始め，あらゆるデータ構造やアルゴリズムの基礎となる内容を含んでいます．情報系の分野で技術者・研究者をめざす学生なら，決して避けて通れない分野です．しっかり勉強して基礎を身につけて下さい． |
|
学習・教育目標との対応 Learning and Educational Policy |
この授業科目は情報電子工学系学科の情報システム学コースとコンピュータ知能学コースの学習目標の以下の項目に対応している． 情報技術者［情報基礎］数学と自然科学の基礎知識を身につける． |
|
関連科目 Associated Courses |
・数学科目全般 ・データ構造とアルゴリズム ・言語処理系論 ・人工知能 |
|
備考 Remarks |