情報数学

科目基礎情報

学校	岐阜工業高等専門学校	開講年度	令和02年度 (2020年度)
授業科目	情報数学
科目番号	0129	科目区分	専門 / 必修
授業形態	講義	単位の種別と単位数	学修単位: 1
開設学科	電気情報工学科	対象学年	4
開設期	前期	週時間数	前期:2
教科書/教材	離散数学入門（守屋悦朗、サイエンス社）
担当教員	安田 真

到達目標

情報科学の根幹をなす離散数学の基本的事項の修得を目標とする。具体的には
①集合と写像について理解する。　　　　　　　　　
②対偶法・背理法・帰納法について理解する。
③関係と順序について理解する。
④有向グラフとグラフについて理解する。
⑤論理・述語論理とブール代数について理解する。
⑥アルゴリズムの解析について理解する。

ルーブリック

	理想的な到達レベルの目安	標準的な到達レベルの目安	未到達レベルの目安
評価項目1	集合と写像に関する問題を8割以上解くことができる。	集合と写像に関する問題をほぼ正確(6割以上)に解くことができる。	集合と写像に関する問題を解くことができない。
評価項目2	対偶法・背理法・帰納法・再帰に関する問題を8割以上解くことができる。	対偶法・背理法・帰納法・再帰に関する問題をほぼ正確(6割以上)に解くことができる。	対偶法・背理法・帰納法・再帰に関する問題を解くことができない。
評価項目3	関係と順序に関する問題を8割以上解くことができる。	関係と順序に関する問題をほぼ正確(6割以上)に解くことができる。	関係と順序に関する問題を解くことができない。
評価項目4	有向グラフとグラフに関する問題を8割以上解くことができる。	有向グラフとグラフに関する問題をほぼ正確(6割以上)に解くことができる。	有向グラフとグラフに関する問題を解くことができない。
評価項目5	論理・述語論理とブール代数に関する問題を8割以上解くことができる。	論理・述語論理とブール代数に関する問題をほぼ正確(6割以上)に解くことができる。	論理・述語論理とブール代数に関する問題を解くことができない。
評価項目6	アルゴリズムの解析に関する問題を8割以上解くことができる。	アルゴリズムの解析に関する問題をほぼ正確(6割以上)に解くことができる。	アルゴリズムの解析に関する問題を解くことができない。

教育方法等

概要:

情報科学の根幹をなす離散数学の基本的事項の修得を目標とする。
＊実務との関係
この科目は企業で人工知能･最適化アルゴリズム･創発型ソフトコンピュータ等の研究開発を行った教員が、その経験を活かし、これらの分野の基礎となる情報数学について講義形式で授業を行うものである。

授業の進め方・方法:

板書を中心に行なう。教科書の内容から離れることもあるので、各自学習ノートを充実させること。適宜演習を行なう。
英語導入計画：Technical terms

注意点:

学習・教育目標：（Ｄ－１）1００％
JABEE基準１（１）：（ｃ）

授業計画

		週	授業内容	週ごとの到達目標
前期
	1stQ
		1週	集合（ALのレベルC）	（教室外学修）集合に関する演習に6割以上正答する
		2週	写像・関数（ALのレベルC）	（教室外学修）写像・関数に関する演習に6割以上正答する
		3週	命題・論理結合子（ALのレベルC）	（教室外学修）命題・論理結合子に関する演習に6割以上正答する
		4週	対偶法･背理法（ALのレベルC）	（教室外学修）対偶法･背理法に関する演習に6割以上正答する
		5週	数学的帰納法（ALのレベルC）	（教室外学修）数学的帰納法に関する演習に6割以上正答する
		6週	再帰（ALのレベルC）	（教室外学修）再帰に関する演習に6割以上正答する
		7週	２項関係（ALのレベルC）	（教室外学修）２項関係に関する演習に6割以上正答する
		8週	同値関係（ALのレベルC）	（教室外学修）同値関係に関する演習に6割以上正答する
	2ndQ
		9週	順序（ALのレベルC）	（教室外学修）順序に関する演習に6割以上正答する
		10週	有向グラフ（ALのレベルC）	（教室外学修）有向グラフに関する演習に6割以上正答する
		11週	グラフ（ALのレベルC）	（教室外学修）グラフに関する演習に6割以上正答する
		12週	様々なグラフ（ALのレベルC）	（教室外学修）様々なグラフに関する演習に6割以上正答する
		13週	命題論理・論理回路（ALのレベルC）	（教室外学修）命題論理・論理回路に関する演習に6割以上正答する
		14週	述語論理（ALのレベルC）	（教室外学修）述語論理に関する演習に6割以上正答する
		15週	期末試験
		16週	アルゴリズムの解析（ALのレベルC）	アルゴリズムの解析に関する演習に6割以上正答する

モデルコアカリキュラムの学習内容と到達目標

分類		分野	学習内容	学習内容の到達目標	到達レベル	授業週
専門的能力	分野別の専門工学	情報系分野	情報数学・情報理論	集合に関する基本的な概念を理解し、集合演算を実行できる。	4
				集合の間の関係(関数)に関する基本的な概念を説明できる。	4
				ブール代数に関する基本的な概念を説明できる。	4
				論理代数と述語論理に関する基本的な概念を説明できる。	4
				離散数学に関する知識をアルゴリズムの設計、解析に利用することができる。	4

評価割合

	試験	演習	演習レポート			その他	合計
総合評価割合	150	85	50	0	0	0	285
	150	85	50	0	0	0	285
	0	0	0	0	0	0	0
	0	0	0	0	0	0	0