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.
maky
Matfyz(ák|ačka) level I
Příspěvky: 13
Registrován: 24. 1. 2010 15:25
Typ studia: Informatika Mgr.

Loňské vzorové písemky

Příspěvek od maky »

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) Staženo 339 x
EXAM_T_4a.pdf
(45.99 KiB) Staženo 296 x
EXAM_T_3a.pdf
(44.42 KiB) Staženo 276 x
EXAM_T_2b.pdf
(47.89 KiB) Staženo 263 x
EXAM_T_2a.pdf
(42.49 KiB) Staženo 295 x
Odpovědět

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