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.

Písemka Glivický 12.1 a 14.1.

Příspěvekod hurda » 13. 1. 2011 20:41

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

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