Matematická Logika

[xxx3]

to tam budu len tie pravdivostne tabulky (zistit ci je tautologia, kontradikcia, splnitelna), minimalizacia funkcie, rezolucna metoda a ta substitucia ?

[veteran]

to tam budu len tie pravdivostne tabulky (zistit ci je tautologia, kontradikcia, splnitelna), minimalizacia funkcie, rezolucna metoda a ta substitucia ?

Vyzerá to tak, že "len" toto. 

[xxx3]

ved to sa ani ucit netreba .. to je lahke, ved to je takmer len to, co bolo aj na tych malych pisomkach

[veteran]

ved to sa ani ucit netreba .. to je lahke, ved to je takmer len to, co bolo aj na tych malych pisomkach

Ono to nie je ani tak o učení, ako o pozornosti. Treba dávať veľký pozor pri nulách a jednotkách a máš to v suchu

[xxx3]

no hej, len sa nepomylit ... inak to neni tazke ...
nehovorila kolko prikladov bude ?

[Rajo]

no hej, len sa nepomylit ... inak to neni tazke ...
nehovorila kolko prikladov bude ?

4-5

[xxx3]

otazka na starsich: dava Myskova len priklady, ktore sa prepocitali na cviceniach ? Len kus obmenene samozrejme ... niekde som pocul, zevraj hej, neviem ci je to pravda

[stephanides]

Niekto šikovný čo by napísal z knihy obsah čo sa vlastne treba učiť ?.. 2,1 2,2 napr a tak ..

[veteran]

Niekto šikovný čo by napísal z knihy obsah čo sa vlastne treba učiť ?.. 2,1 2,2 napr a tak ..

1.1 (síce tú možno ani nie je treba), 2.1, 2.2, 2.3, 2.4, 2.6, 3.1

[stephanides]

to fakt len to ? maš s Myškovou ?

[Jason Bourne]

Minuly rok u Drazenskej ako aj myslim u Myskovej boli priklady:
1) pravdivostna tabulka a zistit, ci je M sematickym dosledkom (alebo ci je sematicky ekvivalentna??? neviem ale to v podstate to iste) s S napriklad
2) Minimalny konjunkt. alebo disjunktivny a zadanie bolo v tvare 0011,1100 atd.
3) rezolucna metoda vo vyrokovej logike
4) formula a oznacit vyskyty premmenych  (ci je volna, viazana) ci je formula otvorena alebo uzavreta a substituovatelnostou si niesom isty ci bola ale tak to je tiez primitivne.
5) rezolucna metoda predikatovej logiky - no tento rok aspon u Myskovej nebude, kedze sa to nestihlo cele prebrat...

http://imageshack.us/photo/my-images/696/87926069.png
http://img593.imageshack.us/img593/2193/64551762.png
http://imageshack.us/photo/my-images/526/21262960.png/
http://img508.imageshack.us/img508/7208/30112010184.jpg

[Wolfdale]

diky 

[selli1235]

A nevie niekto ci treba nejaky specialny dvojharok pri Drazenskej??? S nejakou prednou stranou alebo tak nejak..

[BuliWyf]

A nevie niekto ci treba nejaky specialny dvojharok pri Drazenskej??? S nejakou prednou stranou alebo tak nejak..

http://web.tuke.sk/fei-km/vzory/FEI-Hlavicka-Zapocet-ML-(A4).pdf

[kepasa]

http://imageshack.us/photo/my-images/696/87926069.png

druhy priklad nie je zle? ved podla UNKT priradujem do tabulky 0 a nie 1

[Wolfdale]

jj, tiez tak viem

[stephanides]

tiež som tam videl chybu

[Rajo]

niekto šikovný kto by vypočítal tretí príklad s tou rezolučnou metódou? mne vyšlo, že je nesplnitelná, na konci mi vyšlo F...a do tabulky som po úprave implikácií a ekvivalencií zapísal 10 formul...

[Tren]

toto je aky test, zapocet od myskovej minuly rok? 

[Wolfdale]

Rajo vyslo ti to spravne, aj mne vyslo F, ale mal som iba 9 formul...

[xxx3]

Axiomy vyrokovej logiky budu ? Modus ponens, zakon Dunsa Scotta a tie vety o tranzitivnosti a pod. ?

+ x v y => t   .. to je (x v y) => t alebo x v (y => t)  ??   

[Tren]

niekto šikovný kto by vypočítal tretí príklad s tou rezolučnou metódou? mne vyšlo, že je nesplnitelná, na konci mi vyšlo F...a do tabulky som po úprave implikácií a ekvivalencií zapísal 10 formul...

aj mne vyslo F ( mam len 9 formul )

[Wolfdale]

Axiomy vyrokovej logiky budu ? Modus ponens, zakon Dunsa Scotta a tie vety o tranzitivnosti a pod. ?

+ x v y => t   .. to je (x v y) => t alebo x v (y => t)  ??

ak dobre viem nie

[xxx3]

x v y => t   .. to je (x v y) => t alebo x v (y => t)  ??

[Tren]

x v y => t   .. to je (x v y) => t alebo x v (y => t)  ??

(x v y) => t