授業科目名：

対象学年：

開講学期：

開講形態：

　　　　　　　　　　　　　
　　　「情報数学Ｉ」で学習した「集合」、「関係・写像」に引き続き、情報科学・情報工学に　
　　関連する分野を理解するために必要な、数学的基盤を得るための基本的な事項を学習する。　
　　　　　　　　　　　　　
　　　第４章　　集　　　合　
　　　　4.1 　命題論理 ， 4.2 　真理関数 ， 4.3 　論理式の表現形式 ， 4.4 　推　論　　
　　　　4.5 　述語論理 ， 4.6 　真理集合 ， 4.7 　量　化 ， 4.8 　証明の方法　　　　　
　　　　4.9 　二値論理以外の論理
　　　　　　　　　　　　　　
　　　第５章　　代　数　系　
　　　　5.1 　演　算 ， 5.2 　群　 ， 5.3 　剰 余 類 ， 5.4 　同形・準同形　　　　　　
　　　　5.5 　環と体 ， 5.6 　線形空間 ， 5.7 　束　

　　　　　　　　　　　　　
　　　第１週　　　４．１ ， ４．２　　　　　　　第２週　　　４．２ ， ４．３　　　　
　　　第３週　　　４．３ 　 　　　　　　　　　　第４週　　　４．４ 　 　　　　　　　
　　　第５週　　　４．５ ， ４．６　　　　　　　第６週　　　４．７ ， ４．８　　　　
　　　第７週　　　４．９ 　 　　　　　　　　　　第８週　　　５．１ 　 　　　　　　　
　　　第９週　　　５．２ 　 　　　　　　　　　　第１０週　　５．２ ， ５．３　　　　
　　　第１１週　　５．４ ， ５．５　　　　　　　第１２週　　５．５ ， ５．６　　　　
　　　第１３週　　５．６ 　 　　　　　　　　　　第１４週　　５．７ 　 　　　　　　　

　　　筆記試験（学期末に行なう）

　　　講義概要、演習問題および解答などを載せたプリントを配布する。

　　　参考書一覧を載せたプリントを別に配布する。

　　　「情報数学Ｉ」を受講していること。