Matematická logika

[Dragon]

ale no  tak napr. mne chybal bod a bez slova ho dopisal  a tiez ostatnym...len sa trebalo ozvat a on velmi ochotne hladal kde sa da pridat...

[Padres]

a pridal niekomu aj 2 a viac bodov? lebo co som pocul tak ti co vychadzali hovorili ze nepridal...

[Dragon]

jj pridal dva body z 57b na 59b ale viac nenasiel tak sa dohodli na oprave...a potom zapise lepsiu znamku

[johnyo13]

nepamata si niekto kolko bodov bolo zhruba za jednotlive otazky?
zaujima ma hlavne metaveta podla vlastneho vyberu a tie dva priklady! thx...

[Havran]

za metavetu podla vlasteho vyberu bolo asi 12 a za priklady 10 a 8 sa mi zda

[Martin18]

tu metavetu podla vlastneho vyberu ,zadal aspon kapitolu z ktorej ma byt alebo uplne lubovolna zo vsetkych?

[kOsTi]

zada kapitolu (pochopitelne)

[TradeMark]

Aka bola teda celkova skladba uloh? 2 priklady, 1 metaveta podla kapitoly a co este?

[Korgen]

Ide to z nich jak z chlpatej deky 

[kOsTi]

sak uz davno bolo pisane co ma byt na skuske... skuste prelistovat par stran dozadu

[Havran]

sk. B
1. dokazat postacujuci system shefferovou algebrou
2. dokazat metavetu zo syntaxe VL
3. napisat def struktury
4. napisat metavetu skolema
5. separacia klauzul (btw bola teoria pribuzenstva a bez jej axiom som bol v <>, tak som len dalej pocital bez nich a len som mu tam uviedol ze by som ich mal pridat )
6. unifikacia a urcenie rezolventy

btw: viem ze vyhodnotenie je v pondelok na katedre matiky (tusim b621) ale neviete kedy?

opravene thx to DeNaTuReMaN

sak omg dve strany do zadu sa pozret

[danielmi]

takze tohto roku sa treba vsetky metavety ucit?lebo ste tu pisali ze jednu da vlastnu podla kapitoly s dokazom,a druhu hocico?takze mi to vyxadza ze vsetky

[kOsTi]

no naucit sa vsetky... ale dokazat staci vediet len jednu z kazdej kapitoly

[danielmi]

v tyx skriptax su dokazy?

[kOsTi]

predpokladam ze hej... (aj ked som to este nevidel)

[sri]

hej su ...

[Padres]

hej su ale nevypracovane... :-)

[buhehe]

dokazy metaviet su vypracovane a su to tie overenia, treba sa naucit z kazdej kapitoly 1 dokaz
dokazy ostatne nie su vypracovane a su to tie problemy

[danielmi]

takze tie omacky co su v skriptax neriesit,studovat iba metavetty,definicie?problemy a overenia ignorovat(az na jedno overenie v kazdej kap.)??

[johnyo13]

takze tie omacky co su v skriptax neriesit,studovat iba metavetty,definicie?problemy a overenia ignorovat(az na jedno overenie v kazdej kap.)??

no zalezi, co ocakavas od skusky? ked nieco odignorujes tak za to nedostanes body
ale ak ti staci [E], tak je rozumne sa naucit vsetky metavety a po jednej vediet dokazat, plus aspon zaklad ku kazdej definicii, skrivanek vraj dava nejake body aj za blbosti, ktore aspon neznakom odrazaju skutocnost ...
no a este samozrejme pozriet tie priklady co boli na prvom termine...
tak to aspon robim ja a myslim, ze nebude najmensi problem

[Sooloni]

ta metaveta co si sami mozeme vybrat.. to moze byt uplne lubovolna metaveta s dokazom? alebo su tam aj nejake podmienky na to?

[valec]

hociaka,len z kazdej studijnej jednotky jednu treba..

[Sooloni]

hociaka,len z kazdej studijnej jednotky jednu treba..

okay

[danielmi]

a ked sa stane taka vec,ze vyberem si vlastnu metavetu s dokazom a este aj on zada tu metavetu bez dokazu?a kedze sa iba jednu metavetu ucim s dokazom,tak budem musiet napisat to iste...

[sri]

a ked sa stane taka vec,ze vyberem si vlastnu metavetu s dokazom a este aj on zada tu metavetu bez dokazu?a kedze sa iba jednu metavetu ucim s dokazom,tak budem musiet napisat to iste...

tak tomu sa hovori "Z pekla stastie" a myslim, ze proti tomu nemoze povedat ani ň