基本情報/Basic Information

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

開講科目名 ／Course	◆情報数学入門１／Information Security and Ethics1
時間割コード ／Course Code	S1300420_S1
開講所属 ／Course Offered by	システム工学部／Faculty of Systems Engineering
ターム・学期 ／Term・Semester	2024年度／Academic Year　　第1クォーター／1Q
曜限 ／Day, Period	月／Mon　4
開講区分 ／Semester offered	第1クォーター／1Q
単位数 ／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	S60011J11100Y141

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	再帰と帰納法	再帰と帰納法（数学的帰納法、再帰的定義、バッカス記法）	PC使用，遠隔授業（オンデマンド）
6	6	ブール代数	ブール代数（ブール演算、双対定理、ブール関数、真理値表、積和形、和積形、簡単化)	PC使用，遠隔授業（オンデマンド）
7	7	演習	演習	PC使用，遠隔授業（オンデマンド）
8	8	まとめと試験	まとめ，単位認定試験	対面実施