Sbírka řešených úloh z predikátové logiky

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.

Sbírka řešených úloh z predikátové logiky

Příspěvek od Him »

Dával jsem dohromady řešené příklady na predikátovou logiku od doc. Mlčka:

http://www.martinvseticka.eu/skola/vyro ... -mlcek.pdf

* chyby tam být mohou, i když jsem se to snažil poctivě zkontrolovat, za jejich nahlášení budu vděčen
* ... jakýkoli jiný feedback je vítán též
* snad to někomu pomůže ;-)
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“