Zkouška 28. 6. 2017 (Gregor)

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 28. 6. 2017 (Gregor)

Příspěvekod karamel » 30. 6. 2017 15:03

Na ústní jsem měl korektnost rezoluce v predikátové logice.
Přílohy
vpl.png
so sweet yet so dangerous
karamel
Matfyz(ák|ačka) level I
 
Příspěvky: 8
Registrován: 27. 1. 2017 16:30
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