Logic-ml May 2020

logic-ml@fos.kuis.kyoto-u.ac.jp

1 participants
1 discussions

九大数理-ラトルーブ大学合同遠隔講義の実施について
by Yoshihito Tanaka 06 May '20

06 May '20

九州産業大学の田中義人です．九州大学の溝口佳寛先生の代理で，表題の件について投稿いたします： ************************************** モデル理論：普遍代数学と一階述語論理 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… 講義資料(一般用): 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 = @)

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml May 2020