Messages

pomalsie s tym 'kazda s kazdou' :-D

ja mam dojem, ze tie 1/0 su ako pohlavia. Sice kazdy s kazdym, ale ziadne gay pary.

presne tak..

v zbierke je taky jeden priklad kde to je popisane:


2.12 V jazyku s P = {P, Q, =}, F = {f, g} a K = {a, b}, pričom Q, f
sú binárne a P, g unárne pre nasledujúce slová určte, či sa jedná o term,
alebo formulu predikátovej logiky, alebo to nie je ani term ani formula:

a) f (x, g(a)) · g(f (g(y), a))
b) f (a, x) · y = Q(z, b)
c) (∃x)Q(x, a) ⇒ y = z · a
d) (∀x)(x ∧ y ∨ z)
e) f (b, x) · g(f (a, y))
f) (∃y)[Q(a, P (y)) ∨ ¬(x = y)
g) g(a) · f (y, b) = z
h) f (g(x), f (y, a), y))

riesenie:
a) term; lebo mas tam len tie funkcne symboly , plus sedi arita
b) nie je term ani formula; lebo rovna sa je predikatovy symbol a aj Q je predikatovy symbol a nemoze byt v pred. symbole pred. symbol.
c) formula; lebo je tam pred. symbol a v nom su termy
d) nie je term ani formula;
e) term;
f) nie je term ani formula; lebo v Qcku je Pecko
g) formula; lebo je tam pred. symbol rovna sa
h) nie je term ani formula. ; lebo nesedi arita efka

to by tam musela byt na riadku b nejaka negacia a, cize by pod tym bolo nula, a mohol by som skombinovat 0 (neg. a) a 1 (a)

   {a V b; -b V c}
b      1        0     a V c          //"kombinujem" nulu s jednotkou, ostava a V c
a      x        x         1           //davam xka aby som sa neplietol ci tam mozem dat daco //pod ceckom neni neg. takze napisem 1
c      x        x         x        

nevyslo F => je splnitelna

A<=>B  je semanticky ekvivalentne s (A=>B) ∧ (B=>A)

F je prazdna rezolventa (klauzula)

Kontradikcia je opak tautologie, cize ked je formula nepravdiva pri kazdom ohodnoteni...ako to suvisi s F ?

Vedel by mi niekto vysvetlit kedy je mnozina formul pri rezolucnej metode splnitelna a kedy nie?
A takisto co je to term a co  formula? diky ak mate nejake otazky k niecomu inemu co viem mozem tiez pomoct.

Ak ti vyjde F tak je mnozina dokazatelna, inak je splnitelna (cize ak ti NEVYSLO F)... ja sa riadim podla toho

Pokial som dobre pocul na cviku, tak ani to ...
A ani v zbierke to nie je, hmm

vravela ze moze byt vsetko okrem tych dokazov (MP, VL1, VL2,...)  vo VL a PL a okrem binarnych relacii

Ako sa ma to zotavovanie spravat? Ak tam napr.  buchnem vyraz (as. / je zlava, priorita nizsia ako * sprava )  100 / 50 // 20 //2 alebo *100*10/10 co to ma zahlasit ?? Vdaka

Inak v tom tretom zadani, ked mam napr. prvy riadok gramatiky Expr -> Mul {"/" Mul}
tak vo funkcii int expr, co budem davat ako parameter k Mul? Viem, ze dajaka mnozina aktualnych klucov a to je tak vsetko...

Code [Select] Expand

int expr(SetType K)
{
    int leftOp, rightOp;
    SymType sy;
   
leftOp = Mul(E VALUE| E K); //Take nieco???

//tu asi bude check("xxx", E K);
while ((E symbol) & (E SDIV))
{.... bla bla

Nema niekto zbierku z ML ? Nechce sa mi pisat Myskovej 

(5/6)*8

Potom ta asociativita je naco dobra ??

Napr. ak by bolo 100/10/2*8 tak (100/(10/2))*8

ak som sa nepomylil tak asi tak:

{[((1*(3/4))*5)*(6/7)]*(8/9)}*10

[priorita 1 je vyssia ako priorita 2]

Asi sa tu uz niekto pytal, ale priorita 1 je vyssia ako priorita 2 ci naopak?

abbbbbbbbbbbb
babab
babbbbbbbbbbbbbbbbbbbbbbbbb
...
...

ne

napr. http://www.tu-ke.com/forum/1-rocnik-49/zei-1-rocnik-otazka-p/msg165910/#msg165910

citro: super diky 

Simonak tomu rozumie, to staci 

1. Nie, nie
2. Nie (Ak prve je Ano aj tak Nie)
3. Nie

Da sa to napr. v Pidgin-e cez polozku v Nastrojoch - "Sledovanie priateľov" a urcite aj v mirande (ktoru, ale uz 2 roky nepouzivam ,takze presnejsie kde to nastavit neporadim)

Veru to bola pecka... stale som to chcel hrat, ale nebolo s kym 

Alebo, ktory predmet ma lepsich prednasajucich a cviciacich ? 

je to dobre, tak nam to pisal olcak