Author Topic: Matematická Logika  (Read 56985 times)

ppeess

  • Guest
Re: Matematická Logika
« Reply #50 on: 20.10.2011, 16:32:54 »
inak mohol by mi niekto povedat ako zistim tautologiu ?? napr z toho  (nx<=>y) v (n(ny=>z))
{n/negacia}

viem ye spravim tabulku pravdivostnzc odot ale co potom <<

Ak si dopre pamatam v tej tabulke zistis tautologiu tak, ze ked najdes, napr. z || negovane z .....

BlackBerry

  • Jr. Member
  • **
  • Posts: 73
    • View Profile
Re: Matematická Logika
« Reply #51 on: 20.10.2011, 17:11:09 »
Neake info co bolo na bleskovke u Myskovej?? :)

Rajo

  • Sr. Member
  • ****
  • Posts: 346
    • View Profile
Re: Matematická Logika
« Reply #52 on: 20.10.2011, 17:28:53 »
inak mohol by mi niekto povedat ako zistim tautologiu ?? napr z toho  (nx<=>y) v (n(ny=>z))
{n/negacia}

viem ye spravim tabulku pravdivostnzc odot ale co potom <<

Ak si dopre pamatam v tej tabulke zistis tautologiu tak, ze ked najdes, napr. z || negovane z .....

A nie náhodou tak, že urobíš pravdivostnú tabuľku a z výslednej funkcie zistíš či je tautológia ? Tautológia je ak budeš mať vo výslednej funkcií samé jednotky(Ak máš samé 0 tak je Kontradikcia), či?  :whacko:

Maxxtro

  • Newbie
  • *
  • Posts: 6
    • View Profile
Re: Matematická Logika
« Reply #53 on: 20.10.2011, 19:05:39 »
inak mohol by mi niekto povedat ako zistim tautologiu ?? napr z toho  (nx<=>y) v (n(ny=>z))
{n/negacia}

viem ye spravim tabulku pravdivostnzc odot ale co potom <<

Ak si dopre pamatam v tej tabulke zistis tautologiu tak, ze ked najdes, napr. z || negovane z .....

A nie náhodou tak, že urobíš pravdivostnú tabuľku a z výslednej funkcie zistíš či je tautológia ? Tautológia je ak budeš mať vo výslednej funkcií samé jednotky(Ak máš samé 0 tak je Kontradikcia), či?  :whacko:

presne tak :)  :thumbs-up:

bEnd3r

  • Full Member
  • ***
  • Posts: 143
    • View Profile
Re: Matematická Logika
« Reply #54 on: 20.10.2011, 20:13:23 »
u myskovej 10.50 bolo zadane nieco na styl (X v -Y)=>(Z<=>Y ) , jedna skupina mala urcit UKNT a mDT a druha UDNT a mKT.. nic tazke

Rajo

  • Sr. Member
  • ****
  • Posts: 346
    • View Profile
Re: Matematická Logika
« Reply #55 on: 20.10.2011, 20:46:44 »
so easy?  :o bv

Tren

  • Moderator
  • Hero Member
  • *****
  • Posts: 1060
  • Fortes fortuna adiuvat
    • View Profile
Re: Matematická Logika
« Reply #56 on: 20.10.2011, 21:56:50 »
u myskovej 10.50 bolo zadane nieco na styl (X v -Y)=>(Z<=>Y ) , jedna skupina mala urcit UKNT a mDT a druha UDNT a mKT.. nic tazke
bolo aj nieco teoreticke, napisat poucku alebo nieco take?

matotv

  • Jr. Member
  • **
  • Posts: 60
    • View Profile
Re: Matematická Logika
« Reply #57 on: 20.10.2011, 22:30:09 »
u myskovej 10.50 bolo zadane nieco na styl (X v -Y)=>(Z<=>Y ) , jedna skupina mala urcit UKNT a mDT a druha UDNT a mKT.. nic tazke
bolo aj nieco teoreticke, napisat poucku alebo nieco take?

nie, cisto jeden priklad na 10 min

ultimate

  • Sr. Member
  • ****
  • Posts: 337
    • View Profile
Re: Matematická Logika
« Reply #58 on: 20.10.2011, 23:30:14 »
tak, len jeden easy priklad bol

Rajo

  • Sr. Member
  • ****
  • Posts: 346
    • View Profile
Re: Matematická Logika
« Reply #59 on: 21.10.2011, 00:08:09 »
tak, len jeden easy priklad bol

preto to je len za 3 body  ap

veteran

  • Hero Member
  • *****
  • Posts: 956
    • View Profile
Re: Matematická Logika
« Reply #60 on: 21.10.2011, 01:26:30 »
Toto vraj bolo u Myškovej dnes. Za predpokladu, že som to dobre opísal od tých, čo to už písali a že som to dobre naťukal do compu  :D

Sú tam pripísané aj výsledky - skúšal som to počítať. Niekto by to mohol prepočítať a porovnať, či som sa nepomýlil.  ;)


paloSK

  • Hero Member
  • *****
  • Posts: 613
  • :D
    • View Profile
Re: Matematická Logika
« Reply #61 on: 21.10.2011, 02:15:25 »
V MDT by nestacilo namiesto (negacia x, negacia y, negacia z),   dat (negacia x, negacia z) ?
:D

Rajo

  • Sr. Member
  • ****
  • Posts: 346
    • View Profile
Re: Matematická Logika
« Reply #62 on: 21.10.2011, 03:57:09 »
V MDT by nestacilo namiesto (negacia x, negacia y, negacia z),   dat (negacia x, negacia z) ?

