| 開講学期／Course Start | 2017年度／Academic Year 前期／First |
|---|---|
| 開講曜限／Class period | 木 /Thu 3 , 木 /Thu 4 |
| 授業区分／Regular or Intensive | 週間授業 |
| 対象学科／Department | 情報電子工学系学科 情報システム学コース・コンピュータ知能学コース |
| 対象学年／Year | 2年,3年,4年 |
| 授業科目区分／Category | 教育課程 主専門教育科目 |
| 必修・選択／Mandatory or Elective | 必修 |
| 授業方法／Lecture or Seminar | 講義 |
| 授業科目名／Course Title | 情報数学／Applied Mathematics |
| 単位数／Number of Credits | 2.0 |
| 担当教員名／Lecturer | 工藤康生(情報電子工学系学科コンピュータ知能学コース) |
| 時間割コード／Registration Code | B4207 |
| 連絡先／Contact |
工藤康生(工藤康生(V408 0143-46-5469 kudo＠csse.muroran-it.ac.jp ＊＠を小文字に変更してください。) ) |
| オフィスアワー／Office hours | 工藤康生(工藤康生(水曜日 16:30-17:30) ) |
| 更新日／Date of renewal | 2017/03/21 |
|---|---|
| 授業のねらい ／Learning Objectives |
この授業では，コンピュータの数学の基礎として離散数学を学ぶ．集合と論理，証明，離散代数，グラフ理論等について，例題を交えながら解説する． |
| 到達度目標 ／Outcomes Measured By: |
１．集合，論理，初歩的な代数系，グラフ理論の基礎等に関する考えを理解し，記号を正しく使うことができる（理解力）． ２． 数え上げや剰余演算について理解し，計算を行うことができる（計算力）． ３． 証明の基本手法を習得し，初等的な命題等を証明することができる（論理的思考力）． |
| 授業計画 ／Course Schedule |
総授業時間数（実時間）；２４時間００分 １．ガイダンス，離散集合 （教科書 １章） ２．論理計算 （教科書 ２章） ３．写像 （教科書 ３章） ４．数え上げと帰納法 （教科書 ４章） ５．数の体系 （教科書 ５章） ６．剰余演算（１）剰余演算，合同 （教科書 ７章） ７．剰余演算（２）剰余類と剰余系 （教科書 ７章） ８．これまでのまとめ，中間試験 ９．中間試験の解答と解説，離散代数（１）代数系と群 （教科書 ８章） １０．離散代数（２）さまざまな群，環と体 （教科書 ８章） １１．離散関係（１）離散関係と関係グラフ （教科書 ９章） １２．離散関係（２）関係行列 （教科書 ９章） １３．離散グラフ（１）離散グラフの基礎 （教科書 １０章） １４．離散グラフ（２）離散グラフの性質 （教科書 １０章） １５．全体のまとめ （１６．期末試験） 教科書を予習していることを前提として講義を行うので，必ず予習すること． |
| 教科書 ／Required Text |
はじめての離散数学 小倉久和著 近代科学社 2011(ISBN:9784764910546) |
| 参考書等 ／Required Materials |
離散数学 : コンピュータサイエンスの基礎数学 Seymour Lipschutz著 ; 成嶋弘, 土屋守正, 峯崎俊哉訳 オーム社 1995(ISBN:9784274130052)
情報数学入門 赤間世紀, 玉城史朗, 長田康敬著 共立出版 2006(ISBN:4320018141) 情報数学の基礎 : 例からはじめてよくわかる 幸谷智紀, 國持良行共著 森北出版 2011(ISBN:9784627052710) |
| 教科書・参考書に関する備考 | 教科書の各章末に，多数の演習問題が掲載されていますが，講義では時間の制約上，ごく一部しか扱えません．講義で扱わない演習問題は，各自で取り組むこと． |
| 成績評価方法 ／Grading Guidelines |
中間試験（５０点）と期末試験（５０点）の合計で６０点以上を合格とする．中間試験と期末試験の両方を受験し，合計が４０点以上５９点以下の場合は再試験の対象者とし，１回のみ再試験を行う．再試験で合格した学生の成績は６０点とする． 各到達度目標は以下のように評価する： ・目標１：中間試験，期末試験で論述問題を出題し，達成度を評価する． ・目標２：中間試験，期末試験で計算問題を出題し，達成度を評価する． ・目標３：中間試験，期末試験で証明問題を出題し，達成度を評価する． |
| 履修上の注意 ／Notices |
不合格の場合は再履修すること． |
| 教員メッセージ ／Message from Lecturer |
「情報数学」の内容は，コンピューター（計算機）自体を始め，あらゆるデータ構造やアルゴリズムの基礎となる内容を含んでいます．情報系の分野で技術者・研究者をめざす学生なら，決して避けて通れない分野です．しっかり勉強して基礎を身につけて下さい． |
| 学習・教育目標との対応 ／Learning and Educational Policy |
この授業科目は情報電子工学系学科の情報システム学コースとコンピュータ知能学コースの学習目標の以下の項目に対応している． 情報技術者［情報基礎］数学と自然科学の基礎知識を身につける． |
| 関連科目 ／Related course |
・数学科目全般 ・データ構造とアルゴリズム ・言語処理系論 ・人工知能 |
| No. | 回（日時） ／Time (date and time) |
主題と位置付け（担当） ／Subjects and instructor's position |
学習方法と内容 ／Methods and contents |
備考 ／Notes |
|---|---|---|---|---|
| 該当するデータはありません | ||||