Všechny slajdy v jednom souboru

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.
karamel
Matfyz(ák|ačka) level I
Příspěvky: 10
Registrován: 27. 1. 2017 16:30
Typ studia: Informatika Bc.

Všechny slajdy v jednom souboru

Příspěvek od karamel »

Ahoj,
pro všechny, kdo stejně jako já často hledají ve slajdech a nechtějí mít neustále otevřených 13 souborů, slepil jsem všechny slajdy do jednoho souboru. Je to prezentace z přednášek 2016/2017 od Petra Gregora.
Přílohy
slajdy.pdf
Oficiální prezentace k přednášce NAIL062 Petra Gregora
(3.84 MiB) Staženo 403 x
Odpovědět

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