授業情報/Course information

開講学期/Course Start 2026年度/Academic Year   前期/First
開講曜限/Class period 月/Mon 3 , 月/Mon 4
授業区分/Regular or Intensive 週間授業
対象学科/Department 情報電子工学系学科情報システム学コース/Department of Information and Electronic EngineeringCourse of Computer Systemics,情報電子工学系学科コンピュータ知能学コース/Department of Information and Electronic EngineeringCourse of Computational Intelligence,システム理化学科数理情報システムコース/Department of Sciences and InformaticsCourse of Mathematical Science and Informatics
対象学年/Year 3年 , 4年
授業科目区分/Category 教育課程 システム理化学科
必修・選択/Mandatory or Elective 選択
授業方法/Lecture or Seminar 講義科目
授業科目名/Course Title 情報数学(3年次用)/Applied Mathematics
単位数/Number of Credits 2
担当教員名/Lecturer 髙岡 旭 (システム理化学科数理情報システムコース)
時間割コード/Registration Code J4069k
連絡先/Contact 髙岡 旭(E-mail: takaoka_at_muroran-it.ac.jp (_at_を@に変えてください))
オフィスアワー/Office hours 髙岡 旭(特に指定しない.面談などを希望する場合,まずメールで相談内容・来訪可能な日時などを連絡をすること.)
実務経験/Work experience
更新日/Date of renewal 2026/02/12
授業のねらい
/Learning Objectives
離散数学は,現代の情報技術を支える数理的基盤の一つである.本講義では,集合と論理,証明,グラフ理論など,離散数学における基礎的概念を理解するとともに,それらに基づく計算能力および論理的思考力を修得することを目的とする.
到達度目標
/Outcomes Measured By:
1.集合,論理,グラフ理論の基礎等に関する考えを理解し,記号を正しく使うことができる(理解力).
2.数え上げや剰余演算について理解し,計算を行うことができる(計算力).
3.証明の基本手法を習得し,初等的な命題等を証明することができる(論理的思考力).
授業計画
/Course Schedule
総授業時間数(実時間):45分×2時限×15回=22.5時間

第1回:ガイダンス,離散集合 (教科書 1章)
第2回:論理計算 (教科書 2章)
第3回:写像 (教科書 3章)
第4回:数え上げと帰納法 (教科書 4章)
第5回:数の体系 (教科書 5章)
第6回:剰余演算(1)剰余演算,合同 (教科書 7章)
第7回:剰余演算(2)剰余類と剰余系 (教科書 7章)
第8回:中間試験
第9回:中間試験の解答と解説,離散関係(1)離散関係と関係グラフ (教科書 9章)
第10回:離散関係(2)関係行列 (教科書 9章)
第11回:離散グラフ(1)離散グラフの基礎 (教科書 10章)
第12回:離散グラフ(2)離散グラフの性質 (教科書 10章)
第13回:木グラフ (教科書 11章)
第14回:順序の数学 (教科書 12章)
第15回:全体のまとめ
第16回:期末試験

各回の学修時間の目安は,事前・事後合わせて4時間必要です.
教科書
/Required Text
はじめての離散数学 小倉久和著  近代科学社 2011(ISBN:9784764910546)
教科書・参考書に関する備考 必要に応じて,補足資料をMoodleにて公開する.参考書等については,教科書巻末に掲載されている参考図書を参照されたい.
成績評価方法
/Grading Guidelines
中間試験(50点満点)および期末試験(50点満点)を受験し,合計が60点以上の場合,合格とする.
履修上の注意
/Notices
① 授業の変更や緊急時の連絡は,授業中またはMoodleを通じて行う.また,必要に応じて,大学から配布されたメールアドレス宛に個別に連絡する場合がある.履修者は必ずMoodleに登録するとともに,定期的に電子メールを確認すること.
② 再試験等は行わない.不合格者は再履修すること.
学習・教育目標との対応
/Learning and Educational Policy
学生便覧「学習目標と授業科目との関係表」参照
関連科目
/Related course
データ構造とアルゴリズム,データベース,言語処理系論