TUKE FÓRUM - Fórum pre študentov Technickej Univerzity v Košiciach

FEI archív 2009/2010 => 2. ro?ník => Topic started by: mattoxx on 09.01.2010, 22:11:00

Title: Matematicka Logika-SKUSKA
Post by: mattoxx on 09.01.2010, 22:11:00

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

Title: Re: Matematicka Logika-SKUSKA
Post by: ENCY on 10.01.2010, 19:59:47

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

Title: Re: Matematicka Logika-SKUSKA
Post by: ujo.tomiq on 18.01.2010, 21:58:09

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

Title: Re: Matematicka Logika-SKUSKA
Post by: Dragoon17 on 18.01.2010, 22:29:44

E skupinu mali vsetci... bv

Title: Re: Matematicka Logika-SKUSKA
Post by: 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

Title: Re: Matematicka Logika-SKUSKA
Post by: blackflash on 19.01.2010, 01:01:18

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 ?

Title: Re: Matematicka Logika-SKUSKA
Post by: ujo.tomiq on 19.01.2010, 01:56:56

hej od myskovej :P

Title: Re: Matematicka Logika-SKUSKA
Post by: Vejjita on 21.01.2010, 04:17:48

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

Title: Re: Matematicka Logika-SKUSKA
Post by: elvis on 21.01.2010, 16:57:59

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

Title: Re: Matematicka Logika-SKUSKA
Post by: Vejjita on 21.01.2010, 18:53:59

dakujem ! :)

Title: Re: Matematicka Logika-SKUSKA
Post by: tidi on 27.01.2010, 04:26:55

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?

Title: Re: Matematicka Logika-SKUSKA
Post by: tidi on 27.01.2010, 04:47:15

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

Title: Re: Matematicka Logika-SKUSKA
Post by: tidi on 27.01.2010, 16:05:53

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

Title: Re: Matematicka Logika-SKUSKA
Post by: tidi on 01.02.2010, 03:43:42

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.