Messages

ako sa odvadza rezolventa? nemate nejaky algoritmus? thx

no ved ked tam mas = tak je to system s rovnostou

tak class bude isto a ywetka dala echo ze este jeden

jednoznacne

1. uzavries formulu
2. ekviv. problem je taky ze system prvej formuly a negacie druhej je sporny
3. das vsetky formuly na prenexny tvar
4. najdes otvoreny skolemovsky uzaver
5. ked to je system s rovnostou tak musis pridat tie R1-R3
6. kazdu formulu das na konjunktivny normal tvar
7. vypises klauzuly
8. kupis si pivo

vie niekto pekne popisat o com ze to su tie Databazove systemy?

Dbs je celkom pohodicka.....ucite sa cely semester robit databazy (my sme mali informix neviem v com budete robit teraz ci oracle ci mysql ci ine), ako maju vyzerat, ako ich navrhnut, ich strukturu, ako poprepajat spravne tabulky a tak podobne, potom rozne operacie s datami (vselijake krkolomne selecty, inserty...) a nakonci zadanie....jeden z tych (pre mna) zaujimavejsich a prijemnejsich predmetov.

som prestudoval archiv a vyzera to na ... uterak zajtra....otazky typu ktory navrhovy vzor pouzijes na toto a toto (vyber z 5 moznosti) a tych navrhovych vzorov je tam aspon 30...hezky...vecer sa pomo(o)dlim za prijatelne vygenerovane otazky

kto vie kedy sa doplnaju dalsie pary zatvoriek pri unifikacii?

no tha ja som tiez dneska pochodil...som bol za p. sobotom a ten ma uz vsetko obsadene (niektore dokonca od konca februara), p. sidarova mi povedala ze vypisuje tie temy a do konca tyzdna budu zverejnene a nakoniec p. paralic povedal ze v pondelok...

zbadal som Deela.......uz viem kto je michalko

treba doplnit stav....

aaaaaa som ta videl v evke.......

kery je michalko?

dneska som videl 2x auto s SPZ konciacou FX...zeby znamenie?

matematicka logika....logicky

to je z minuleho roku? (podla tej tvorby jazyka)....lebo toho roku bude ina skuska...

si ho zapises pri zapise do 3. rocnika do indexu a potom ti ho nahodia na IS...

Ukrajiny znacka Nevidim

lebo nam chuti

Je tu niekto kto opravoval projekt a poslal ho Skrivankovi do piatku (25.maja) ? Opravil vam ? odpisal ? lebo nejako nepise, ani sa nic nedeje s bodmi na ISS

ja som mu tiez poslal...v piatok...ale tha asi uz neskoro alebo co bo nic sa nedeje

edit: prave mi to zapisal.....z 3b zvysil na 7

spol. vedy - jednu na ZS a druhu na LS

hmm...pozeram ze problemy nie su v skriptach vyriesene...to bude tiez podla vlastneho vyberu?

1 usa, 1 ml, 0.5 oop, asi 8, 9 java....

ked si daco robil cez semester tha (myslim ze  )v poho...

ja mam cas ale som nekosican...