Matematická logika

[puq]

no mne sa zda ze do konca tyzdna

[buhehe]

jj do piatku

[Pribina]

Ti co mame s Drazenskou mame posielat projekty jej? ci ako? sa mi zda ze mi hovorila ze jej to mam poslat ale nie som si isty. vie o tom niekto nieco?

[milaninho]

svojmu cviciacemu... myslim ze sa to tu uz spominalo

[valec]

hej hej, jej to mame posielat.  este povedal, ze to mame poslat trochu skor, aby si to stihla vytlacit,ale nespecifikovala blizsie "trochu skor"    bn

[Stalker]

Takze dnes do 00:00 treba poslat?

[sri]

Ta co ja viem, tak az zajtra do 00:00, ale radsej poslem asi dnes

[valec]

nie nie, zajtra do 12.00 a kto ma pri drazenskej, tak trochu skor....

[puq]

12.00 alebo 24.00?

[valec]

do piatku do obeda, 12.00 stredoeoropskeho casu 

[sri]

To odkial si zas nabral? Mne sa zda, ze vravel do polnoci

[mafo]

vravel do polnoci

a taky detail.. je niekde nejaky priklad? rozsah, popis atd? ja sa citim ako lama.. neviem co ako to ma vyzerat.. mozno to spominal na tej prednaske na ktorej som nebol

[Dragon]

vravel do polnoci

a taky detail.. je niekde nejaky priklad? rozsah, popis atd? ja sa citim ako lama.. neviem co ako to ma vyzerat.. mozno to spominal na tej prednaske na ktorej som nebol

nam Drazenska povedala ze jej to mame poslat do piatku do 12:00 , skrivanek na prednaske hovoril ze do 9.maja do polnoci...

rozsah - jedna strana A4 - Drazenska nam ukazala priklad na cviku ako to ma vyzerat na 10b a mala tam 3 axiomy a 4 unarne predikaty ale + chce tam aj binarny predikat

[Alex]

... no mohli by ste ofotit ten priklad ktory vam ukazovala a hodit to sem ? pripadne ak to uz ma niekto hotove a rad by zverejnil svoje riesenie? Dikez

[Dragon]

ak sledujes instrukcie lekara, mas nadej na vyliecenie.
ak dodrzujes spravnu zivotospravu, neochories.
ak si zdravy, mas vyssi pracovny vykon.

I - sledovat inst. lekara
Z - byt zdravy
D - dodrziavat zivotospravu
V - mat vyssi prac. vykon

I,Z,D,V - unarne predikaty

A1: I(x) => Z(x)
A2: D(x) => Z(x)
A3: Z(x) => V(x)

[TradeMark]

staci to skrivankovi poslat na maila? mam 4 unarne, 1 binarny predikat + 1 binarnu funkciu a 4 axiomy - je to dost?

[Padres]

btw opravne u Drazenskej hovorila ze nebudu tento tyzden ci sa mylim?

[Korgen]

obdobne by ma zaujimalo ako je to u Skrivanka, sa mi zda ze na konci cvika vravel ze opravne pisomky budu az niekedy v prvy tyzden skuskoveho.. spravne? (nebudu tento 13.sty tyzden nie?) 

[BossZ]

jj, budu v 14 tyzdni. Mozes si vbrat ze ktoru chces napisat znovu (iba jednu), a body ti budu platit z tej opravnej pisomky.

obdobne by ma zaujimalo ako je to u Skrivanka, sa mi zda ze na konci cvika vravel ze opravne pisomky budu az niekedy v prvy tyzden skuskoveho.. spravne? (nebudu tento 13.sty tyzden nie?) 

[puq]

no ja zas dufam ze este hodi nejaky termin na skusku skor ako 30.maja, lebo rad by som zakoncil semester uz 28.maja OPckom...

[johnyo13]

terminy na ML su uz na IS student!

[pepco]

jasne, sak na prednaske povedal ze kto ma nejake navrhy na termin nech mu napise mail

on dal tie terminy iba preto tak aby sme nemali v jednom tyzdni s inym predmetom, a ked mame lepsi navrh nech napiseme mail

[johnyo13]

nechce sa mi teraz otvarat is-ko, ale sa mi vidi ze aj 30.maja je termin!

[BossZ]

ano je,

nechce sa mi teraz otvarat is-ko, ale sa mi vidi ze aj 30.maja je termin!

[murphyy]

mate uz niekto v is-ku zapocet z logikY?