Messages

Ahojte

kamoska ma poprosila, aby som sa popytal ludi, ci by nemal niekto zaujem o jazykovy pobyt v zahranici...
viac informacii a podrobnosti na [email protected] alebo ICQ - 299913658

 

pochvalte sa 

My sme to mali tak, ze mali sme do dokumentacie dat zdrojaky vsetkych stranok co mame(aj kaskadovy styl) + screenshoty.

aha

tiez mi tak vyslo + doplnim to druhe..ja som mal 4 formuly pre MDT

ako vam vysla skupina B (Myskova)?

mne to vyslo takto za 5 min:

- 7 formul
- poradie ako som bral premenne: s, t, p, q, r
- na r-ko mi vyslo 0

áno 

                            b f          b  f                                   b         f   b    b
((pre vsetky x) Q(x,y) v P(f(x,y))) <=> (existuje y)(P(y) v Q(x,f(y,g(y))))

tak je? 

yep

[f f b f b b]

netrvrdim to na 100% ale ja som to zrobil takto:

     f           f                               b     f                           b    b
W(x) ^ W(y) => (pre vsetky x)(x |> y => (existuje y)(y |>x))

a substituovat mozes len volne vyskyty...
takze po:
a) f(x,y) za y:
                   f  f                                         b f
W(x) ^ W(f(x,y)) => (pre vsetky x)(x |> f(x,y) => (existuje y)(y |>x))
nie je substituovatelny

b) f(x,y) za x:
       f  f
W(f(x,y)) ^ W(y) => (pre vsetky x)(x |> y => (existuje y)(y |>x))
je substituovatelny

Jj, Tren to opravil spravne

Axiomy vyrokovej logiky budu ? Modus ponens, zakon Dunsa Scotta a tie vety o tranzitivnosti a pod. ?

+ x v y => t   .. to je (x v y) => t alebo x v (y => t)  ??

ak dobre viem nie

Rajo vyslo ti to spravne, aj mne vyslo F, ale mal som iba 9 formul...

jj, tiez tak viem

diky 

nemáme volno

noze sa pochval, kolko si uz zarobil?

ano bude len z rezolucnej metody

stiahni si program DisAssembler (tusim je na Halupkovej stranke)...program bude pytat .bin subor, davaj ale pozor, aby ten subor .bin bol v rovnakom adresari ako je ten DisAssembler. Ono ti to potom vyhodi v txt...

ja zatial nemam nic...s kym mas cviko?

povedz zadanie a spravime 

pracu s listom...

vytvorit dva zoznami a z jedneho prekopirovat kazdy treti prvok do druheho...ten ptm nasledne vypisat.

ja som pocula o tyzden^^.. pred tyzdnom.. nic no

zle si pocula napriek tomu ze si sedela uplne vpredu   

nam vravel, ze odpadne...