Author Topic: Matematicka logika  (Read 77568 times)

smelyzajo

  • Full Member
  • ***
  • Posts: 243
    • View Profile
Re: Matematicka logika
« Reply #25 on: 16.11.2010, 20:03:31 »
 :baaa: nevie nahodou nikto ake boli priklady na zapocte minuly rok??????  :beer1:

Safyia

  • Hero Member
  • *****
  • Posts: 1328
    • View Profile
Re: Matematicka logika
« Reply #26 on: 16.11.2010, 20:04:56 »
karnaughove mapy ci jak sa to pise budu na milionsestotisic percent :D

Shwollo

  • Sr. Member
  • ****
  • Posts: 436
    • View Profile
Re: Matematicka logika
« Reply #27 on: 16.11.2010, 21:04:40 »
neveite niekto, či bude u Draženskej aj sémantika predikátovej logiky?
nepíšte mi SS - radšej mi píšte mail. (tá obálka pod mojim avatarom :)))

ursus

  • Hero Member
  • *****
  • Posts: 595
    • View Profile
Re: Matematicka logika
« Reply #28 on: 17.11.2010, 01:12:23 »
vravela ze moze byt vsetko okrem tych dokazov (MP, VL1, VL2,...)  vo VL a PL a okrem binarnych relacii

aj u drazenskej? neviete niekto?
So this router walks into the doctor’s office…
- Doctor, it hurts when IP.

black_stone

  • Jr. Member
  • **
  • Posts: 77
    • View Profile
Re: Matematicka logika
« Reply #29 on: 17.11.2010, 01:26:58 »
drazenska nevravela nic konkretne. ale tak v zosite toho nemame vela. staci prejst vsetko co bolo na cviku a nemal by byt problem. tie binarne relacie podla mna nebudu.

ursus

  • Hero Member
  • *****
  • Posts: 595
    • View Profile
Re: Matematicka logika
« Reply #30 on: 17.11.2010, 02:38:04 »
k tej rezolucnej metode by mi nevedel niekto plz nieco povedat?  :laugh: , hlavne ten koniec, a zaver z toho vyplyvajuci, thx



napr tam, preco ked vyberiem si z-tko, preco nedostanem do rezolventy t V v ale rovno F ??
« Last Edit: 17.11.2010, 03:25:38 by ursus »
So this router walks into the doctor’s office…
- Doctor, it hurts when IP.

sulo

  • Sr. Member
  • ****
  • Posts: 284
    • View Profile
    • Web
Re: Matematicka logika
« Reply #31 on: 17.11.2010, 04:30:28 »
vravela ze moze byt vsetko okrem tych dokazov (MP, VL1, VL2,...)  vo VL a PL a okrem binarnych relacii

Takže tie dôkazy nebudú vôbec? Viem, že nebudeme mať napísať samotný dôkaz, to vravela. Ale napr. určiť, či je formula pod čiarou dôsledkom formúl nad čiarou alebo vypísať použité pravidlá pre existujúci dôkaz, to tam môže byť, či nie?

revelc

  • Sr. Member
  • ****
  • Posts: 275
    • View Profile
Re: Matematicka logika
« Reply #32 on: 17.11.2010, 05:06:25 »
Pokial som dobre pocul na cviku, tak ani to ...
A ani v zbierke to nie je, hmm
« Last Edit: 17.11.2010, 05:10:54 by revelc »
Čo môžeš urobiť dnes odlož na pozajtra a ziskaš deň voľna.

"I'm a man of simple tastes. I enjoy dynamite...and gunpowder...and gasoline! "

luky

  • Sr. Member
  • ****
  • Posts: 400
    • View Profile
Re: Matematicka logika
« Reply #33 on: 17.11.2010, 13:53:01 »
k tej rezolucnej metode by mi nevedel niekto plz nieco povedat?  :laugh: , hlavne ten koniec, a zaver z toho vyplyvajuci, thx



napr tam, preco ked vyberiem si z-tko, preco nedostanem do rezolventy t V v ale rovno F ??

