情報論理学 「一階述語論理とホーア論理」 （4年：数理科学特論2） （院：数理科学特別講義 II）
開催期間
2024.11.11(月)
13:00 ~ 2024.11.15(金)
13:00 ~ 2024.11.15(金)
場所
ウエスト 1 号館 C512 中講義室 （C 棟 5 階）
講演者
龍田 真 (国立情報学研究所)
概要
初回の開始時間は13:00〜です．
あとの日程は初回に決めます．
※ Web での事前登録の必要はありません．講義室へ直接来て下さい．
※ 単位取得を希望する学生は、出席簿へ氏名等を記入して下さい．