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

FEI archív 2006/2007 => 2. ročník => Topic started by: psicho on 19.03.2007, 17:27:51

Title: meta(Matematicka Logika)
Post by: psicho on 19.03.2007, 17:27:51
Prosím Vás všetkých

Nemáte náhodou dajakú zbierku na Matematickú Logiku ??

Ak by ste poskytli nejaký link alebo miesto kde sa dá zohnať by som sa veľmi veľmi poďakoval ....
Title: Re: meta(Matematicka Logika)
Post by: checky on 19.03.2007, 22:16:36
1.-4. cvicenie
http://www.tuke.sk/berezny/Studenti/ZbierkaML-02.pdf
5.-6. cvicenie
http://www.tuke.sk/berezny/Studenti/ZbierkaML-03.pdf
Title: Re: meta(Matematicka Logika)
Post by: Ing. nemtom on 20.03.2007, 00:44:57
hm, v tom druhom su nejakym metasposobom napisane tie metapriklady lebo ich neviem metacitat, ale neva, big metathx to checky
Title: Re: meta(Matematicka Logika)
Post by: psicho on 20.03.2007, 00:48:18
thanx ,ale ta zbierka od berezneho nestoji zavela lebo tam okrem par svetlych vynimiek nesu uvedene spravne odpovede a zbierka bez spravnych odpovedi neje velmi ono
Title: Re: meta(Matematicka Logika)
Post by: psicho on 20.03.2007, 20:22:02
LOOOOL

Berezny by mohol uz dat dokopi tu zbierku , toje snad taky problem abo co do pice
Title: Re: meta(Matematicka Logika)
Post by: fanfo on 21.03.2007, 15:59:11
potom ked ta zbierka bude hotova a niekto to zistii skor ako ja tak nech to tu postne, pripadne aj da link
Title: Re: meta(Matematicka Logika)
Post by: wlade on 27.03.2007, 05:33:55
Quote from: eminkaa on  27.03.2007, 03:27:00
:emot-rolleyes: ehm.. no a celkom by bolo prijemne, keby tu niekto napisal, co mal dnes na pisomke  :emot-drunk:

Pridavam sa k prosbe :)
Title: Re: meta(Matematicka Logika)
Post by: Viper_No1 on 27.03.2007, 05:54:54
Zdravim...
No ja mam s Bereznym a mal som Karnafovu mapu (5 premennych), syntakticky strom a rezolventy (t.j. skupina A).
Asi tu najlepsiu som vymakol.  :emot-dance:  Odporucam vediet aj co znamena kontradikcia, tautologia a konzistentnost...  :lookaround:
Title: Re: meta(Matematicka Logika)
Post by: fanfo on 27.03.2007, 16:31:09
ja mam so skrivanekom, bol som D skup:

1. mal som z danej formuly lubovlnym sposobom rozhodnut ci je kontradikcia
2. z 3 viet urcit ci to je zakon dunsa scota
3. daco urcit metodou rezolucie

C skup (neviem presne):

1. ci dana dvojica spojok je postacujuca (negacia,alebo)
2. karnafova mapa 5 premennych
3. neviem - nech tu napise ten kto mal C skup

nech sa vam paci
Title: Re: meta(Matematicka Logika)
Post by: micRo on 27.03.2007, 18:33:20
3) 3 vety a urcit ci je konzistentna :)
Title: Re: meta(Matematicka Logika)
Post by: psicho on 27.03.2007, 19:50:39
thanx ludia za prispevky panboh vam zaplati
Title: Re: meta(Matematicka Logika)
Post by: Ev0 on 28.03.2007, 16:43:04
kurna kurna to bude tazke ... zatial som bol na 2och cvikach od zaciatku :D:D:D
Title: Re: meta(Matematicka Logika)
Post by: DeeL on 29.03.2007, 04:39:55
diki eminkaa... ja som celkom zabudol na forum v posledne jeden - dva dni ... ale mohla si aspon dat vediet, ze to dalej uverejnujes :-P ... no co uz... ach jaaaj ... ;)

len aby som dodal k presnosti, tak to co som ja napisal tak som bol skupina A pri Skrivankovi a ako pozeram co napisal Viper_No1 tak sa to celkom zhoduje asi s tym co mali pri Bereznym