meta(Matematicka Logika)

[psicho]

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 ....

[checky]

1.-4. cvicenie
http://www.tuke.sk/berezny/Studenti/ZbierkaML-02.pdf
5.-6. cvicenie
http://www.tuke.sk/berezny/Studenti/ZbierkaML-03.pdf

[Ing. nemtom]

hm, v tom druhom su nejakym metasposobom napisane tie metapriklady lebo ich neviem metacitat, ale neva, big metathx to checky

[psicho]

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

[psicho]

LOOOOL

Berezny by mohol uz dat dokopi tu zbierku , toje snad taky problem abo co do pice

[fanfo]

potom ked ta zbierka bude hotova a niekto to zistii skor ako ja tak nech to tu postne, pripadne aj da link

[wlade]

ehm.. no a celkom by bolo prijemne, keby tu niekto napisal, co mal dnes na pisomke 

Pridavam sa k prosbe

[Viper_No1]

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.    Odporucam vediet aj co znamena kontradikcia, tautologia a konzistentnost... 

[fanfo]

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

[micRo]

3) 3 vety a urcit ci je konzistentna

[psicho]

thanx ludia za prispevky panboh vam zaplati

[Ev0]

kurna kurna to bude tazke ... zatial som bol na 2och cvikach od zaciatku :D:D

[DeeL]

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