シラバス※お気に入りに登録しました。論理プログラムの基礎を身につける。しての記号論理学を学習する。具体的には、一階述語論理をもとにした論理プログラム、Prolog言語を学ぶ。補足事項:松井研究室授業用ウェブサイトでは、授業のスライド、プリント、その他の資料を公開している。予習復習に活用せよ(毎回の予習と復習はあわせて4時間程度行うことを期待する)。サイトのURLは第一回講義時に示す。講義に加えて、毎回講義内容に応じた小テストを行う。試験80%、毎回の小テスト20%。研究室(2-227)。他の日時については初回講義で示す。適宜プリントを配布する。シラバス検索お気に入り公式サイトへ。