Author Topic: Matematicka Logika-SKUSKA  (Read 5976 times)

mattoxx

  • Jr. Member
  • **
  • Posts: 68
    • View Profile
Matematicka Logika-SKUSKA
« on: 09.01.2010, 22:11:00 »
Nevie niekto ake boli otazky na predtermine,pripadne riadnom??Otazky z teorie ma niekto vypracovane?

ENCY

  • Newbie
  • *
  • Posts: 3
    • View Profile
Re: Matematicka Logika-SKUSKA
« Reply #1 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

ujo.tomiq

  • Newbie
  • *
  • Posts: 27
    • View Profile
Re: Matematicka Logika-SKUSKA
« Reply #2 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?

Dragoon17

  • Hero Member
  • *****
  • Posts: 526
    • View Profile
Re: Matematicka Logika-SKUSKA
« Reply #3 on: 18.01.2010, 22:29:44 »
E skupinu mali vsetci... bv

ujo.tomiq

  • Newbie
  • *
  • Posts: 27
    • View Profile
Re: Matematicka Logika-SKUSKA
« Reply #4 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/


PS: ak by sa ich chcelo niekomu vypracovat..tak potom to dajte na net ;) dik

blackflash

  • Newbie
  • *
  • Posts: 36
    • View Profile
Re: Matematicka Logika-SKUSKA
« Reply #5 on: 19.01.2010, 01:01:18 »
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/


PS: ak by sa ich chcelo niekomu vypracovat..tak potom to dajte na net ;) dik

to je od myskovej tiez ?

ujo.tomiq

  • Newbie
  • *
  • Posts: 27
    • View Profile
Re: Matematicka Logika-SKUSKA
« Reply #6 on: 19.01.2010, 01:56:56 »
hej od myskovej :P

Vejjita

  • Newbie
  • *
  • Posts: 41
    • View Profile
Re: Matematicka Logika-SKUSKA
« Reply #7 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........

elvis

  • Newbie
  • *
  • Posts: 14
    • View Profile
Re: Matematicka Logika-SKUSKA
« Reply #8 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

Vejjita

  • Newbie
  • *
  • Posts: 41
    • View Profile
Re: Matematicka Logika-SKUSKA
« Reply #9 on: 21.01.2010, 18:53:59 »
dakujem ! :)

tidi

  • Newbie
  • *
  • Posts: 11
    • View Profile
Re: Matematicka Logika-SKUSKA
« Reply #10 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?

tidi

  • Newbie
  • *
  • Posts: 11
    • View Profile
Re: Matematicka Logika-SKUSKA
« Reply #11 on: 27.01.2010, 04:47:15 »
to druhe som pochopil ale v prvom neviem kde postupovat.. znamena to previest formulu na klauzularny tvar?

tidi

  • Newbie
  • *
  • Posts: 11
    • View Profile
Re: Matematicka Logika-SKUSKA
« Reply #12 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

tidi

  • Newbie
  • *
  • Posts: 11
    • View Profile
Re: Matematicka Logika-SKUSKA
« Reply #13 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.

« Last Edit: 01.02.2010, 03:46:46 by tidi »