Zkouska 24.2.2010

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.
Návštěvník

Zkouska 24.2.2010

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

Musim rict, ze dneska bych se stydel, kdybych nevedel.

Otazka: Jsou nasledujici teorie rozhodnutelne, zduvodnete:
a) PE rozsirene o schema "existuje nekonecne prvku"
b) Th(N)
c)DeLO*

Pro pristi generace:
Doporucuju nepodcenit tuhle zkousku - neni to tezke - soustredte se na zapocet -> na trojku staci zhruba rozumet pojmum, umet definice a nekolik zakladnich vet. Zkouska urcite neni tezsi nez loni, spise naopak.
Odpovědět

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