ti dostaneš t v v ale je to tam zbytočné písať keď vidíš že z ďalšej dostaneš prázdnu formulu čiže F  čiže celá množina formúl je nesplniteľná (množina formúl je splniteľná keď neobsahuje prázdnu formulu0

nF

  • Jr. Member
  • **
  • Posts: 64
    • View Profile
Re: Matematicka logika
« Reply #34 on: 17.11.2010, 19:08:58 »
upne niekto tu zbierku?  :angel:

v_oid

  • Hero Member
  • *****
  • Posts: 631
    • View Profile
Re: Matematicka logika
« Reply #35 on: 17.11.2010, 20:59:10 »
Spravne som pochopil ako sa vytvaraju uplne tvary?



 :puf: :puf: :puf:


Alienson

  • Newbie
  • *
  • Posts: 17
  • http://innerresponse.com/
    • View Profile
    • Inner Response
Re: Matematicka logika
« Reply #36 on: 17.11.2010, 21:18:24 »
Spravne som pochopil ako sa vytvaraju uplne tvary?

pochopil si to spravne  ;)

sulo

  • Sr. Member
  • ****
  • Posts: 284
    • View Profile
    • Web
Re: Matematicka logika
« Reply #37 on: 17.11.2010, 21:21:51 »
Áno, ale pri úplných tvaroch musí každá elementárna konjunkcia/disjunkcia obsahovať všetky premenné (až pri minimálnych nie).

ursus

  • Hero Member
  • *****
  • Posts: 595
    • View Profile
Re: Matematicka logika
« Reply #38 on: 17.11.2010, 21:54:35 »
k tej rezolucnej metode by mi nevedel niekto plz nieco povedat?  :laugh: , hlavne ten koniec, a zaver z toho vyplyvajuci, thx



napr tam, preco ked vyberiem si z-tko, preco nedostanem do rezolventy t V v ale rovno F ??

ti dostaneš t v v ale je to tam zbytočné písať keď vidíš že z ďalšej dostaneš prázdnu formulu čiže F  čiže celá množina formúl je nesplniteľná (množina formúl je splniteľná keď neobsahuje prázdnu formulu0

ok diky a tento druhy pripad?

So this router walks into the doctor’s office…
- Doctor, it hurts when IP.

neucilasom

  • Full Member
  • ***
  • Posts: 204
    • View Profile
Re: Matematicka logika
« Reply #39 on: 17.11.2010, 23:09:36 »
Vedel by mi niekto vysvetlit kedy je mnozina formul pri rezolucnej metode splnitelna a kedy nie?
A takisto co je to term a co  formula? diky ak mate nejake otazky k niecomu inemu co viem mozem tiez pomoct.

ursus

  • Hero Member
  • *****
  • Posts: 595
    • View Profile
Re: Matematicka logika
« Reply #40 on: 17.11.2010, 23:22:48 »
tak term je premenna, konstanta, a funkcia aplikovana na tolko termov kolko ma arnost

a formule je predikat aplikovany na term, arnosti tiez musia sediet + logicke spojky este, cize napr formula AND formula = formula

//no a olem, zisti mi tu moju otazku  ;D

So this router walks into the doctor’s office…
- Doctor, it hurts when IP.

neucilasom

  • Full Member
  • ***
  • Posts: 204
    • View Profile
Re: Matematicka logika
« Reply #41 on: 17.11.2010, 23:43:23 »
tak term je premenna, konstanta, a funkcia aplikovana na tolko termov kolko ma arnost

a formule je predikat aplikovany na term, arnosti tiez musia sediet + logicke spojky este, cize napr formula AND formula = formula

//no a olem, zisti mi tu moju otazku  ;D


A niekto kto to vysvetli pomocou  nejakeho prikladu? bola by som vdacna.
P.S.:na konci rezolucnej som mala tiez problemy no teraz zacinam tusit ze si to musis tiez rozpisat pomocou tabulky a potom ked mas aspon jednu 1 tak mas splnitelnu formulu. proste zistujes splnitelnost formule ktora ti vysla.

Shwollo

  • Sr. Member
  • ****
  • Posts: 436
    • View Profile
Re: Matematicka logika
« Reply #42 on: 18.11.2010, 00:19:47 »
nemáte niečo zrozumiteľmé k tým karnaughovým mapám? Bo ma dnes z toho ebne
nepíšte mi SS - radšej mi píšte mail. (tá obálka pod mojim avatarom :)))

