Zkouška 25.1.

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.
vojta_vorel
Matfyz(ák|ačka) level I
Příspěvky: 49
Registrován: 14. 1. 2011 15:10
Typ studia: Informatika Ph.D.

Zkouška 25.1.

Příspěvek od vojta_vorel »

PDFko z webu v příloze.
Pár lidí se tam ptalo co je to v^{-1}_{i}[0], někdy v půlce se to vysvětlilo veřejně, je to jakoby inverzní funkce k funkci v_i, tekže je to množina těch prvovýroků, jimž v_i přiřazuje nulu.
Přílohy
ET-2_11.pdf
(54.02 KiB) Staženo 309 x
Odpovědět

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