モデル理論：普遍代数学と一階述語論理
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 )
〒819-0395
福岡市西区元岡744番地
TEL:092-802-4402
FAX:092-802-4405
（数理・MI研究所事務室）
IMI(マス・フォア・インダストリ研究所)
共同利用・共同研究拠点
セミナー
 |
リスト | |
全て（掲示受付分)(1728) | |
今日・明日のセミナー(1) |
モデル理論:普遍代数学と一階述語論理 (院:応用数学II)(6/18)
 |
開催時期 | 2020-06-18 16:00～2020-06-18 18:00 |
|
場所 | Zoomによるオンライン講義 |
|
受講対象 | |
|
講師 | Tomasz Kowalski (La Trobe University), Daniel Gaina, Yoshihiro Mizoguchi (Kyushu University) |
－