Matematická logika

[Sooloni]

je tu nekto co nema este vysledky na IS?

[kOsTi]

ak nemas vysledok v IS tak asi si neurobil... (ale nemam to overene, len podla mna)

[sri]

je tu nekto co nema este vysledky na IS?

Ja som neurobil na prvykrat a mal som tam napisany vysledok ...
Takze ak si robil prvykrat a este nemas vyskledok, tak Ti asi este neopravil.
Ak si robil druhykrat, tak Ti bud neopravil alebo si nespravil

[Sooloni]

no myslim ze to by bol trochu blud kedze..tam mam stale pocet bodov zo zapichu..

[kOsTi]

tak bud si neziskal nic abo este neopravil

[Sooloni]

ok uz

[Alex]

tak ja tam uz mam vysledok ... huraaaaa, konecne prazdninyyyyyyyyyy

[johnyo13]

este jedna tradicna otazka po skuske: Kedy je zapis?? sa mi vidi, ze tam boli dva terminy, ale akosi som nezachytil, ktory je ten pravy

[kOsTi]

1-4 13⁰⁰
5-?? 13³⁰

[TradeMark]

Zdravim. Akurat ratam priklady na unifikaciu a kedze som tam v teorii este nedosiel tak sa opytam..

vyjde mi napriklad take daco:

x=x V x=x V x=x (28.a v zbierke)

a teraz co z toho je

1. faktor?
2. optimalny unifikator?
3. odvodena rezolventa?

Vdaka

[kOsTi]

faktor x=x

opt. unif sa z toho povedat neda ... (to je ta posledna substitucia ktoru tam zavedies... to na lavej strane)

rezolventa je aplikovany opt. unifikator na dane axiomy ktore tam budes mat zadane

[TradeMark]

faktor x=x

opt. unif sa z toho povedat neda ... (to je ta posledna substitucia ktoru tam zavedies... to na lavej strane)

rezolventa je aplikovany opt. unifikator na dane axiomy ktore tam budes mat zadane

ok cize ak som za cely priklad urobil 2 substitucie - y/x a potom v/x tak opt. unifikator bude alfa2 {y/x, v/x}?
a ked zadanie bolo y=v V x=y V x=x tak rezolventa bude co?

[kOsTi]

j unifikator je ok...

...a mas v zadani napisane nieco o rezolvente? na pisomke boli samostatne zadane formuly z ktorych trebalo urobit rezolventu

[TradeMark]

j unifikator je ok...

...a mas v zadani napisane nieco o rezolvente? na pisomke boli samostatne zadane formuly z ktorych trebalo urobit rezolventu

chapem sorry... neprecital som zadanie 

[djlamka]

bol tam sam na opravnom termine abo tam bola aj teta drazena s nim???

[Pribina]

Bol nejaky opravak? ja o nicom neviem...9.6. bol riadny a teraz v pondelok ma byt dalsi riadny...teda pre niekoho opravny

[TradeMark]

Bol nejaky opravak? ja o nicom neviem...9.6. bol riadny a teraz v pondelok ma byt dalsi riadny...teda pre niekoho opravny

Ee skor to tu dakto doplietol... nie su vypisane opravne terminy... len pre niekoho to opravak uz moze byt taze pravdu vravis 

[pepco]

bol niekto na skuske pondelok, bez toho aby si nahlasil do IS nanu?  zoberie ma? lebo som sa nejako pozabudol a cez vikend je uz neskoro...

[plexisklo]

Skrivanek ti to myslim v pohode povoli

[Hero]

Nema nahodou niekto naskenovanych zopar prikladov takeho typu ako treba na skusku, lebo na cvikach sme to akosi neratali vsetko co tam je treba. Ak ano tak to niekde uploadnite. dik

[Pribina]

Tie zoskenovane priklady su niekde tu v tomto threade...aj v minulorocnom druhackom by niekde mali byt

[kOsTi]

skopirovane z archivu:
=============================
Priklad1 http://sms.tym.sk/priklad1.jpg
Priklad2 http://sms.tym.sk/priklad2.jpg
=============================
je to dobre?? bo ja cumim do tych prikladov, no a v zosite tomu ako tak rozumiem, aj v skriptach celkom, ale v tychto prikladov je par veci ktore mi vobec nic nehovoria!!

[Padres]

a su dobre riesene? Lebo za prvy dostal 2 body jak pozeram a nejako to je skrtane tam... 

[johnyo13]

1. priklad - malo by to byt dobre, ta dvojka neznamena dva body, to si nevsimaj, a to zelene podciarkovanie oznacuje vysledky...
2. priklad - ten je urcite v poriadku...

[BossZ]

a su dobre riesene? Lebo za prvy dostal 2 body jak pozeram a nejako to je skrtane tam... 

aj 1. aj 2. priklad je OK,