zkouska 20 1 09
zkouska 20 1 09
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.
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.
- 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.
- Login do SIS: 30151175
- Bydliště: Beroun
- Kontaktovat uživatele:
Re: zkouska 20 1 09
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.
Kolik přesně je potřeba bodů na projití? Potkal jsem informace v rozmezí 22-28 z 50.
Re: zkouska 20 1 09
Axiomy tam jsou zadane, neni treba si je pamatovat...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.
Na me kopii testu bylo napsane min. 22 bodu, predpokladam, ze to tak bude vzdycky...
-
- 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
Tak pred chvili mi v SISu naskocila znamka. Mail zatim zadny neprisel.
Re: zkouska 20 1 09
Mail nepřišel, ale v SISu je dokonce dvojka - hodně štěstí na dalších termínech.
- 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.
- Login do SIS: 30151175
- Bydliště: Beroun
- Kontaktovat uživatele:
Re: zkouska 20 1 09
Děkujem To je teda docela psycho, jestli se člověk teprve den před dalším termínem dozví výsledek
Re: zkouska 20 1 09
" 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 .)
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