集中講義「一階述語論理とホーア論理」が開講されます

投稿日：2024.10.04

お知らせ

日程	11月11日(月) 13:00-16:20 開始 12日(火)-15日(金)の開講時間は, 参加者との相談で確定します.
講義室	ウェスト1号館C棟5階 C512講義室
講師	国立情報学研究所教授龍田真 https://www.nii.ac.jp/faculty/informatics/tatsuta_makoto/
講義題目	「一階述語論理とホーア論理」
講義内容	キーワード: 証明図・健全性定理・完全性定理・ゲーデルの不完全性定理・ホーア論理の証明体系・プログラムの証明 ▶　詳細は, シラバスを参照のこと https://ku-portal.kyushu-u.ac.jp/campusweb/slbssbdr.do?value(risyunen)=2024&value(semekikn)=1&value(kougicd)=24630069&value(crclumcd)=ZZ
連絡・問い合わせ	九大IMIの溝口 ym@imi.kyushu-u.ac.jp（世話役）
本講義は数理学府「数理科学特別講義Ⅱ」理学部数学科「数理科学特論２」として開講されますが, 関心ある他学科・他学府の大学生・大学院生の聴講も歓迎します.