Zkouška 23.1.2013

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.

Zkouška 23.1.2013

Příspěvekod Alesak » 23. 1. 2013 16:58

Zadání je na webu: http://ktiml.mff.cuni.cz/~mlcek/ET-3_12.pdf

Přišlo mi to nějak hodně těžký.
Alesak
Matfyz(ák|ačka) level I
 
Příspěvky: 15
Registrován: 9. 2. 2011 11:27
Typ studia: Informatika Bc.

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