Messages

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 jazyku s rovnostou je = binarny predikat ?

co je klauzularny variant k uzaveru formuly? 

tak potom 3b) by som dal

Ex, x = f(y)

ci ?

hm, to ze "jazyk s rovnostou" znamena ze mozem pouzit "=" ?

0 => 0 = 1

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 ?

ked spravim rezolucnu, ako dostanem potom to aspon jedno spravne riesenie, ci ako to povedat ?

z tabulky by som to logicky vedel, ale takto ..

ked spravim rezolucnu, ako dostanem potom to aspon jedno spravne riesenie, ci ako to povedat ?

to je jaka kktina bordel v tych predikatoch, raz je to konjukcia, raz je to implikacia .. uhm ..

niekto ma dobru kondiciu

ja by som povedal ze
existuje niekto taky co ma dobru kondicku
cize
Ex O(x) => K(x)

ale v zosite mam

Ex O(x) /\ K(x)

co je existuje niekto a ma dobru kondicku

.. nechapem ..inac je to cele jasne, len toto s implikaciou vs konjukciou ak mam z vety tvorit predikat, je loteria..

ked viem priklady a dajme tomu ze sa naucim teoriu potial, co bolo na zapoctovke, bude to stacit na 21b zo 70?
neviete niekto z predterministov kolkobodove boli ulohy?

s plnym zapoctom by som sa tam ani neukazal, neni sanca

aj relacia aj syntax vyrokovej ?

okej uz trosku vnimam, moze mi niekto zrekapitulovat co ocakavat na skuske (drazenskej) ? viem ze bude teoria + priklady, moze niekto upresnit okruhy alebo tak ?

thx

http://www.youtube.com/watch?v=k9iOxL4C0u8&feature=player_embedded#!

wtf maaaan !

tak aky problem, nechapem

ak narazas na cviko tak mam pocit ze ta funkcia co ti generuje random cisla to uz zabezpecuje, v samotnom radixe to tusim nebolo, ale mozem sa mylit..

AKO POSTUPOVAT?
ked pri RADIXSORT mame napr. 971 , 854, 452 , 7 , 78 , 745 , 321
pred 7 treba dopisat 0-ky teda 007 a  078  ?

teoreticky hej, prakticky nie

[vie niekto previes BNF do EBNF]

...

sak jasne, btw vie niekto previes BNF do EBNF ?
thx

nikto?
lebo dajako na cvikach toto nebola, na prednaske asi tiez nie a nikde to neviem najst

takze to nebude ani na skuske a basta!

sweet dreams are made of this

tak tam je to dodrbane, dam svoje lave vajco ze v kolarovych prednaskach uvidis iba ZLAVA alebo LAVA kde ZLAVA = LAVA, ziadne dolava

Tak problem bude u pana Kollara. Lebo logicky doprava = zlava.

sak jasne, btw vie niekto previes BNF do EBNF ?
thx

[A -> BCa[f](D|zZ)]

A -> BCa[f](D|zZ)

A(SetType K){
 B(HC |a |f |HD |z |K);
 C(a |f |HD |z |K);
    if symbol == a
       getsymbol();
    else
        error(f | HD | z |K )
    if symbol == f
       getsymbol();

  check(HD | z | K)
  switch(sym){
     case HD: D( K);
                break;
     case z: getsymbol();
                Z ( K);
                break;
      default:
               error(K);
  }
}

co vy nato r-man ? ma byt nazaciatku tam to f ? ked je to v [] ?

tak tam je to dodrbane, dam svoje lave vajco ze v kolarovych prednaskach uvidis iba ZLAVA alebo LAVA kde ZLAVA = LAVA, ziadne dolava

a mne zase vaclavik povedal ze dolava = sprava, anyways najdete len ZLAVA alebo LAVA, dolava to len u daktorych cviciacich

http://www.edisk.sk/stahni/41659/FJaP_Test.pdf_64.04KB.html

pod na fb..