Nemonotonní a dynamické logiky
(TRUaDYN)

 Tento kurz je otevřen i pro hosty
 Tento kurz vyžaduje klíč k zápisu


E-kurz pokrývá vybraná témata z oblasti formálních teorií racionálního usuzování (non-monotonic logics) a dynamických epistemických logik. Jde o předměty: Teorie racionálního usuzování, Modální logiky II, Logika a informace II.


Tento kurz je otevřen i pro hosty  Tento kurz vyžaduje klíč k zápisu