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.
regina
Matfyz(ák|ačka) level I
Příspěvky: 17
Registrován: 4. 6. 2014 12:36
Typ studia: Informatika Mgr.

Gregor 18.12.2014

Příspěvek od regina »

Písemka z 18.12:
logika1.PNG
Odpovědět

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