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.

Zkouška 25.1.

Příspěvekod vojta_vorel » 25. 1. 2012 16:18

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

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