マス・フォア・インダストリ研究所

セミナー



リスト 全て(掲示受付分)(1730) 今日・明日のセミナー(0)

モデル理論:普遍代数学と一階述語論理 (院:応用数学II)(6/25)


開催時期 2020-06-25 16:00~2020-06-25 18:00

場所 Zoomによるオンライン講義

受講対象  

講師 Tomasz Kowalski (La Trobe University), Daniel Gaina, Yoshihiro Mizoguchi (Kyushu University)

モデル理論:普遍代数学と一階述語論理
Many-Sorted First-Order Model Theory
2020年5月7日から, 2020年7月23日まで, 毎週木曜日16:00-18:00.

今年度前期開講予定の上記講義は「応用数学II(数理学府大学院生)」,
Zoomによるオンライン講義として実施されます.
聴講のみは, 一般の方にも公開します.
聴講方法については, 下記連絡先まで, お問い合わせ下さい.

シラバス:
https://ku-portal.kyushu-u.ac.jp/campusweb/slbssbdr.do?value(risyunen)=2020&value(semekikn)=1&value(kougicd)=20630089&value(crclumcd)=ZZ

講義資料:
https://imi.kyushu-u.ac.jp/~daniel/model-theory/model-theory.html

連絡先:
Daniel Gaina ( daniel@imi.kyushu-u.ac.jp )