Messages

nikomu neukazalo vyhodnoteny test ci to len ja som chuj ?

nevem vyjst z tych prednasieok, co je to ta dekompozicia vlastne, DnC ? ze rozkladam az na elementarny pripad ?
vyvazovanie to iste, nechapem, o co ma ist vlastne

cykluj si ten arraylist s prikazmi a na .getName volaj if blabla.startsWith("b")

nebude to diakritikou ?

caute, tusim uz pisali usa nejaky ludia ze? nemozete cca popisat co bolo ?

thx

spokojne, ferovo, aspon herr jakubco

hmm co to mas za dobroty ?

lol, si prepracovany

ako s tym uml v 6.7.1 ? stiahol som si ten plugin, dal reverse engineerovat, vytvorilo mi model, a na nom right click, new - diagram - class diagram, vytvori mi, a biela plocha.. wtf ?

halp plz

http://wiki.netbeans.org/NetbeansUML

mozete sem please znova dat link na ten uml plugin pre 6.7.1?

thx..

mna predmet oop naucil hlavne ako spustit netbeans, stlacit bodku a modlit sa ze tam bude co chcem 

ok sry, achjaj akoze fakt, nerozumiem co som tam pisal ze 0 za kazdu okrem jednej..whatever, spravil som, ale nasere..

please, shut up

OMFG E55,
33b zo skusky, dve body viem kde som posral, cize 28+5b, cize iba jednu skurvenu ulohu mi uznala z teorie a to som mal SECKO, pici tam, tak isto ma ojebali aj na MAT1, mrte by som chcel vidiet jak opravovali tu teoriu, ale jebem ich do ucha sa hadat arghh

no, nad tym som aj ja rozmyslal, dal som hej, ale zevraj ma byt rozdielne..

//ta nam nalozila, teorie hlavne 

dobre len, ak je E tak musis zmenit na f(, , , , ) vseobecnych pred nim, cize das potom Q(f(x,y))

plus este tusim tie pravidla pre implikaciu su kus ine, takze najprv si to pojeb do konjukcii implikacii, az tak vyberaj

hej, a este uzavri ju, cize ovlne vyskyt zviaz

no to jo, ale predtym uzavret formulu, premenovat one, vytiahnut kvantifikatore dopredu, skolemizovat a az tak..

okej podme na tu 5ku vajcaci

este k dvojke po d)
(c/\d) V (-c /\ -d)

ako toto rozbijete do rezolucnej ?
c ; d V -c ; -d ? to hadam asi nie, tak co, kazde s kazdym ?

cV-c; dV-c; cV-d ;dV-d ? to by sa dalo, ale zase, c V -c je stale T, co napisem do toho stlpca, stale jednotky tam budem pisat ci keru mariu, omggg to je priklad

co tak C<=>D?? bud obidve jednotky, alebo obidve nuly....

no hej, to je jedno, aj tak to musis rozpocitat a vyjde ti -cVd /\ -dVc

zevraj kazdy s kazdym a tautologie ignorujem a nedam ich do rezolucnej

este k dvojke po d)
(c/\d) V (-c /\ -d)

ako toto rozbijete do rezolucnej ?
c ; d V -c ; -d ? to hadam asi nie, tak co, kazde s kazdym ?

cV-c; dV-c; cV-d ;dV-d ? to by sa dalo, ale zase, c V -c je stale T, co napisem do toho stlpca, stale jednotky tam budem pisat ci keru mariu, omggg to je priklad

Pre kazde x1, x2 [T(x1) & T(x2)] => T([x1+x2])

toto sa mi najviac paci

[jedine nejake ((a+b) /\ T(a) /\ T(b)) ale to sa mi zda kus odveci]

bullshit kamarade

d) sucet dvoch cisel delitelnych tromi, je cislo delitelne tromi

podla mna  .. T(x) + T(y) = T(z)
jediny problem co si myslim ze moze byt ze, to uz nesu termy tie T(x), T(y)
+ - je bin.funkcny smybol, f priradza mocninu

v zosite som nasiel nieco take, ze namiesto +(x,y) sa pouziva x+y... namiesto "patri"(x,y) sa pouziva x "patri" y...ergo z toho mi vychadza, ze oba zapisy su spravne, akurat to "f" zmenit na plus kvoli tomu co si spomenul...

no hej, to je detail ci to napises tak ci onak, problem podla mna je ze T(T(x)) uz nie je formula, kedze T(x) neni term, cize uz "+" ako funkcny symbol, uz tma je ta termovost porusena, ci?  

rozmyslam, ale sak to sa ani inac neda jak nevnorit tam ten T(), jedine nejake ((a+b) /\ T(a) /\ T(b)) ale to sa mi zda kus odveci

bullshit kamarade

d) sucet dvoch cisel delitelnych tromi, je cislo delitelne tromi

podla mna  .. T(x) + T(y) = T(z)
jediny problem co si myslim ze moze byt ze, to uz nesu termy tie T(x), T(y)
+ - je bin.funkcny smybol, f priradza mocninu

f ako binarna funkcia spocita 2 cisla...citaj poriadne...je to na za tym, ze priradzuje mocninu + pokial viem, nemozes pouzit len tak...musi to byt vo funkcii...

prepac, ale co si chuj  ?
"..unarnym funkcnym symbolom: f - pripadi prirodz. cislu jeho druhu mocninu a binarnym funkcnym symbolom + pre scitanie"