開講学期 Course Start	2015年度 前期
授業区分 Regular or Intensive	週間授業
対象学科 Department	情報電子工学系学科
対象学年 Year	２年
必修・選択 Mandatory or Elective	選択
授業方法 Lecture or Seminar	講義
授業科目名 Course Title	情報数学
単位数 Number of Credits	2
担当教員 Lecturer	岡田 吉史
教員室番号 Office	V402
連絡先(Tel) Telephone	0143-46-5408
連絡先(E-mail) E-mail	okada＠csse.muroran-it.ac.jp
オフィスアワー Office Hour	木曜日 16:00-17:00
授業のねらい Learning Objectives	情報数学は有限の集合（離散的な対象）を扱うための数学であり、情報工学を学ぶ上で基礎となるものである。この授業では、情報数学の基本概念と方法論について学ぶ。
到達度目標 Outcomes Measured By:	目標１：　「集合」、「論理」、「写像」、「代数」、「関係」、「グラフ」 の基礎を理解し、説明できる。 目標２：　「集合」、「論理」、「写像」、「代数」、「関係」、「グラフ」 における演算手法を理解し、計算できる。 目標３：　証明の基本手法を理解し、初等的な命題等の証明を行うことができる。
授業計画 Course Schedule	総授業時間数（実時間）：９０分×１５＝１３５０時間 １週目　ガイダンス、情報数学とは何か ２週目　離散集合（１）：集合と要素、部分集合と包含関係、べき集合 ３週目　離散集合（２）：集合演算、包除原理、集合の直和と直積 ４週目　論理計算（１）：命題と論理 ５週目　論理計算（２）：論理と証明 ６週目　写像（１）：関数と写像 ７週目　写像（２）：写像（関数）の合成、置換 ８週目　中間試験 ９週目　離散代数（１）：代数系、群 １０週目　離散代数（２）：体と環 １１週目　離散関係（１）：関係の演算 １２週目　離散関係（２）：同値関係と同値類 １３週目　離散グラフ（１）：離散グラフの性質 １４週目　離散グラフ（２）：離散グラフの行列表現 １５週目　定期試験 ＜自己学習＞ ・　毎回、提出課題を課すので、事前に教科書の内容を理解して授業にのぞむこと。 ・　Web上に毎回の講義資料および提出課題の解答を配布するので復習すること。
教科書 Required Text	小倉久和、「はじめての離散数学」、近代科学者、2,400円
参考書 Required Materials	１． ロナルドL.グレアム、ドナルドE.クヌース、オーレン・パタシュニク（有澤誠、安村通晃、萩野達也、石畑清 訳)、「コンピュータの数学」、共立出版＃ ２． Seymour Lipschutz（成嶋弘 訳）、「マグロウヒル大学演習　離散数学　コンピュータサイエンスの基礎数学」、オーム社＃ ３． 徳山　毅、「工学基礎離散数学とその応用 」、数理工学社出版
教科書・参考書に関する備考	講義資料をWeb siteで配布するので、各自で印刷して持参すること。 Webの情報については、初回のガイダンスで提示する。
成績評価方法 Grading Guidelines	１．各週の講義の最後で演習課題を行う。演習課題を10回以上提出することを単位取得の条件とする。 ２．中間試験50%、定期試験50%に配分した100点満点で、60点以上を合格とする。 各到達度目標に対する評価は以下のように行う： ・目標１：中間試験，期末試験で論述問題を出題し，達成度を評価する． ・目標２：中間試験，期末試験で計算問題を出題し，達成度を評価する． ・目標３：中間試験，期末試験で証明問題を出題し，達成度を評価する．
履修上の注意 Please Note	１．授業は教科書に沿って進める。毎回予習・復習を怠らないこと。 ２．再試験は行わない。不合格者は再履修すること。
教員メッセージ Message from Lecturer	講義スライドを眺めるだけでなく、自分のノートをしっかり作ること。
学習・教育目標との対応 Learning and Educational Policy	［情報基礎］　数学と自然科学の基礎知識を身につける。
関連科目 Associated Courses	線形代数、人工知能論
備考 Remarks