Loňské vzorové písemky

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.

Loňské vzorové písemky

Příspěvekod maky » 25. 1. 2012 13:15

Přikládám vzorová řešení úloh z loňska, doc Mlček je míval na stránkách. (Stále je tam má, jen bez odkazu, ale dají se stáhnout: např. http://kti.mff.cuni.cz/~mlcek/EXAM_T_4b.pdf - na konci jen změnit název souboru).
Přílohy
EXAM_T_4b.pdf
(42.12 KiB) 153 krát
EXAM_T_4a.pdf
(45.99 KiB) 103 krát
EXAM_T_3a.pdf
(44.42 KiB) 100 krát
EXAM_T_2b.pdf
(47.89 KiB) 93 krát
EXAM_T_2a.pdf
(42.49 KiB) 115 krát
maky
Matfyz(ák|ačka) level I
 
Příspěvky: 13
Registrován: 24. 1. 2010 15:25
Typ studia: Informatika Mgr.

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