nie, pretože tá jednotka sa nachádza na pozícií x=0,y=0,z=0 čo je úplne vlavo hore a tá jednotka nezasahuje do žiadnej premennej čiže musíš všetko znegovať

paloSK

  • Hero Member
  • *****
  • Posts: 613
  • :D
    • View Profile
Re: Matematická Logika
« Reply #63 on: 21.10.2011, 04:05:19 »
V MDT by nestacilo namiesto (negacia x, negacia y, negacia z),   dat (negacia x, negacia z) ?

nie, pretože tá jednotka sa nachádza na pozícií x=0,y=0,z=0 čo je úplne vlavo hore a tá jednotka nezasahuje do žiadnej premennej čiže musíš všetko znegovať
Ja mam tu jednotku uplne vlavo dole.
:D

Rajo

  • Sr. Member
  • ****
  • Posts: 346
    • View Profile
Re: Matematická Logika
« Reply #64 on: 21.10.2011, 04:06:53 »
                               z   
                   y  ---------------
             -------------
     ---------------------------l
     l       l       l       l          l
     l   1  l  0   l   0  l   0     l
   l l---------------------------l
x l l      l        l      l           l   
   l l  0  l  0    l  1  l     1    l
   l l---------------------------l

mne aspoň vychádza, že mapa vyzerá takto z toho mi vychádza, že si zle určil MKT, tá posledna disjunkcia je z kade?  :03:

paloSK

  • Hero Member
  • *****
  • Posts: 613
  • :D
    • View Profile
Re: Matematická Logika
« Reply #65 on: 21.10.2011, 04:12:38 »
                               z   
                   y  ---------------
             -------------
     ---------------------------l
     l       l       l       l          l
     l   1  l  0   l   0  l   0     l
   l l---------------------------l
x l l      l        l      l           l   
   l l  0  l  0    l  1  l     1    l
   l l---------------------------l

mne aspoň vychádza, že mapa vyzerá takto z toho mi vychádza, že si zle určil MKT, tá posledna disjunkcia je z kade?  :03:

hm, tak mne vysla mapa taka:      0110
                                                     1000

to su uz len cisla vo vnutry mapy
:D

Rajo

  • Sr. Member
  • ****
  • Posts: 346
    • View Profile
Re: Matematická Logika
« Reply #66 on: 21.10.2011, 04:23:33 »
každemu vyšlo niečo ine, never mind, aj tak to iste nebude  >:(

Maxxtro

  • Newbie
  • *
  • Posts: 6
    • View Profile
Re: Matematická Logika
« Reply #67 on: 21.10.2011, 04:37:49 »
mne to tiež tak vyšlo  ;)   

0110
1000

Rajo

  • Sr. Member
  • ****
  • Posts: 346
    • View Profile
Re: Matematická Logika
« Reply #68 on: 21.10.2011, 04:47:55 »
« Last Edit: 21.10.2011, 04:52:37 by Rajo »

Hessesian

  • Newbie
  • *
  • Posts: 49
    • View Profile
Re: Matematická Logika
« Reply #69 on: 21.10.2011, 04:57:26 »
Toto vraj bolo u Myškovej dnes. Za predpokladu, že som to dobre opísal od tých, čo to už písali a že som to dobre naťukal do compu  :D

Sú tam pripísané aj výsledky - skúšal som to počítať. Niekto by to mohol prepočítať a porovnať, či som sa nepomýlil.  ;)



Ako mozes mat x+y'+z v UKT a zaroven x.y'.z v UDT ?

orsi

  • Full Member
  • ***
  • Posts: 182
    • View Profile
Re: Matematická Logika
« Reply #70 on: 21.10.2011, 05:03:38 »
spravna mapa je určite (aj mne to tak vyslo):

0110
1000

Rajo

  • Sr. Member
  • ****
  • Posts: 346
    • View Profile
Re: Matematická Logika
« Reply #71 on: 21.10.2011, 05:17:05 »
blbosť....

orsi

  • Full Member
  • ***
  • Posts: 182
    • View Profile
Re: Matematická Logika
« Reply #72 on: 21.10.2011, 05:26:50 »
ano, my ideme podla myskovej systému, teda nie podla normálneho umiestnenia, na ktore su zvyknuty asi elektrotechnici. je to drbnute aj mne to vadi, ale co uz, treba sa to preučiť.

čekol som si to tvoje riešenie Rajo, a aj to je dobré ak ideš podľa "normálneho" systemu. teda že si tam davaš tie čiaročky po bokoch tabulky.  ;)
« Last Edit: 21.10.2011, 05:30:18 by orsi »

Rajo

  • Sr. Member
  • ****
  • Posts: 346
    • View Profile
Re: Matematická Logika
« Reply #73 on: 21.10.2011, 05:32:43 »
ano, my ideme podla myskovej systému, teda nie podla normálneho umiestnenia, na ktore su zvyknuty asi elektrotechnici. je to drbnute aj mne to vadi, ale co uz, treba sa to preučiť.

čekol som si to tvoje riešenie Rajo, a aj to je dobré ak ideš podľa "normálneho" systemu. teda že si tam davaš tie čiaročky po bokoch tabulky.  ;)

SPŠE forewer  :beer1:

veteran

  • Hero Member
  • *****
  • Posts: 956
    • View Profile
Re: Matematická Logika
« Reply #74 on: 21.10.2011, 12:24:09 »
Ako mozes mat x+y'+z v UKT a zaroven x.y'.z v UDT ?
A prečo nie? Veď pri el. konjunkciách neguješ tie premenné, kde máš 0 a pri el. disjunkciách tie, kde máš 1.