Matematicka Logika-SKUSKA

[mattoxx]

Nevie niekto ake boli otazky na predtermine,pripadne riadnom??Otazky z teorie ma niekto vypracovane?

[ENCY]

napamatam vsetko, ale aspon nieco
priklady:
- karnaughova mapa
- rezolucna metoda
- skolemovsky variant
- predikatovy jazyk prepisat do "ludskej reci"
...
teoria:
- daco o dokazani, ze T|= alfa a aj uviest na priklade
- tranzitivnost len uz neviem ci vo vyrokovej alebo predikatovej
- jazyk vyrokovej logiky
...

este nieco bolo, ale nebolo to tazke takze pohoda .... viac menej to co na zapocte

btw: ja som mal s Myskovou

[ujo.tomiq]

Prosim vas kto bol na skuske 13.1. ..Ake boli skupiny? A,B alebo C,D ..alebo ake?

[Dragoon17]

E skupinu mali vsetci...

[ujo.tomiq]

Tu su odfotene skupiny z 5.1. ..trosku zla kvalitka..lebo tazko sa fotilo, aby ma nepristihla pri tom.. ))

http://hron.fei.tuke.sk/~kozel/mat_logika/


PS: ak by sa ich chcelo niekomu vypracovat..tak potom to dajte na net dik

[blackflash]

Tu su odfotene skupiny z 5.1. ..trosku zla kvalitka..lebo tazko sa fotilo, aby ma nepristihla pri tom.. ))

http://hron.fei.tuke.sk/~kozel/mat_logika/


PS: ak by sa ich chcelo niekomu vypracovat..tak potom to dajte na net dik

to je od myskovej tiez ?

[ujo.tomiq]

hej od myskovej

[Vejjita]

neviete niekto ako s vysledkami od Drazeckej z dnes z rana ? lebo nespominala ziadne vyhodnotenie ani na maise nic........

[elvis]

vravela ze vysledky budu do piatku na maise. kto si chce aj pozriet pisomku tak v pondelok od 9:00 do tusim 11:00 u nej

[Vejjita]

dakujem !

[tidi]

Co znamena, ze najdite skolemovsky variant k uzaveru formuly? Na ktorom cviku sa toto robilo?
A taktiez: V jazyku pribuzenstva s univerzom pozostavajucim z matky, syna a dcery rozhodnite ci je splnena formula. O co tam ide?

[tidi]

to druhe som pochopil ale v prvom neviem kde postupovat.. znamena to previest formulu na klauzularny tvar?

[tidi]

Dneska bolo B.

Priklade podobne, ako v C a D

Teoria:
Definujte vyrokovu formulu
Definujte uzavretu, otvorenu formulu a volnu a viazanu premennu vo vyrokovej logike
Dokaz a bezprostredny dosledok.
Pravidlo rezolucie a tusim rezolucna princip
Este neake dve ale uz nepametam

[tidi]

Nieje tu neaky kosican co by mi vedel poziciat zosit z prednasok na zopar dni?

Napis na tomcraftdj@hotmail.com

Neak by som sa v tom snehu dosankoval ponho.