zkouska 17. 2. 2009

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.
niel
Matfyz(ák|ačka) level I
Příspěvky: 13
Registrován: 23. 1. 2008 12:55
Typ studia: Informatika Mgr.

zkouska 17. 2. 2009

Příspěvek od niel »

byl trochu zmatek v zadavani, nekteri meli malo prikladu, takze bylo vice ruznych zadani, uvedu zde me, ktere bylo oznacene jako varianta A

1) definujte CNF a DNF tvar formule
a) jsou CNF a DNF tvary teze formule ekvivalentni? proc? (1 bod)
b) v jednom z techto tvaru lze definovat postacujici podminku, aby formule byla tautologii - v kterem tvaru? jak podminka bude vypadat? (4 body)

2) T a S vyrokove teorie, oznac MOD(T) jako mnozinu vsech modelu teorie T, analogicky pro S, dokazte:
a) T je podmnozinou S => MOD(S) je podmnozinou MOD(T) (2 body)
b) <= neplati (3 body)

3)
a) dokazte, ze kazda uplna vyrokova teorie ma jen jeden model (5 bodu)
b) sestrojte uzavrenou vyrokovou teorii, ktera neni uplna (asi take 5 bodu)

4)
a) definujte pojem uplne teorie (1 bod)
b) dokazte, ze libovolna bezesporna teorie T (jazyk L) a libovolny jeji model M - mnozina THM(M) = {A | A je uzavrena fle jazyka L pravdiva v M} je uplna teorie, ktera je rozsirenim T se stejnym jazykem (9 bodu)

5)
a) definujte pojem varianty formule (2 body)
b) dokazte, ze kazde 2 varianty dane formule A jsou ekvivalentni (8 bodu)

6) v Peanove aritmetice dokazte (axiomy byly vypsany)
a) 1 * 2 = 2 (3 body)
b) (Vx)(Vy)(S(y) * x = (x * y) + x) (7 bodu)
Návštěvník

Re: zkouska 17. 2. 2009

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

Vedel by nekdo tu 2 a 3 ? mozna by nebylo spatne, kdyby nekdo dal reseni cele pisemky :)
někdo

Re: zkouska 17. 2. 2009

Příspěvek od někdo »

Jak myslíte že to bude s dalšíma termínama ?
Magog
Matfyz(ák|ačka) level I
Příspěvky: 15
Registrován: 18. 3. 2008 19:36
Typ studia: Informatika Bc.

Re: zkouska 17. 2. 2009

Příspěvek od Magog »

někdo píše:Jak myslíte že to bude s dalšíma termínama ?
Nekde jsem slysel, ze bude jeste jeden termin v prubehu LS, radove v dubnu. Ale berte tuto informaci s rezervou. Jde spis o informaci typu "jedna pani povidala".
Návštěvník

Re: zkouska 17. 2. 2009

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

Kdyz jsem se na dalsi terminy zkousky ptal prof. Stepanka, tak mne rikal, ze mu mam napsat mail (az to budu umet :) )... a az se mu sejde vic takovych mailu, tak ze vypise jeste dalsi termin :wink:
niel
Matfyz(ák|ačka) level I
Příspěvky: 13
Registrován: 23. 1. 2008 12:55
Typ studia: Informatika Mgr.

Re: zkouska 17. 2. 2009

Příspěvek od niel »

mate uz nekdo znamku?
niel
Matfyz(ák|ačka) level I
Příspěvky: 13
Registrován: 23. 1. 2008 12:55
Typ studia: Informatika Mgr.

Re: zkouska 17. 2. 2009

Příspěvek od niel »

tak nic, uz jsem ji dostal :wink:
Sranda

Re: zkouska 17. 2. 2009

Příspěvek od Sranda »

uz mas znamku?
Ja jeste nemam. :-(
niel
Matfyz(ák|ačka) level I
Příspěvky: 13
Registrován: 23. 1. 2008 12:55
Typ studia: Informatika Mgr.

Re: zkouska 17. 2. 2009

Příspěvek od niel »

jj, dneska rano mi prisel mail, zkousku jsem dal a jsem moooc rad, ze ji mam za sebou :-)
Marek LE

Re: zkouska 17. 2. 2009

Příspěvek od Marek LE »

Je jeste nekdo kdo nevi jakou znamku ma?
Návštěvník

Re: zkouska 17. 2. 2009

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

Ja nevim znamku, ale asi proto ze jeste nama zapocet :?: Tak snad to nebude za 4 :?
Odpovědět

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