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.

Zkouska 24.2.2010

Příspěvekod Návštěvník » 24. 2. 2010 10:22

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

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