Písemka Glivický 12.1 a 14.1.

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.
hurda
Matfyz(ák|ačka) level I
Příspěvky: 12
Registrován: 10. 1. 2011 14:46
Typ studia: Informatika Mgr.

Písemka Glivický 12.1 a 14.1.

Příspěvek od hurda »

Nechodí sem někdo kdo chodí na cvika z VPL k Petrovi Glivickémua měl čera písemku?
(nebo kdo jde zítra a ví co tam bude?)
Odpovědět

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