開講学期 Course Start	2013年度 前期
授業区分 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	総授業時間数（実時間）：９０分×１５＝１３５０時間 １週目　ガイダンス、情報数学とは何か ２週目　離散集合（１）：集合と要素、部分集合と包含関係、べき集合 ３週目　離散集合（２）：集合演算、包除原理、集合の直和と直積 ４週目　論理計算（１）：命題と論理 ５週目　論理計算（２）：論理と証明 ６週目　写像（１）：関数と写像 ７週目　写像（２）：写像（関数）の合成、置換 ８週目　中間試験 ９週目　離散代数（１）：代数系、群 １０週目　離散代数（２）：体と環 １１週目　離散関係（１）：関係の演算 １２週目　離散関係（２）：同値関係と同値類 １３週目　離散グラフ（１）：離散グラフの性質 １４週目　離散グラフ（２）：離散グラフの行列表現 １５週目　定期試験
教科書 Required Text	小倉久和、「はじめての離散数学」、近代科学者、2,400円
参考書 Required Materials	１． ロナルドL.グレアム、ドナルドE.クヌース、オーレン・パタシュニク（有澤誠、安村通晃、萩野達也、石畑清 訳)、「コンピュータの数学」、共立出版＃ ２． Seymour Lipschutz（成嶋弘 訳）、「マグロウヒル大学演習　離散数学　コンピュータサイエンスの基礎数学」、オーム社＃ ３． 徳山　毅、「工学基礎離散数学とその応用 」、数理工学社出版
教科書・参考書に関する備考	講義資料を以下のWeb siteで配布するので、各自で印刷して持参すること。 http://cbrl2.csse.muroran-it.ac.jp/ 上記サイトで、左メニューの「講義資料」をクリックし（ユーザ名とパスワードが必要)、「情報数学(情報電子夜間主2年)」をクリックする。
成績評価方法 Grading Guidelines	１．各週の講義の最後で演習課題を行う。演習課題を10回以上提出することを単位取得の条件とする。 ２．１の条件を満たし、中間試験（50点）と定期試験（50点）の合計点が60点以上を合格とする。
履修上の注意 Please Note	１．授業は教科書に沿って進める。毎回予習・復習を怠らないこと。 ２．再試験は行わない。不合格者は再履修すること。
教員メッセージ Message from Lecturer	講義スライドを眺めるだけでなく、自分のノートをしっかり作ること。
学習・教育目標との対応 Learning and Educational Policy	［情報基礎］　数学と自然科学の基礎知識を身につける。
関連科目 Associated Courses	線形代数、人工知能論
備考 Remarks