ursus

  • Hero Member
  • *****
  • Posts: 595
    • View Profile
Re: Matematicka logika
« Reply #43 on: 18.11.2010, 00:21:57 »
tie su v pohode, to len si musis pozriet ze ten pas kde je x napriklad, tak tam je x jedna, inde je x nula, a tak pre ostatne premenne vies zapisat tu velku tabulku, resp z karnafovej vypisat min knt a dnt

So this router walks into the doctor’s office…
- Doctor, it hurts when IP.

revelc

  • Sr. Member
  • ****
  • Posts: 275
    • View Profile
Re: Matematicka logika
« Reply #44 on: 18.11.2010, 00:29:20 »
Vedel by mi niekto vysvetlit kedy je mnozina formul pri rezolucnej metode splnitelna a kedy nie?
A takisto co je to term a co  formula? diky ak mate nejake otazky k niecomu inemu co viem mozem tiez pomoct.
Ak ti vyjde F tak je mnozina dokazatelna, inak je splnitelna (cize ak ti NEVYSLO F)... ja sa riadim podla toho
Čo môžeš urobiť dnes odlož na pozajtra a ziskaš deň voľna.

"I'm a man of simple tastes. I enjoy dynamite...and gunpowder...and gasoline! "

neucilasom

  • Full Member
  • ***
  • Posts: 204
    • View Profile
Re: Matematicka logika
« Reply #45 on: 18.11.2010, 01:02:05 »
Vedel by mi niekto vysvetlit kedy je mnozina formul pri rezolucnej metode splnitelna a kedy nie?
A takisto co je to term a co  formula? diky ak mate nejake otazky k niecomu inemu co viem mozem tiez pomoct.
Ak ti vyjde F tak je mnozina dokazatelna, inak je splnitelna (cize ak ti NEVYSLO F)... ja sa riadim podla toho
A co je to F kontradikcia?

revelc

  • Sr. Member
  • ****
  • Posts: 275
    • View Profile
Re: Matematicka logika
« Reply #46 on: 18.11.2010, 01:08:10 »
Kontradikcia je opak tautologie, cize ked je formula nepravdiva pri kazdom ohodnoteni...ako to suvisi s F ?
Čo môžeš urobiť dnes odlož na pozajtra a ziskaš deň voľna.

"I'm a man of simple tastes. I enjoy dynamite...and gunpowder...and gasoline! "

neucilasom

  • Full Member
  • ***
  • Posts: 204
    • View Profile
Re: Matematicka logika
« Reply #47 on: 18.11.2010, 01:09:27 »
Vedel by niekto povedat ze ako rozlozime    A<=>B    ??? pomohlo by dikes.

neucilasom

  • Full Member
  • ***
  • Posts: 204
    • View Profile
Re: Matematicka logika
« Reply #48 on: 18.11.2010, 01:10:34 »
Kontradikcia je opak tautologie, cize ked je formula nepravdiva pri kazdom ohodnoteni...ako to suvisi s F ?

Ja som sa len pytal ze co je F  ???
a nevies nahodou ako rozlozime    A<=>B    ???

revelc

  • Sr. Member
  • ****
  • Posts: 275
    • View Profile
Re: Matematicka logika
« Reply #49 on: 18.11.2010, 01:13:03 »
A<=>B  je semanticky ekvivalentne s (A=>B) ∧ (B=>A)

F je prazdna rezolventa (klauzula)
Čo môžeš urobiť dnes odlož na pozajtra a ziskaš deň voľna.

"I'm a man of simple tastes. I enjoy dynamite...and gunpowder...and gasoline! "