Zk 16.6.
- Isidor
- Adoptoval Tutcheka
- Příspěvky: 247
- Registrován: 8. 12. 2004 23:22
- Typ studia: Informatika Mgr.
- Bydliště: mám
- Kontaktovat uživatele:
Zk 16.6.
Tak, najprv bol kratky test o 40tich (plus minus:)) otazkach plati-neplati, potrebnych bolo 30 bodov na postup dalej. A teraz...
...tramtarada! Ta "ozajstna" skuskova pisomka z Vyrokovej a predikatovej logiky... Varianta A. Enjoy
1. (5b) Dokazte: (A->(B->C))->(B->(A->C))
2. (10b) Ve vyrokove logice vyslovte vetu o dukazu rozborem pripadu a dokazte ji.
3. (5b) Dokazte: ((AvA)&A)<->(Av(A&A))
4. (5b) Dokazte: (Vx)((x>y)->A(x,y))->non(Ex)((x>y)&non(A(x,y)))
5. (10b) Necht T je teorie s jazykem L a T' je teorie s jazykem L', definujte, kdy T' je konzervativni rozsireni T. Jaky je vztah mezi bezespornosti obou teorii? Dokazte sve tvrzeni.
6. (10b) Vyslovte v predikatove logice Vetu o dedukci a dokazte ji. (Vyuzijte dukaz obdobneho tvrzeni ve vyrokove logice).
7. (10b) Definujte pojem Henkinovy teorie. Lze kazdou teorii T rozsirit do Henkonovy teorie? Muze takove rozsireni byt konzervativni?
8. (10b) Napiste jazyk a axiomy Robinsonovy aritmetiky Q. Je to rozhodnutelna teorie?
9. (15b) V predikatove logice vyslovte a dokazte vetu o kompaktnosti
10. (15b) Necht T je teorie s jazykem L, necht S je maximalni bezesporna mnozina uzavrenych formuli jazyka L. Ukazte, ze S je uplna teorie. Za jakych podminek je (T u S) [sjednoceni] uplna teorie?
120 min. casu, na trojku potrebnych aspon 45 bodov.
Ta dzivo, ne?
...tramtarada! Ta "ozajstna" skuskova pisomka z Vyrokovej a predikatovej logiky... Varianta A. Enjoy
1. (5b) Dokazte: (A->(B->C))->(B->(A->C))
2. (10b) Ve vyrokove logice vyslovte vetu o dukazu rozborem pripadu a dokazte ji.
3. (5b) Dokazte: ((AvA)&A)<->(Av(A&A))
4. (5b) Dokazte: (Vx)((x>y)->A(x,y))->non(Ex)((x>y)&non(A(x,y)))
5. (10b) Necht T je teorie s jazykem L a T' je teorie s jazykem L', definujte, kdy T' je konzervativni rozsireni T. Jaky je vztah mezi bezespornosti obou teorii? Dokazte sve tvrzeni.
6. (10b) Vyslovte v predikatove logice Vetu o dedukci a dokazte ji. (Vyuzijte dukaz obdobneho tvrzeni ve vyrokove logice).
7. (10b) Definujte pojem Henkinovy teorie. Lze kazdou teorii T rozsirit do Henkonovy teorie? Muze takove rozsireni byt konzervativni?
8. (10b) Napiste jazyk a axiomy Robinsonovy aritmetiky Q. Je to rozhodnutelna teorie?
9. (15b) V predikatove logice vyslovte a dokazte vetu o kompaktnosti
10. (15b) Necht T je teorie s jazykem L, necht S je maximalni bezesporna mnozina uzavrenych formuli jazyka L. Ukazte, ze S je uplna teorie. Za jakych podminek je (T u S) [sjednoceni] uplna teorie?
120 min. casu, na trojku potrebnych aspon 45 bodov.
Ta dzivo, ne?
Inteligentních lidí je menšina. Demokracie je vláda většiny.
-
- Matfyz(ák|ačka) level III
- Příspěvky: 103
- Registrován: 4. 6. 2005 15:49
- Typ studia: Informatika Bc.
- Bydliště: Vyšehrad
toz
No tak se tesim v zari.. jen doplnil - byl jsem Bcko - vetsina bodu za uplnostni vety (ve vyrokovce, predikatovce .. teorie), pak neco s Peanovou aritmetikou, maximalnimi nespornymi mnozinami fli... no a nakonec opeprit, nizko bodovanymi dukazy fli.... (vice prakticna bylo v te zaskrtavacce (splnitelnost, prenexni formy, pravdivost fli...)) Juch.. tesim se na sve ... dostatecne...
-
- Matfyz(ák|ačka) level III
- Příspěvky: 103
- Registrován: 4. 6. 2005 15:49
- Typ studia: Informatika Bc.
- Bydliště: Vyšehrad
jak tak koukam..
No a jak ta koukam ty formulove priklady melo A i B stejne
- rastik
- Supermatfyz(ák|ačka)
- Příspěvky: 661
- Registrován: 19. 10. 2005 21:45
- Typ studia: Informatika Mgr.
- Login do SIS: wartr3am
- Bydliště: Praha
- Kontaktovat uživatele:
Re: Zk 16.6.
Len 90 minut. Mazec to bol poriadny.Isidor píše:120 min. casu, na trojku potrebnych aspon 45 bodov.
Stepanek hovoril, ze na opravnych terminoch treba tu kratku pisomku robit znova. To som teda zvedavy, ako dopadnem.
- laliebijard
- Matfyz(ák|ačka) level III
- Příspěvky: 168
- Registrován: 8. 6. 2005 10:26
- Typ studia: Informatika Mgr.
- Login do SIS: repij4am
- MyS
- Donátor
- Příspěvky: 178
- Registrován: 22. 9. 2004 00:13
- Typ studia: Informatika Bc.
- Bydliště: The city of Dobříš
- Kontaktovat uživatele:
Heh, jen tak na okraj;). Mozna by bylo zajimavy uvest bod 11 clanku 13 studijniho radu;).
Zkoušející vypíše nejpozději dva týdny před ukončením výuky termíny zkoušek tak, aby studenti měli možnost rozvrhnout si zkoušky více způsoby rovnoměrně ve zkouškovém období. Počet termínů musí být přiměřený počtu studentů a nesmí být menší než tři. U silně obsazených přednášek a v odůvodněných případech může děkan určit dalšího nebo jiného zkoušejícího.
Naposledy upravil(a) MyS dne 16. 6. 2006 19:21, celkem upraveno 1 x.
We don't need no education!
- Almer
- Site Admin
- Příspěvky: 686
- Registrován: 12. 10. 2004 10:58
- Typ studia: Informatika Ph.D.
- Login do SIS: lasap4am
- Bydliště: Mala Strana - 203
- Kontaktovat uživatele:
Do 10 dnu.Dan píše:A nehovoril dokedy to opravi? Z tymi tromi typkami by to stihli v pohode do vecera ale ci sa im bude xciet tak ako po tej 30 minutovke tak to neviem ....
Jinak masaker, chtelo se to ucit (alespon ve variante A) predevsim kapitolu 4 a 5 ze skript a mel to clovek v kapse....mno...chce se mi zvracet
Zakládající člen klubu Ortodoxních Matfyzáků
Jsem LAMER ale neumim se ani podepsat ]
Jsem LAMER ale neumim se ani podepsat ]
- Dawe
- Supermatfyz(ák|ačka)
- Příspěvky: 360
- Registrován: 12. 10. 2004 12:32
- Typ studia: Informatika Mgr.
- Bydliště: Doma a nebo na koleji
No já jsem jeden z těch co se nedostal ani dodruhýho kola. Veselý na tom je, že jsem to neměl o bod. No ale myslím, že jsem v tý písemce měl chyb míň než ten kdo ji psal. Pro ty co tam nebyly:
Zadání: písemka má 40 otázek, je třeba mít 30 správně.
realita: zadání A 39 otázek, zadání C 44 otázek. Několik překlepů a nedoklepů, někde se někdo ptal na nějakou závorku, ze zadních lavic jsem zaslechl že někde nějaká chybí, dál jsem tomu nevěnoval moc pozornost...
No mýlit se může každej...
... tak proč jsem tu písemku neudělal kvůli jedný blbý závorce?
Bylo tam něco asi jako p->(q v non p |= p & q (nevím přesně)
No a na otázku: obsahuje to formuli,která je implikací? Ne, a proč? Je to blbě uzávorkovaný...
No a hned je 28 bodů místo 29, no měl jsem tam víc chyb, ale i ty ostatní byly takový pochybný. U jedný se dokonce doktorandi dohadovali, jestli je to tak nebo ne a Štěpánek to odmít řešit.
Další věc která je vysoce logická v týpísemce:
je .... formule?
a) ano
b) ne
No logicky zatrhnete obě varianty tak aby to dávalo smysl, to ale snižuje svým způsobem možnost udělání chyby z 10 na polovinu. Kolega měl dokonce otázku takovou, že pokud se rozhodl zatrhnout a, pak se zatrhlo i b,c, a d - no a 4 chyby jsou na světě.
Je fakt, že většina lidí to udělala (asi je 10 ne), a hold jsem byl mezi nima, ale ta písemka byla rozhodně divná (myslím tu první část). A jak tak koukám, tak ani ta druhá nebyla o nic hezčí.
Štěpánek sice říkal, že kdo to neudělá, nebude se mu termín počítat, ale k čemu je to dobrý, když ani nejsou 3 termíny, natož potom 4... Asi by mu to fakt chtělo poslat studijní řád, protože ani jednu ze tří podmínek nesplnil (termíny musí být vypsané minimálně 14 dní před začátkem zkouškového, musí být v dostatečném množství a musí být minimálně 3).
Tak vám všem přeju, aby vám to dopadlo...
Zadání: písemka má 40 otázek, je třeba mít 30 správně.
realita: zadání A 39 otázek, zadání C 44 otázek. Několik překlepů a nedoklepů, někde se někdo ptal na nějakou závorku, ze zadních lavic jsem zaslechl že někde nějaká chybí, dál jsem tomu nevěnoval moc pozornost...
No mýlit se může každej...
... tak proč jsem tu písemku neudělal kvůli jedný blbý závorce?
Bylo tam něco asi jako p->(q v non p |= p & q (nevím přesně)
No a na otázku: obsahuje to formuli,která je implikací? Ne, a proč? Je to blbě uzávorkovaný...
No a hned je 28 bodů místo 29, no měl jsem tam víc chyb, ale i ty ostatní byly takový pochybný. U jedný se dokonce doktorandi dohadovali, jestli je to tak nebo ne a Štěpánek to odmít řešit.
Další věc která je vysoce logická v týpísemce:
je .... formule?
a) ano
b) ne
No logicky zatrhnete obě varianty tak aby to dávalo smysl, to ale snižuje svým způsobem možnost udělání chyby z 10 na polovinu. Kolega měl dokonce otázku takovou, že pokud se rozhodl zatrhnout a, pak se zatrhlo i b,c, a d - no a 4 chyby jsou na světě.
Je fakt, že většina lidí to udělala (asi je 10 ne), a hold jsem byl mezi nima, ale ta písemka byla rozhodně divná (myslím tu první část). A jak tak koukám, tak ani ta druhá nebyla o nic hezčí.
Štěpánek sice říkal, že kdo to neudělá, nebude se mu termín počítat, ale k čemu je to dobrý, když ani nejsou 3 termíny, natož potom 4... Asi by mu to fakt chtělo poslat studijní řád, protože ani jednu ze tří podmínek nesplnil (termíny musí být vypsané minimálně 14 dní před začátkem zkouškového, musí být v dostatečném množství a musí být minimálně 3).
Tak vám všem přeju, aby vám to dopadlo...
vycuc zo studijneho radu:
Čl. 13 - Kontrola studia
odstavec 11 - Zkoušející vypíše nejpozději dva týdny před ukončením výuky termíny zkoušek tak, aby studenti měli možnost rozvrhnout si zkoušky více způsoby rovnoměrně ve zkouškovém období. Počet termínů musí být přiměřený počtu studentů a nesmí být menší než tři. U silně obsazených přednášek a v odůvodněných případech může děkan určit dalšího nebo jiného zkoušejícího.
vypisal 2 terminy po 90 ludi
zapisanych na vyrokovu logiku je 301 !!!!!!!!!!!!
(z toho druhaci 237)
rozhodne to niekomu poslem
poradte: Stepankovi alebo rovno prodekanovi?
Čl. 13 - Kontrola studia
odstavec 11 - Zkoušející vypíše nejpozději dva týdny před ukončením výuky termíny zkoušek tak, aby studenti měli možnost rozvrhnout si zkoušky více způsoby rovnoměrně ve zkouškovém období. Počet termínů musí být přiměřený počtu studentů a nesmí být menší než tři. U silně obsazených přednášek a v odůvodněných případech může děkan určit dalšího nebo jiného zkoušejícího.
vypisal 2 terminy po 90 ludi
zapisanych na vyrokovu logiku je 301 !!!!!!!!!!!!
(z toho druhaci 237)
rozhodne to niekomu poslem
poradte: Stepankovi alebo rovno prodekanovi?
jj
Mne sa hlavne nezda, ze by si takuto pisomku vymyslel sam Stepanek. Preco by to na stare kolena robil, tolko prace navyse s opravovanim testov a potom pisomiek. Mam take podozrenie na tych cviciacich, aj kvoli tomu ze ten test co sme pisali sa formou podobal na test ktory sme mali ako zapoctovy na cviku (a viem o tom ze to mali aj na inych cvikach).
- twoflower
- Supermatfyz(ák|ačka)
- Příspěvky: 445
- Registrován: 22. 9. 2004 21:07
- Typ studia: Informatika Ph.D.
- Kontaktovat uživatele:
Posli to nejdriv Stepankovi, neni dobre na nekoho zalovat bez jeho vedomi, zrovna Stepanek mi totiz prijde jinak ferovy.palid píše:vycuc zo studijneho radu:
Čl. 13 - Kontrola studia
odstavec 11 - Zkoušející vypíše nejpozději dva týdny před ukončením výuky termíny zkoušek tak, aby studenti měli možnost rozvrhnout si zkoušky více způsoby rovnoměrně ve zkouškovém období. Počet termínů musí být přiměřený počtu studentů a nesmí být menší než tři. U silně obsazených přednášek a v odůvodněných případech může děkan určit dalšího nebo jiného zkoušejícího.
vypisal 2 terminy po 90 ludi
zapisanych na vyrokovu logiku je 301 !!!!!!!!!!!!
(z toho druhaci 237)
rozhodne to niekomu poslem
poradte: Stepankovi alebo rovno prodekanovi?