Gregor 18.12.2014

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.

Gregor 18.12.2014

Příspěvekod regina » 13. 1. 2015 10:33

Písemka z 18.12:
logika1.PNG
regina
Matfyz(ák|ačka) level I
 
Příspěvky: 14
Registrován: 4. 6. 2014 11:36
Typ studia: Informatika Mgr.

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

cron