情報数学

学期曜時限	2学期　水曜日　1・2時限	教室	7A205	1年	2単位
担当教員	鎮目　浩輔	オフィスアワーと研究室	水3限　314
授業概要	数学の基礎であり情報科学にも直接的な応用を持つ記号論理、集合と写像、ベクトルと行列の入門的な部分を講義する。基礎的な概念とともに簡単な応用例にも触れる。また数学では手を動かしての習得が不可欠なので、練習問題を多く入れ、授業中にもある程度演習を行う。
学習・教育目標	数学的・論理的な考え方を論理の形式論を通してきちんと身につける。集合と写像の基礎概念を理解し基本的な演算ができるようになる。ベクトルと行列の関係を理解し、行列計算ができるようになる。
授業計画	Ｉ.論理学の基礎命題論理、ブール代数、述語論理 II. 集合と写像集合の概念、集合演算、写像、写像の合成と逆写像等 III. ベクトルと行列の演算幾何学的ベクトルと行列、行列の定義、行列の演算（和、差、積、逆行列）、図形のAffine変換（平行移動、回転、拡大など）
成績評価の方法	試験による。必要に応じてレポートも課す。
教材・教科書・参考書等	プリントを配布する。
履修要件前提知識，他科目との関連等	前提知識　高校数学Aの「論理と集合」また高校数学Bの「ベクトル」の入門的な事項
授業外の学習内容・方法	プリントに練習問題を多く入れるので、それを解きつつプリントやノートで復習すること。
備考講義のホームページ等

GE1 0801	情報数学
	Information Mathematics