Logika 2013/2014: Gregor místo Mlčka

Výroková logika, normální tvary formulí, predikátová logika, věty o úplnosti výrokové a predikátové logiky, prenexní tvary formulí, modely teorií 1. řádu. Meze formální metody, Gödelovy věty.

Logika 2013/2014: Gregor místo Mlčka

Příspěvekod nemat » 14. 8. 2013 10:56

Dle SISu to vypadá, že příští rok to bude přednášet Gregor místo Mlčka.
nemat
 

Zpět na AIL062 Výroková a predikátová logika

Kdo je online

Uživatelé procházející toto fórum: Žádní registrovaní uživatelé a 1 návštěvník