Messages

Pantha rei. Tusim 10% na ISIC.

A kto zvykne ponukat nieco kde sa naopak vela programuje? Najlepsie OOP   

kebyze sa dalo ja by som do dacoho takeho isiel

Mne by sa taka praca pacila. Javu poznam dobre, ale v C# som robil asi tak 3hodiny dokopy...

Myslel som ked mas pred kazdou podformulov prave jeden kvantifikator. Napriklad  [(Ex)(x v y) ^(Vy)(x v y v z)]. 

Mam otazku ohladom prenexneho tvaru formuly. Dajme tomu, ze dostanem formulu, ktora pozostava z nejakych podformul, medzi ktorymi su spojky V a ^ a kazda ma nejaky kvantifikator pred sebou. V akom poradi vyberam tieto kvantifikatory dopredu ak su vsetky rovnako hlboko vnorene?
Lebo potom pri skolemizacii vychadzaju vzdy ine formuly, podla toho v akom poradi su kvantifikatory.
(Tajne ocakavam, ze to je jedno)

Mam otazku ku komentarom.  Metody ktore boli implementovane z kniznice sa nekomentuju.  Na druhej strane sa vyzaduje aby bol vysledok analyzy JavaDoc prazdny. Tie Override metody teda zakomentujem /** */ naprazdno?

ja to mam vsetko v ramci tych expr's a term. Inak co ma byt v tom referate?

skus "palica"

Tak ostali este ZIM - 6€
a UPS - 5€

Cena znizena na 10€. Kupujte! Lepsia cena neni ani v lidli!

Odkaz na rozvrhy Ekf najdes na tejto adrese:http://www.ekf.tuke.sk/index.php?id=rozvrhy
Ekf nezvykne davat rozvrhy do maisu(aspon pre moj odbor). Oficialne ma byt zverejneny uz zajtra, ale prakticky to moze byt aj den pred zaciatkom skoly.

Inak netrpezlivo na neho cakam aj ja. Nechodim na HI ale mam subezne studium.

Predam skripta z predmetov
UPS - zachovale
ZIM - skoro nove
MAT - priklady aj teoria - nesu znamky pouzivania

Cena za komplet je 12 eur.
Ak chcete jednotlivo navrhnite cenu, ale rad by som sa ich zbavil vsetkych naraz.