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.
Jonáš
Matfyz(ák|ačka) level I
Příspěvky: 15
Registrován: 19. 1. 2010 10:57
Typ studia: Informatika Mgr.

Nerozhodnutelnost trochu lidsky

Příspěvek od Jonáš »

Na wikipedii jsou srozumitelněji vysvětleny některé pojmy z kapitoly Nerohodnutelnost.
http://cs.wikipedia.org/wiki/G%C3%B6del ... %BAplnosti
Odpovědět

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