Messages

u Myskovej na predtermine bolo z definicie urcit, ci jeden system je semantickym dosledkom druheho (spravis tabulku), pomocou rezoluznej metody urcit tiez, ci je semantickym dosledkom, potom nejake tie zapisy pomocou jazyka pribuzenstva a take tie, ze hudobnici, maliari a podobne veci, z predikatovej logiky este tam bolo napisat klauzularny tvar (spravit prenexny tvar, skolemizaciu a tie veci ..)

.. len co sa pocitalo na cvikach ...

to je co za blbost, ze 2 terminy ? Len pre 40 ludi ?

teoriu asi velmi nie, kedze hovoril Kolar, ze to bude prakticky zamerane

Ale tiez by som bol zato, keby sem niekto z tretiakov napisal nieco ku skuske

ako som ti pisal vyssie, ja som sa ucil len z prednasok, dopodrobna vsetko okrem historie ... tu len tak pozvolna a dal som to na B

tu najdes vsetko na ups: http://hornad.fei.tuke.sk/predmety/ups/ebook.htm  ... no ja som sa ucil len z prednasok a mal som B

tie agentové systémy vtedy prekvapili aj mňa, to nebolo v prednáškach

nemas tam davat co nechces aby nikto nevidel,...

nam Kapa vravel, ze v createrooms ked bude PMDcko hlasit chybu o pocte riadkov, ze je prilis rozsiahla, tak ze tato chyba nebude vadit ...

Nie este som nezapisal  ... ale uz sa to blizi!

kedy to tam uz bude ?

Nie este som nezapisal  ... ale uz sa to blizi!

bolo by na case, chcel by som sa prihlasit totiz na nejaky normalny termin na skusku 

Kapa este stale nezapisal nikomu zapocet do maisu ?

kto ste uz odovzdali zadanie u Kapu, mate uz niekto zapocet v maise

co mas ?

stale nic

pojde ... keby nie, tak je take tazke spravit update na sedmickovy netbeans ?

no tie otazky co som sem dal tu napisala p. Bacikova, ze to sa bude pytat ... tak nechapem to celkom ani ja ... ze ako to mysli

Tym funkciam rozumiem aj ja, ze type check prejde cely strom a skontroluje ci sedia typy a potom evaluate to rata cele ...

Pri nezadani zatvoriek ako sa to rata ? ... tak podla asociativity a priority, nie ? ... neviem co by k tomu chcela viac

Este zotavenie nevies kusok vysvetlit ? Kedy a preco sa dava loopkeys a allkeys a co su to vlastne ?

to nikto nevie ?

uloha: pouzite vetu o dedukcii na nasledovne:

Bude pršat.
Zoberiem si dáždnik.
Nezmoknem.

ako to bude?

ani sa som sa nechystal, len ci nehcete zaposobit na Myskovu

kolko bodov prilepsuje Myskova na predtermine? 

dobra otazka

btw. idete v obleku ?

ked vam este neudelovali zapocet tak hej

vie niekto prosim odpovedat na tieto otazky ?

Ako je riešená typová kontrola pri nezadaní zátvoriek v konkrétnom zadaní (medzi &&,|| a *,/ je rozdiel ! )? Ako sa vytvára strom výrazu? Keď zadám výraz bez zátvoriek, akým spôsobom sa dospeje k výsledku

to je minulorocna skuska?

potom mam vsetky tie "chybove hlasky" .. ako naprikad: taketo predmet neexistuje a podobne pisat ako System.err.println  alebo moze ostat System.out.println ci game.getUI().println ? .... alebo to je jedno ? na tom nezalezi ?

dik ... a ta prirucka ... chybove hlasenia tam ake davate ? ... len tie z History ? ... alebo ked mam take, ze System.out.println("Tadial sa neda ist") tak aj taketo sa beru ako chybove hlasenia ?

ja nemam v priecinku dist\ ziadny jar subor ... ako ho vygenerovat ?

ja som stiahol ruleset z moodle z 6. cvika