pekne kopacky maju :D:D
This section allows you to view all posts made by this member. Note that you can only see posts made in areas you currently have access to.
Zobrazi» príspevky MenuQuote from: bliky on 18.06.2008, 21:24:55vazena pani komisia...:D:D
ps: nesmiem zabudnut na eqo-a, ktroy mi dnes helfol s odpovedou na oponentovu otazku...thakze VRELE DIQ
Quote from: elektrikar on 08.06.2008, 17:24:59presne taky bol priklad....ja som to nahradil celou zatvorokou a mal som dobre
mozno uplne primitivna otazka, ale predsa : Ked robim unifikaciu a narazim na premennu a na rovnakej pozicii v druhom disjunkte zaciatok zatvorky, tak nahradzam premennu celou tou zatvorkou Alebo ked mam konstantu a premennu, nahradzam premennu konstantou Spravne ? dakujem
Quote from: danielmi on 06.06.2008, 04:28:47tie co boli na zapoctovke nie...
to netreba vsetky priklady pozerat?
Quote from: Havran on 06.06.2008, 03:50:37netreba 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...
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