je tu nekto co nema este vysledky na IS?
faktor x=x opt. unif sa z toho povedat neda ... (to je ta posledna substitucia ktoru tam zavedies... to na lavej strane) rezolventa je aplikovany opt. unifikator na dane axiomy ktore tam budes mat zadane
j unifikator je ok......a mas v zadani napisane nieco o rezolvente? na pisomke boli samostatne zadane formuly z ktorych trebalo urobit rezolventu
Bol nejaky opravak? ja o nicom neviem...9.6. bol riadny a teraz v pondelok ma byt dalsi riadny...teda pre niekoho opravny
skopirovane z archivu:=============================Priklad1 http://sms.tym.sk/priklad1.jpg Priklad2 http://sms.tym.sk/priklad2.jpg =============================je to dobre?? bo ja cumim do tych prikladov, no a v zosite tomu ako tak rozumiem, aj v skriptach celkom, ale v tychto prikladov je par veci ktore mi vobec nic nehovoria!!
a su dobre riesene? Lebo za prvy dostal 2 body jak pozeram a nejako to je skrtane tam...