[logic-ml] 九大数理-ラトルーブ大学合同遠隔講義の実施について
Yoshihito Tanaka
ytanaka at ip.kyusan-u.ac.jp
Wed May 6 16:50:17 JST 2020
九州産業大学の田中義人です.
九州大学の溝口佳寛先生の代理で,表題の件について投稿いたします:
**************************************
モデル理論:普遍代数学と一階述語論理
Many-Sorted First-Order Model Theory
2020年5月7日から, 2020年7月23日まで, 毎週木曜日16:00-18:00(JST).
講師: Tomasz Kowalski (La Trobe University, Melbourne Victoria Australia)
Daniel Gaina (Kyushu University, Fukuoka Japan)
HP: https://lcseminar.wordpress.com/2020/05/06/modeltheory/
本講義は, La Trobe大学と九州大学の合同による大学院生のための、
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 at imi.kyushu-u.ac.jp ) (at = @)
溝口 佳寛 (ym at imi.kyushu-u.ac.jp ) (at = @)
More information about the Logic-ml
mailing list