Nerozhodnutelnost trochu lidsky

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.

Nerozhodnutelnost trochu lidsky

Příspěvekod Jonáš » 11. 4. 2010 10:19

Na wikipedii jsou srozumitelněji vysvětleny některé pojmy z kapitoly Nerohodnutelnost.
http://cs.wikipedia.org/wiki/G%C3%B6delovy_v%C4%9Bty_o_ne%C3%BAplnosti
Jonáš
Matfyz(ák|ačka) level I
 
Příspěvky: 15
Registrován: 19. 1. 2010 10:57
Typ studia: Informatika Mgr.

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