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.

Všechny slajdy v jednom souboru

Příspěvekod karamel » 29. 1. 2017 18:10

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

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