Odborný seminář - Logika na MU
Příprava magisterského studijního programu Logika na MU
V souvislosti s přípravou magisterského studijního programu Logika na MU
si dovolujeme zájemce i z řad studentů FI pozvat na odborný seminář,
který proběhne v pátek 21. 11. 2008 od 14 hodin v zasedací místnosti
Ústavu matematiky a statistiky, 2. NP, budova č. 8, Kotlářská 2.
Program:
14:00 Prof. RNDr. Jiří Rosický, DrSc., Teorie kategorií v
logice, informatice a fyzice.
15:00 Doc. RNDr., Lubomír Popelínský, PhD., Induktivní odvozování v
predikátové logice.
16:00 Mgr. Jiří Raclavský, PhD., Intenzionální logika.