Josef Mlček - cvičení

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.
Odpovědět
Him
Supermatfyz(ák|ačka)
Příspěvky: 400
Registrován: 25. 1. 2008 19:59
Typ studia: Informatika Bc.

Josef Mlček - cvičení

Příspěvek od Him »

Neměl jste někdo prof. Mlčka na cvičení? Nemáte někdo k němu zápisky z cvičení nebo cokoli co by mohlo pomoci k naučení se na písemku?

(vlastní zápisky samozřejmě mám, ale jsou stejně chaotické jako je výklad :-)))
Pracoval jsem na poměrně hodně materiálech pro různé předměty. Pokud Ti něco z toho ušetřilo čas, vyjádři svůj dík v podobě pár satoshi: 1H5JPTrsXie7epAQXbXhMjdgwyLbJ5NHBW ;)
Nahoru
Odpovědět

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