モデル理論:普遍代数学と一階述語論理
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(マス・フォア・インダストリ研究所)
共同利用・共同研究拠点
セミナー
![]() |
リスト | ![]() |
全て(掲示受付分)(1772) | ![]() |
今日・明日のセミナー(4) |
モデル理論:普遍代数学と一階述語論理 (院:応用数学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) |