Prenexní operace

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

Prenexní operace

Příspěvek od Him »

Je potřeba se na zkoušku učit i důkazy prenexních operací?

Přijde mi to už trochu moc pamatovat si syntaktické důkazy..
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 ;)
Návštěvník

Re: Prenexní operace

Příspěvek od Návštěvník »

Kdyz na prednasce probiral prenexni tvary formuli, tak u dukazu rikal: "na toto se vas u zkousky nikdo ptat nebude" :-)
Him
Supermatfyz(ák|ačka)
Příspěvky: 400
Registrován: 25. 1. 2008 19:59
Typ studia: Informatika Bc.

Re: Prenexní operace

Příspěvek od Him »

Díky ;-)
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 ;)
Odpovědět

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