離散数学及び演習｜シラバス情報

科目授業名称（和文）　Name of the subject/class (in Japanese)

離散数学及び演習

科目授業名称（英文）　Name of the subject/class (in English)

Lectures and Exercises in DiscreteMathematics

授業コード　Class code

994623H

科目番号　Course number

46MAALG105

教員名

岡留　有哉

Instructor

OKADOME Yuya

開講年度学期

2023年度前期

Year/Semester

2023/1st Semester

曜日時限

火曜3限、火曜4限

Class hours

Tuesday 3rd and 4th

開講学科・専攻　Department

工学部　情報工学科

Department of Information and Computer Technology, Faculty of Engineering

単位数　Course credit

3.0単位

授業の方法　Teaching method

講義/演習

Lecture/Seminar

外国語のみの科目（使用言語）　Course in only foreign languages (languages)

-

授業の主な実施形態　Main class format

対面授業 On-site class

概要　Description

情報工学は，コンピュータを作る，またはコンピュータを使う技術の体系であり，コンピュータ上では，対象は離散的に抽象化して扱われる．従って，対象を離散的に抽象化して扱う「離散数学」は，情報工学を学ぶ上での基礎である．

目的　Objectives

離散数学の基本的な概念を理解するとともに，数学的な論証と論理展開のための基礎的な能力を身につけることを目的とする．ディプロマポリシーとの関連では，情報工学に必要な基礎学力と専門知識の修得及び，情報工学分野に限らず横断的にものごとを俯瞰する能力の養成に対応する．

到達目標　Outcomes

離散数学の基礎的な事項すなわち，集合，論理，関係と写像，代数系，グラフ理論等（授業計画の欄参照）の学習と演習を通して，
　　・情報工学の言葉である離散数学の基礎的な概念に習熟する
　　・論証及び論理展開力を身に付ける
ことを到達目標とする．

卒業認定・学位授与の方針との関係（学部科目のみ）

専門分野の応用知識（選択必修科目、実験、演習科目、卒業研究）/学習意欲・俯瞰力（専門科目）

履修上の注意　Course notes prerequisites

数学の学習は，教員が話した内容をその場で理解するだけでは不十分で，定義・定理等が独力で再現できる，あるいは練習問題を自力で解答できるなど，「できる」ようになることが必要である．本科目は前半の講義部分と後半の演習部分よりなるが，演習の時間には積極的に課題に取り組むこと. また，講義だけでなく，自習による鍛錬の時間を十分にとることを勧める．

アクティブ・ラーニング科目　Teaching type（Active Learning）

-

準備学習・復習　Preparation and review

成績評価方法　Performance grading policy

出席とレポート, ならびに到達度評価試験から総合的に評価する.

学修成果の評価　Evaluation of academic achievement

・S：到達目標を十分に達成し、極めて優秀な成果を収めている
・A：到達目標を十分に達成している
・B：到達目標を達成している
・C：到達目標を最低限達成している
・D：到達目標を達成していない
・-：学修成果の評価を判断する要件を欠格している

・S：Achieved outcomes, excellent result
・A：Achieved outcomes, good result
・B：Achieved outcomes
・C：Minimally achieved outcomes
・D：Did not achieve outcomes
・-：Failed to meet even the minimal requirements for evaluation

教科書　Textbooks/Readings

教科書の使用有無（有=Y , 無=N）　Textbook used(Y for yes, N for no)

書誌情報　Bibliographic information

-

MyKiTSのURL（教科書販売サイト）　URL for MyKiTS(textbook sales site)

教科書および一部の参考書は、MyKiTS (教科書販売サイト) から検索・購入可能です。
It is possible to search for and purchase textbooks and certain reference materials at MyKiTS (online textbook store).
https://gomykits.kinokuniya.co.jp/tokyorika/

参考書・その他資料　Reference and other materials

必要な参考書がある場合は講義内で指示する.

授業計画　Class plan

１．はじめにと集合の基礎（１）
２．集合の基礎（２）
３．命題論理（１）
４．命題論理（２）
５．ブール代数
６．証明法（１）
７．証明法（２）
８．関係
９．関数
１０．グラフの基礎
１１．木と探索
１２．最短経路問題（１）
１３．最短経路問題（２）
１４．その他グラフ問題
１５．到達度評価試験

授業担当者の実務経験　Work experience of the instructor of the class

-

教育用ソフトウェア　Educational software

-

備考　Remarks