zkouska 20 1 09

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.
mmarci

zkouska 20 1 09

Příspěvek od mmarci »

skupina A

prepsat spojky pomoci non a disjunkce. 2b
pokud T je podmnozinou S pak mnozina modelu T je podmnozinou mnoziny modelu S. dokazat. 2b
ukazat, ze opacna implikace neplati. 1b
dokazat, ze uplna, bezesporna ma prave jeden model 5b
dokazat, ze T uplna: T |= A prave kdyz A je prvkem T (coz podle me neplati) 5b
prevest formuli ((Ex)(A(x) <-> B(x)) )->( (Ex) A(x) -> B(x)) na prenexni tvar. 3b
rozhodnout o te formuli jestli je dokazatelna, pokud ne za jakych predpokladu by dokazatelna byla? 7b
napsat zneni vety o pridani funkcniho symbolu. asi 2b
pouzit ji na pridani symblou f(n) = prvnocislo vetsi nez n, do peanovy aritmetiky s predikatem p(n) = "n je prvnocislo" asi 5b
v peanove aritmetice dokazat, ze (Vx) (Vy) (x+y = y+x) 10b

snad jsem na nic nezapomnel.
charlieMonroe

Re: zkouska 20 1 09

Příspěvek od charlieMonroe »

Ma jiz nekdo z tohoto terminu zapsanou znamku?
Hunter

Re: zkouska 20 1 09

Příspěvek od Hunter »

Zatím nic :-(
gufy

Re: zkouska 20 1 09

Příspěvek od gufy »

Nez budete chtit mit zapsanou znamku, je potreba mit v ISu zapocet.
Hunter

Re: zkouska 20 1 09

Příspěvek od Hunter »

Zápočet tam mám, ale známka se furt neobjevuje :-(
Uživatelský avatar
R.U.R.
Matfyz(ák|ačka) level III
Příspěvky: 140
Registrován: 25. 5. 2008 18:46
Typ studia: Informatika Ph.D.
Bydliště: Beroun
Kontaktovat uživatele:

Re: zkouska 20 1 09

Příspěvek od R.U.R. »

Ty axiomy Peánovky tam člověk dostane zadané?

Kolik přesně je potřeba bodů na projití? Potkal jsem informace v rozmezí 22-28 z 50.
charlieMonroe

Re: zkouska 20 1 09

Příspěvek od charlieMonroe »

R.U.R. píše:Ty axiomy Peánovky tam člověk dostane zadané?

Kolik přesně je potřeba bodů na projití? Potkal jsem informace v rozmezí 22-28 z 50.
Axiomy tam jsou zadane, neni treba si je pamatovat...

Na me kopii testu bylo napsane min. 22 bodu, predpokladam, ze to tak bude vzdycky...
posila
Matfyz(ák|ačka) level I
Příspěvky: 6
Registrován: 21. 1. 2009 23:49
Typ studia: Informatika Bc.

Re: zkouska 20 1 09

Příspěvek od posila »

Tak pred chvili mi v SISu naskocila znamka. Mail zatim zadny neprisel.
Ou

Re: zkouska 20 1 09

Příspěvek od Ou »

Mail nepřišel, ale v SISu je dokonce dvojka - hodně štěstí na dalších termínech.
Uživatelský avatar
R.U.R.
Matfyz(ák|ačka) level III
Příspěvky: 140
Registrován: 25. 5. 2008 18:46
Typ studia: Informatika Ph.D.
Bydliště: Beroun
Kontaktovat uživatele:

Re: zkouska 20 1 09

Příspěvek od R.U.R. »

Děkujem :-) To je teda docela psycho, jestli se člověk teprve den před dalším termínem dozví výsledek :-(
Him
Supermatfyz(ák|ačka)
Příspěvky: 400
Registrován: 25. 1. 2008 19:59
Typ studia: Informatika Bc.

Re: zkouska 20 1 09

Příspěvek od Him »

" pouzit ji na pridani symblou f(n) = prvnocislo vetsi nez n, do peanovy aritmetiky s predikatem p(n) = "n je prvnocislo" asi 5b "

Jak je u tohoto řešení?

2R.U.R.: Psycho to bude zítra, sleduju, jak klesá počet lidí, kteří se chystají na zkoušku .)
Pracoval jsem na poměrně hodně materiálech pro různé předměty. Pokud Ti něco z toho ušetřilo čas, vyjádři svůj dík v podobě pár satoshi: 1H5JPTrsXie7epAQXbXhMjdgwyLbJ5NHBW ;)
Odpovědět

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