Odborný seminář - Logika na MU
Příprava magisterského studijního programu Logika na MU
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.