Nevie niekto ake boli otazky na predtermine,pripadne riadnom??Otazky z teorie ma niekto vypracovane?
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
Prosim vas kto bol na skuske 13.1. ..Ake boli skupiny? A,B alebo C,D ..alebo ake?
E skupinu mali vsetci... bv
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/ (http://hron.fei.tuke.sk/~kozel/mat_logika/)
PS: ak by sa ich chcelo niekomu vypracovat..tak potom to dajte na net ;) dik
Quote from: ujo.tomiq on 18.01.2010, 23:15:09
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/ (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 ?
hej od myskovej :P
neviete niekto ako s vysledkami od Drazeckej z dnes z rana ? lebo nespominala ziadne vyhodnotenie ani na maise nic........
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
dakujem ! :)
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?
to druhe som pochopil ale v prvom neviem kde postupovat.. znamena to previest formulu na klauzularny tvar?
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
Nieje tu neaky kosican co by mi vedel poziciat zosit z prednasok na zopar dni?
Napis na
[email protected]Neak by som sa v tom snehu dosankoval ponho.