Quote from: DeViLvs on 17.05.2011, 05:27:04tie pravidla treba vediet nie je tam ziaden tahak. a co ja viem, tak nepocital sa ziaden priklad.Quote from: wqwq on 16.05.2011, 17:02:18Takze tie odvodzovacie pravidla treba vediet, ci je tam tahak ako bol na skuske? A vies o tom, ze by niekto dostal aj vypocitat nejaky priklad? DikQuote from: puq on 13.05.2011, 18:36:45je to tretia prednaska slide 8
mohol by si upresnit co si myslel tym ze si im tam odvodil priradovaci prikaz JPJ?
Naturalnu semantiku prirad'ovacieho prıkazu definujeme pomocou axiomy: atd...