Ja vam nechci kazit vase opodstatnene rozhorceni, ale profesor Stepanek uz tri terminy vypsal. Pokud se pocita i ten predtermin (a pokud ne, tak v zari nejspis neco bude), tak z toho clanku Čl. 13 par.11 st. radu by slo dokazat jen to, ze je vypsal pozde (tedy ty 2 tydny). S tou primerenosti je to nejspis k nicemu, kdyz nikde neni definovana primerenost (pokud je, tak to sem nekdo hodte - pochybuju). Kazdymu je jasny, ze tech terminu je malo, ale rady maj jinou logiku.
Nakonec, kdo mel vypsany ty terminy podle radu? Ja myslim, ze snad jen Yaghob
Krome toho mavanim predpisama nic rozumnyho nedokazete. Prece chcete mit zkousku, nechcete, aby nekdo udelal na Stepanka bububu
Zk 16.6.
-
Lada
- Donátor
- Příspěvky: 165
- Registrován: 9. 1. 2005 10:17
- Typ studia: Informatika Bc.
- Bydliště: Slaný / zácpa na Evropské
vpodstate souhlasim s dr.Bik - akorat si myslim ze by se mozna dalo na prof. Stepanka apelovat v duchu toho ze termin 30.6. je beznadejne naplneny (a vzhledem k tem zmatkum mozna dvojnasobne:)) a ze vypsal zatim terminy pro 180 lidi kdyz prihlasenejch je pres 300, tak jestli by nebyl ochoten vypsat jeste jeden termin... treba blizko toho 30 - aby se ten natrask trochu uvolnil...
Hail to you, champion:o)
-
Lada
- Donátor
- Příspěvky: 165
- Registrován: 9. 1. 2005 10:17
- Typ studia: Informatika Bc.
- Bydliště: Slaný / zácpa na Evropské
hmm, kdyz jsem si pocital svoje sance na trojku (btw mi vyslo ze jsou nulove, ne-li zaporne:) ) tak jsem si rikal ze pochybuju ze by daval za zneni vic jak polovinu bodu (to by bylo nespravedlive vuci tem co ten dukaz (mnohem slozitejsi nez zneni) maji...) a IMHO to bude jeste o neco min...
Hail to you, champion:o)
-
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
-
macbeth
- Matfyz(ák|ačka) level III
- Příspěvky: 201
- Registrován: 11. 2. 2005 14:48
- Typ studia: Informatika Mgr.
- Bydliště: PPraha
- Kontaktovat uživatele:
No kazdopadne to bude este vesele 
Ad dr. Bik -- ja by som ten predtermin zrovna za termin nepocital, kedze nebol ani v SISe... a inak si myslim, ze mozno by sa s nim dalo dohodnut aj individualne tak, ako to urobili ti, co isli na ten "predtermin"...
A inak si myslim, ze ta pisomka sa dala napisat, ked sa to clovek faktze naucil, ale to by tomu musel venovat dost viac ako ja
Ad ten preriedovaci test: suhlasim s tym, ze je minimalne NEVHODNE strhavat body za to, ak je formula zle uzatvorkovana, no ine veci (napr v tom, co som riesil ja: pravdive tvrdenie s dvoma ciarkami za sebou - je ho treba oznacit za pravdive, alebo to nie je preklep? a tiez ta zatvorka naviac, co spominal Michal na pisomke... ) su tam chybne (aj ten pocet otazok, to mi pride na jednej strane usmevne, na druhej take zvlastne...)
A este chcem dodat, ze tie odpovede
a) je formula
b) nie je formula
su ozaj zvlastne a neviem, ci tym chceli zistit nasu pozornost, alebo ci to netipujeme, alebo co vlastne...
takze tak... nech nam je zem lahka...
Ad dr. Bik -- ja by som ten predtermin zrovna za termin nepocital, kedze nebol ani v SISe... a inak si myslim, ze mozno by sa s nim dalo dohodnut aj individualne tak, ako to urobili ti, co isli na ten "predtermin"...
A inak si myslim, ze ta pisomka sa dala napisat, ked sa to clovek faktze naucil, ale to by tomu musel venovat dost viac ako ja
Ad ten preriedovaci test: suhlasim s tym, ze je minimalne NEVHODNE strhavat body za to, ak je formula zle uzatvorkovana, no ine veci (napr v tom, co som riesil ja: pravdive tvrdenie s dvoma ciarkami za sebou - je ho treba oznacit za pravdive, alebo to nie je preklep? a tiez ta zatvorka naviac, co spominal Michal na pisomke... ) su tam chybne (aj ten pocet otazok, to mi pride na jednej strane usmevne, na druhej take zvlastne...)
A este chcem dodat, ze tie odpovede
a) je formula
b) nie je formula
su ozaj zvlastne a neviem, ci tym chceli zistit nasu pozornost, alebo ci to netipujeme, alebo co vlastne...
takze tak... nech nam je zem lahka...
-
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
-
qwyxyo
- Matfyz(ák|ačka) level II
- Příspěvky: 51
- Registrován: 30. 5. 2005 19:26
- Typ studia: Informatika Mgr.
- Kontaktovat uživatele:
No ked som bol na prvych databazach, zazil som mensi sok. Ale po tomto ma uz nic asi neprekvapi. Ked som si pozeral stare pisomky, bez akehokolvek ucenia som bol schopny za 30 min tu pisomku napisat za 2. To dusno v F1 a tie zadania (sama veta + dokaz) bola ta najhorsia kombinacia:(
Bol som B a davam tu zadanie tejto skupiny:
1.(5b)
(A -> B) -> ((B -> C) -> (A -> C))
2.(10b)
Veta o uplnosti vo vyrokovej logike + dokaz.
3.(5b)
((A&A) v A) -> (A & (AvA))
4.(5b)
(Ex)((x>y) & A(x,y)) -> non(Vx)((x>y) -> nonA(x,y))
5.(10b)
Rozsirenie teorie T' na T pomocou modelov tychto teorii.
6.(10b)
Popisat uplnu teoriu. Za akych podmienok sa da T rozsirit do uplnej teorie? + dokaz
7.(10b)
Nech L je jazyk a S maximalna bezesporna mnozina. Ukazte ze S je uplna teoria...
8.(10b)
Popiste jazyk a axiomy Peanovej aritmetiky prveho radu. Je tato teoria rozhodnutelna?
9.(15b)
Obe tvrdenia vety o uplnosti v predikatovej logike. Dokazte, ze z tvrdenia o bezespornosti plynie prve tvrdenie vety o uplnosti...
10.(15b)
Nech L je jazyk s n navzajom roznymi konstantami a aspon jednym predikatovym symbolom. Ukazte, ze existuju 2 rozne maximalne bezesporne mnoziny tvorene uzavretymi formulami jazyka L.
Dokazy som nevedel. Ulohu 15 ani nevstrebal... Ta pisomka mi pride fakt husta, aj ked je pravda, ze kto si poriadne pozrel zakladne vety a dokazy, aspon na trojku to uhral v pohode. No s minulym rokom sa to aj tak neda porovnat. No nic. Snad nabuduce...
Bol som B a davam tu zadanie tejto skupiny:
1.(5b)
(A -> B) -> ((B -> C) -> (A -> C))
2.(10b)
Veta o uplnosti vo vyrokovej logike + dokaz.
3.(5b)
((A&A) v A) -> (A & (AvA))
4.(5b)
(Ex)((x>y) & A(x,y)) -> non(Vx)((x>y) -> nonA(x,y))
5.(10b)
Rozsirenie teorie T' na T pomocou modelov tychto teorii.
6.(10b)
Popisat uplnu teoriu. Za akych podmienok sa da T rozsirit do uplnej teorie? + dokaz
7.(10b)
Nech L je jazyk a S maximalna bezesporna mnozina. Ukazte ze S je uplna teoria...
8.(10b)
Popiste jazyk a axiomy Peanovej aritmetiky prveho radu. Je tato teoria rozhodnutelna?
9.(15b)
Obe tvrdenia vety o uplnosti v predikatovej logike. Dokazte, ze z tvrdenia o bezespornosti plynie prve tvrdenie vety o uplnosti...
10.(15b)
Nech L je jazyk s n navzajom roznymi konstantami a aspon jednym predikatovym symbolom. Ukazte, ze existuju 2 rozne maximalne bezesporne mnoziny tvorene uzavretymi formulami jazyka L.
Dokazy som nevedel. Ulohu 15 ani nevstrebal... Ta pisomka mi pride fakt husta, aj ked je pravda, ze kto si poriadne pozrel zakladne vety a dokazy, aspon na trojku to uhral v pohode. No s minulym rokom sa to aj tak neda porovnat. No nic. Snad nabuduce...
, katastrofa -
hydrant
- Matfyz(ák|ačka) level III
- Příspěvky: 196
- Registrován: 4. 1. 2005 12:50
- Typ studia: Informatika Bc.
- Kontaktovat uživatele:
No URCITE stepankovi. Prodekanovi ti to dovolim poslat az potom co budem mat znamku v indexe... ak sa nasere bude druha pisomka 2x tazsia. Aj ked to uz je asi jedno ci 2x alebo 1x :/twoflower píše: Posli to nejdriv Stepankovi, neni dobre na nekoho zalovat bez jeho vedomi, zrovna Stepanek mi totiz prijde jinak ferovy.
bolo to maso
-
hydrant
- Matfyz(ák|ačka) level III
- Příspěvky: 196
- Registrován: 4. 1. 2005 12:50
- Typ studia: Informatika Bc.
- Kontaktovat uživatele:
BTW: ked uz sa hadate, ze bola vyradovacia pisomka nespravodliva. Tak co toto:
V hlavicke tej pisomky bolo nieco ako:
a, b, c, t, s - premenne vyrokovej logiky
x,y,z - premenne predikatovej logiky
A, B, C, D, E, A(x,f(z)) formule
... nasledovala pisomka
Kazdy existencni kvantifikator bol napisany ako "E"
podla definicie v hlavicke je E formula ==> Vsetko co malo v sebe existencny kvantifikator bolo uz syntakticky zle
inak podla moho nazoru, ta pisomka nebola zas tak opovrhutia hodna. Ja si myslim, ze sa tym snazil vyhodit ludi ktory o tom nemaju sajnu, a aspon tak nepridu o termin. (ktory ale bohuzial uz ziaden nie je)
ina vec je, ze mozno vypadli aj ludia, na ktorych by to clovek nepovedal
V hlavicke tej pisomky bolo nieco ako:
a, b, c, t, s - premenne vyrokovej logiky
x,y,z - premenne predikatovej logiky
A, B, C, D, E, A(x,f(z)) formule
... nasledovala pisomka
Kazdy existencni kvantifikator bol napisany ako "E"
podla definicie v hlavicke je E formula ==> Vsetko co malo v sebe existencny kvantifikator bolo uz syntakticky zle
inak podla moho nazoru, ta pisomka nebola zas tak opovrhutia hodna. Ja si myslim, ze sa tym snazil vyhodit ludi ktory o tom nemaju sajnu, a aspon tak nepridu o termin. (ktory ale bohuzial uz ziaden nie je)
ina vec je, ze mozno vypadli aj ludia, na ktorych by to clovek nepovedal
-
WOW
- Matfyz(ák|ačka) level I
- Příspěvky: 36
- Registrován: 14. 6. 2005 11:16
- Typ studia: Informatika Mgr.
presne, souhlasim s tebou.. konecne nejaka poradna zkouska a vsichni jsou z toho uplne hotovymacbeth píše:LOL aki su vsetci otraseni
len dufam, ze sa to nabuduce podari
poslete rovnou dopis na ministerstvo LOL !!!
mozna sem to napsal, mozna ne, je pravda ze ta pisemka byla tezsi, ale byly to dukazy z prof. skript, takze se je mohli vsichni naucit
nevim proc to tady nekteri hroti s nejakyma vyhruznyma mailama, chcete mit ze zkousky jeste vetsi peklo? hold nedostanete tu svoji obvyklou 1, ale i 2 nebo 3 nebo si to zopaknete
, takovy je zivotne ze bych chtel nekoho obhajovat, nebo dokonce chtel, aby byly zkousky takove "tezke", ale jednou je to takova zkouska z logiky no ...
tak vsem hodne stesti, at nam to nejak dopadne
