基本情報/Basic Information

遠隔授業（授業回数全体の半分以上）の場合は、科目名の先頭に◆が付加されています（2023年度以降）

開講科目名 ／Course	◆情報数学入門２／Information Security and Ethics2
時間割コード ／Course Code	S1300430_S1
開講所属 ／Course Offered by	システム工学部／Faculty of Systems Engineering
ターム・学期 ／Term・Semester	2024年度／Academic Year　　第2クォーター／2Q
曜限 ／Day, Period	月／Mon　4
開講区分 ／Semester offered	第2クォーター／2Q
単位数 ／Credits	1.0
学年 ／Year	1,2,3,4
主担当教員 ／Main Instructor	坂間　千秋
科目区分 ／Course Group	_
授業形態 ／Lecture Form	講義
教室 ／Classroom
開講形態 ／Course Format	遠隔授業（授業回数全体の半分以上）
ディプロマポリシー情報 ／Diploma Policy	要件年度 ／Required Year 要件所属 ／Course Name ディプロマポリシー ／Diploma Policy DP値 ／DP Point 2020/04 ～2022/04 システム工学部 1.幅広い教養と分野横断的な学力 1 2020/04 ～2022/04 システム工学部 2.専門的知識や技能 6 2020/04 ～2022/04 システム工学部 3.課題解決力と自己学修能力 3 2023/04 ～9999/04 システム工学部 1.幅広い教養と分野横断的な学力 2 2023/04 ～9999/04 システム工学部 2.専門的知識や技能 6 2023/04 ～9999/04 システム工学部 3.課題解決力と自己学修能力 2

担当教員情報/Instructor Information

教員名 ／Instructor	教員所属名 ／Affiliation
葛岡　成晃	システム工学部（教員）
坂間　千秋	システム工学部（教員）

授業の概要・ねらい ／Course Aims	本講義では，情報に関する理論・技術を学ぶにあたって必要な数学的基礎を学ぶ．とくに離散数学の中から人工知能や情報ネットワークの基礎となる，命題論理，述語論理，推論と証明，グラフ理論，木，応用の各テーマについて学ぶ．コンピュータが扱う情報はディジタルであり，ディジタル量は離散的である．離散数学はこうした離散的な対象を扱う数学であり，コンピュータの論理回路，アルゴリズムとデータ構造，情報理論，言語理論，人工知能，計算機ネットワークなどの幅広い分野の基礎となる．
到達目標 ／Course Objectives	1. 離散数学における基本概念を正しく理解し，説明できる． 2. 各論の背景にある思想とそれぞれの相互関係を包括的に把握し，説明できる． 3. 形式的手法を通じて数学的抽象化の能力と論理的思考能力を習得し，活用できる．
成績評価の方法・基準 ／Grading Policies/Criteria	単位認定試験（90点）と課題（10点）の合計で評価する．成績評定は，「到達目標」で示した目標をどれだけ達成できているかに応じて評価し，次の区分のとおりとする． Ｓ：十分達成し，他の事例に応用できる（90点以上） Ａ：十分達成している（80～89点） Ｂ：達成している（70～79点） Ｃ：おおむね達成している（60～69点） Ｆ：達成していない（60点未満）
教科書 ／Textbook	使用しない．必要に応じて講義資料を配布する．
参考書・参考文献 ／Reference Book	適宜紹介する．
履修上の注意 ・メッセージ ／Notice for Students	記載事項なし
履修する上で必要な事項 ／Prerequisite	「情報数学入門１」を履修していること．
履修を推奨する関連科目 ／Related Courses	本講義で学ぶ内容は，「計算機システム入門１，２」など，情報系科目を学ぶ際の基礎となる．
授業時間外学修についての指示 ／Instructions for studying outside class hours	授業時間を含めて45時間の学修時間となるだけの課題・予習・復習および試験前の勉強等を行うこと．
その他連絡事項 ／Other messages	学習支援システム（Moodle）を利用してオンデマンド型の講義を実施する．講義に関する通知は原則Moodleを通じて行う．
授業理解を深める方法 ／How to deepen your understanding of classes	講義中に与えられる課題やレポートにより，自身の学修進展の状況や到達レベルなどを客観的に把握・確認しながら学修する． 【「アクティブ・ラーニング」実施要項 ⑪】
オフィスアワー ／Office Hours	木曜日9時10分から10時40分，北1号館6階A611． 他学生との重複，出張等で不在の場合があるので，事前メール予約推奨． kuzuoka@wakayama-u.ac.jp
科目ナンバリング ／Course Numbering	S60011J11100Y142

No.	回（日時） ／Time (date and time)	主題と位置付け ／Subjects and instructor's position	学習方法と内容 ／Methods and contents	備考（担当） ／Notes
1	1	命題論理	命題論理（命題、論理式、真偽値、解釈、真理値表、充⾜可能性、モデル、論理的帰結）	PC使用，遠隔授業（オンデマンド）
2	2	述語論理	述語論理（述語、限定記号、論理式、部分否定と全部否定）	PC使用，遠隔授業（オンデマンド）
3	3	推論と証明	推論と証明（推論規則、公理系、定理、証明、健全性定理、完全性定理、必要条件と⼗分条件）	PC使用，遠隔授業（オンデマンド）
4	4	グラフ理論	グラフ理論（同型なグラフ、連結グラフ、平⾯グラフ、オイラーグラフ、ハミルトングラフ）	PC使用，遠隔授業（オンデマンド）
5	5	⽊	⽊（根つき⽊、順序⽊、2分⽊、全域⽊、探索⽊）	PC使用，遠隔授業（オンデマンド）
6	6	計算機科学への応⽤	計算機科学への応⽤ (関係データベース、再帰的アルゴリズム、論理回路、ネットワーク分析)	PC使用，遠隔授業（オンデマンド）
7	7	演習	演習	PC使用，遠隔授業（オンデマンド）
8	8	まとめと試験	まとめ，単位認定試験	対面実施