モデル理論:普遍代数学と一階述語論理 (Zoom講義)

モデル理論:普遍代数学と一階述語論理
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)

本講義は, La Trobe大学と九州大学の合同による大学院生のための、
Zoomによるオンライン講義として実施されますが、聴講のみは, 一般の方にも公開します.
聴講方法等については, 下記連絡先まで, お問い合わせ下さい.

初回は, 2020年5月7日(木) 16:00-18:00 (JST) です.
第2回は, 2020年5月14日(木) 16:00-18:00 (JST) です.
第3回は, 2020年5月21日(木) 16:00-18:00 (JST) です.
第4回は, 2020年5月28日(木) 16:00-18:00 (JST) です.

シラバス:
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
※ Cloud recordings of Lectures are now available:
Ask contacts for the password for those movies.
Topic: Model Theory lecture #1 (May 07, 2020 04:27pm AEST)
p1a
The above link will expire on 06-11-2020 and will become unavailable after this date.
Topic: Model Theory lecture #2 (May 14, 2020 04:06pm AEST)
p2a
The above link will expire on 13-11-2020 and will become unavailable after this date.
Topic: Model Theory lecture #3 (May 21, 2020 04:41pm AEST)
The above link will expire on 20-11-2020 and will become unavailable after this date.

講義資料(九州大学関係者用)
https://moodle.s.kyushu-u.ac.jp/enrol/index.php?id=21801
※ 九州大学の方は, 上記Moodleに自己登録して下さい. 聴講方法の記載があります.

連絡先(Contacts):
Daniel Gaina ( daniel at imi.kyushu-u.ac.jp ) (at = @)
溝口 佳寛 (ym at imi.kyushu-u.ac.jp ) (at = @)

案内チラシ:
ModelTheory