Messages

vedel by mi tu niekto hodit prestnu definiciu kedy je formula splnena a kedy splnitelna v strukture M v predikatovej logike thx

takze ja to vidim tak ze asi by to uz trebalo spravit jak tak civim na ten mais je to jej posledny termin a aj moj dekansky  

Vsetky okrem Radix.

aj merge sort??

Tak jedine co ti poradim je, ze si pozri bvs, avl stromy a 57 stranu z prednasok.

57 ale ved tam je nejaka tabulka na nasobenie matic...
btw ktore sorty triedia porovnavanim prvkov???

neprispel by tu niekto aj inými otazkami co mal na skuske okrem tych co boli v txt???

kedy je zajtra vyhodnotenie pri drazenskej a kde???

vie mi niekto vysvetlit ten syntakticky analizator ale osobne ak je niekto z intraku

bol by som niekomu vazne velmi vdacny ak by mi vysvetlil ten sntakticky analizator na konkretnom pripade aby som to uz konecne vedel spravit dnes som od rana cital skripta velkeho bossa a cekoval jeho prednasky ale mam pocit ze som asi radsej nemusel robit nic pretoze si s toho nic nepametam tak ak by mi to niekto vedel vysvetlit budem vdacny

ludia, nenajde sa u niekoho 1. 2. a 9. prednaska?? 

ja mam

mal som na mysli skor tie ciernobiele kolarove ale aj tak diki    nieco z toho co som hladal tam je...

nz inak nevedel by si mi vysvetlit sntaktycky analizator nejako polopatiosticky???

ludia, nenajde sa u niekoho 1. 2. a 9. prednaska?? 

ja mam

je skuskove, co cakas

pomoc???zeby???ved ja to nechcem zadarmo...

   to nikto mi to nevie vysvetlit??

kto by ma bol ochotny doucit na skusku na 18 nejako by sme sa financne dohodli lebo mam v tom dobry zmatok ...

profesor dava stale tazsie a tazsie otazky uz ku koncu pokial viem

tak to si ma potesila ...asi si po ZS hodim kravatu...

ludkovia, ti ktori ste boli 13.01. na skuske pri drazenskej ,
mohli by ste prispiet otazkami ktore sa tam objavili

dakujem

z teorie co si pametam:
veta o dedukcii uplnosti
PL definovat abecedu rozdelit na specialne a logicke
dalej co je tautologia  kedy je formula sponitelna kedy splnena co je literal co DNT KNT min KNT minDNT
tak dalej co je formula v PL alebo vo VL uz prestne neviem dalej definovat co je dokaz vo VL
priklady rezolucna metoda
rezolucna met.v PL
klauzularny tvar
k.mapa o 5 premennych a napisat aj mkt a aj mdt do jednej otazky ako wtf.
dalej vl prepisat formuly do VL
viac si nepametam....

  mohol yb tu prispiet aj nejaky cviciaci svojim posterhom  s coho sa ucit a co asi ocakavat ci to co na riadnom alebo neco tazsie...aby nas nevysupal vsetkych

btw zvyknu sa velmi lisit otazky na opravnom termine od riadneho??? vie niekto nejake priblizne okruhy co ocakavat na 1 opravnom az mam strach tam ist ...nanho bolo nastavene obmedzenie..pokial nespravis na riadnom tak musis cakat do 18 na 1 opravny len dufam ze nas tam nebude chcel vsetkych vyhodit s tej skusky...

nesupne tu niekto otazky z teorky co bol pri drazenskej a bol A skupina???

kde je miestnost B515

ako chybove hlasky treba uvadzat aj take nieco ako do batoha sa uz dany predmet nezmesti alebo tadial to sa neda ist???alebo len nejake zakladne??

ako to poriesit ked mi pmd hadze chybu typu:a method should have only one exit point,and that should  be the last statement in the method.treba to rozdelit potom na viac metod ak mam viac returnov ak dobre chapem tak metoda moze mat iba jeden return???

tino8 mam otazku akym stylom si to robil v GameImpl si nastavil vychody napr. setExits(null,null,null,null)
potom v triede napr.kluc v metode use si to poriesil cez if a v setExits v tej use metode si to nastavil uz aj z vychodmi )??

  zajtra to asi bude kopec srandy 

0 => 0 = 1

ale ved  A=>B je nepravdiva pvk A je pravdiva B nepravdiva alebo sa mylim??
dobre uz doslo mi

fi : -W(x) => Ey y|>x

e(x)  -W(x)   e(y):val y|>x = 1  val y|>x  val fi
m     0                      -               0         1
d      0                    {m}            1         1
s     1                     {m}             1        1

vsade jednicky, cize splnena, tak ?

ako si dostal na konci tie tri jednotky nemala byt ta prva 0???