alebo sa učiť
nejake blizsie info k zapoctu nemate?
cize tam vlastne dokopy nic nebude
hovorila nieco dnes Myskova na prednaske o zapocte, ze co tam bude ? .. alebo nieco ine dolezite, organizacne a tak ?
Quote from: bEnd3r on 11.11.2011, 20:29:12nejake blizsie info k zapoctu nemate?Co sa týka Myškovej, nebudú binárne relácie, syntax výr. logiky, a rezolučná metóda v predikátovej logike. Nebudú ani žiadne teoretické otázky.
potom co vlastne bude
Quote from: Tren on 17.11.2011, 18:55:16potom co vlastne bude tiez by som rad vedel
tak co tam moze dat..... tie uplne tvary, potom minimalizovat, potom tu rezolucnu metodu, potom prepis do predikatovej logiky (alebo z), no a tu substituciu. Asi vsetko nie?
Dobry den,na zap. pisomke bude od zac. vyrokovej logiky az po semantiku predikatovejlogiky.S pozdravomE. Drazenskatakze mam to chapat ze bude aj semantika predikatovej logiky?
Co presne potom bude na zapocte (Myskova)??