Matematická logika

[Pribina]

Podla mna sa tomu on sam vyvaruje tak ze zada okruh z ktoreho mas napisat vlastnu metavetu s dokazom, a tu druhu metavetu bez dokazu co zadava on tak da s ineho okruhu. Potom taka situacia nenastane.

[Havran]

ona zadal 4 teoreticke ulohy a kazda bola z inej casti cize taka situacia nenastane, dalej odporucam si pozriet pre pocitanie prikladov na separaciu klauzul aj ine teorie ako teoriu rovnosti, minimalne teoriu grup a pribuzenstva, teda naucit sa ich axiomi

[Payne]

A to akoze de su tie teorie???

[Havran]

skripta strana 54 priklad 77

[danielmi]

to netreba vsetky priklady pozerat?

[buhehe]

ona zadal 4 teoreticke ulohy a kazda bola z inej casti cize taka situacia nenastane, dalej odporucam si pozriet pre pocitanie prikladov na separaciu klauzul aj ine teorie ako teoriu rovnosti, minimalne teoriu grup a pribuzenstva, teda naucit sa ich axiomi

netreba imho...na pisomku som mu k prikladu napisal ze treba pridat axiomy teorie pribuzenstva ale som ich nepridal lebo som ich nevedel a pokracoval som v pocitani bez nich...(v priklade boli pouzite tie trojuholnicky z jazyka teorie pribuzenstva tak som si myslel ze to je teoria pribuzenstva ale podla neho nebola)...na vyhodnoteni ked som pozrel na svoju pisomku tak som mal napisane ze tie axiomy tam pridavat netreba...

[buhehe]

to netreba vsetky priklady pozerat?

tie co boli na zapoctovke nie...

[danielmi]

tak to je potom prvyx cca11 tyzdnov

[Sooloni]

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

cize priklady su len z tej opslednej casti zo syntaxu PL

[danielmi]

pozera aj niekto ine priklady ci len tieto 2 typy?

[Final_Destructer]

Ja chcem prebehnut a aspon popozerat cvika...

[johnyo13]

Ja chcem prebehnut a aspon popozerat cvika...

podla mna sa to neoplati staci prezriet forum z min. roku, vraj daval vzdy ten isty typ prikladov!

[danielmi]

cize tu separaciu a unifikaciu?

[sri]

Len typ ci aj presne tie iste priklady?

[kOsTi]

asi blba otazka ale... metavety sa treba ucit vsetky alebo len tie co boli na prednaskach?

[Dragon]

my sme mali skolema a ten bol aj na prednaske...ale nespoliehal by som sa 

[johnyo13]

Len typ ci aj presne tie iste priklady?

ten isty typ, ten isty priklad...len ine zadanie

[elektrikar]

neopisal niekto presne zadanie prikladov na prvom termine ? nech si to prepocitame ... vdaka 

[Payne]

Hej inak, nema dakto vypocitane priklady zo zbierky? resp. nesu dakde vysledky?

[Sooloni]

heh a kde mame vlastne tu ML? miestnost 230 to je nekde na vysokoskolskej ?

[Mao]

To je v hlavnej budove, 2.poschodie, blok A.

[Havran]

neopisal niekto presne zadanie prikladov na prvom termine ? nech si to prepocitame ... vdaka 

a to si myslis ze nejaky manik si bude pametat vsetky tie pismenka v spravnom poradi co boli na termine ??

sak to taka sucha skuska bola, sa naucite metavety priklady a D jak vysite

[kOsTi]

tie problemy asi nie su nikdy riesene co?

[puq]

kasli na problem staci ti vediet 2 priklady a vlastnu metavetu a nemas problem a popripade ak chytis dobre otazky, tak aj CBA moze byt

[sri]

mate aj niekto iny zablokovane prihlasovanie / odhlasovanie na 9.6. ci len ja? 
Ked dobre pocitam, tak do terminu je este vyse 37 hodin...