« predchádzajúce ďalšie »
Pages: 1 2 [3]

Author Topic: Matematická logika-(all)  (Read 18191 times)

kukoca

  • Jr. Member
  • **
  • Posts: 68
    • View Profile
Re: Matematická logika-(all)
« Reply #50 on: 08.06.2009, 20:30:15 »
hej hej, lebo bez zotvorky neplati na cele
Logged

Kuko

  • Jr. Member
  • **
  • Posts: 91
    • View Profile
Re: Matematická logika-(all)
« Reply #51 on: 08.06.2009, 21:29:22 »
 bv  skusal niekto pocitat tie priklady z toho screenu ? konkretne ten 7. priklad ze ako vam vysiel ? :(
Logged

byglajs

  • Jr. Member
  • **
  • Posts: 65
    • View Profile
Re: Matematická logika-(all)
« Reply #52 on: 08.06.2009, 23:07:42 »
Sorry že toľko spamujem, ale
(Existuje y) Q(g(y),P(y))
nie je formula, že ?
Nie som si istý ale to P tam nesmie byť ? Mám pravdu ?
Logged

skorec1

  • Full Member
  • ***
  • Posts: 146
    • View Profile
Re: Matematická logika-(all)
« Reply #53 on: 09.06.2009, 05:36:01 »
Logged

skorec1

  • Full Member
  • ***
  • Posts: 146
    • View Profile
Re: Matematická logika-(all)
« Reply #54 on: 09.06.2009, 05:52:56 »
Logged

Kuko

  • Jr. Member
  • **
  • Posts: 91
    • View Profile
Re: Matematická logika-(all)
« Reply #55 on: 09.06.2009, 16:35:06 »
Prosim vie mi niekto poradi ?  Ked urcujem rezolucnou metodou ci je splnena mnozina vyrokovej logiky a vyde mi prazdna rezolventa tak to znamena ze je splnitelna ci nie je :(  ?   bu
Logged

byglajs

  • Jr. Member
  • **
  • Posts: 65
    • View Profile
Re: Matematická logika-(all)
« Reply #56 on: 09.06.2009, 16:48:32 »
Ak vznikla prázdna rezolventa, tak systém nie je splniteľný, systém je kontradikcia. - tuším by to malo byť takto.
Ale problém sa ešte môže trochu zamotať, keď dokazuješ jej negáciu, čiže očakávaš prázdnu rezolventu a vtedy bude systém splniteľný.
Neviem to na sto percent, ale tak si myslím. bk
Logged

Kuko

  • Jr. Member
  • **
  • Posts: 91
    • View Profile
Re: Matematická logika-(all)
« Reply #57 on: 09.06.2009, 16:49:38 »
Quote from: byglajs on  09.06.2009, 16:48:32
Ak vznikla prázdna rezolventa, tak systém nie je splniteľný, systém je kontradikcia. - tuším by to malo byť takto.
Ale problém sa ešte môže trochu zamotať, keď dokazuješ jej negáciu, čiže očakávaš prázdnu rezolventu a vtedy bude systém splniteľný.
Neviem to na sto percent, ale tak si myslím. bk
diky :)  ;)
Logged

skorec1

  • Full Member
  • ***
  • Posts: 146
    • View Profile
Re: Matematická logika-(all)
« Reply #58 on: 09.06.2009, 22:32:12 »
www.valal.sk/upload/savefile_php/uploads/0bb87e1aaf.jpg

5 priklad prepocitany z 13.5
from roman
thx
Logged

byglajs

  • Jr. Member
  • **
  • Posts: 65
    • View Profile
Re: Matematická logika-(all)
« Reply #59 on: 09.06.2009, 23:12:38 »
Inak môžem sa spýtať, ako je to s ťahákmi ? Ako reaguje teta logička , keď nájde niekomu ťahák ? Hneď ho pošle preč s FX, alebo iba vezme ťahák a nechá dotyčného aby pokračoval  v skúške ? Na tú teóriu by bolo fajn vziať nejký ten ťaháčik. bv
Logged

Kuko

  • Jr. Member
  • **
  • Posts: 91
    • View Profile
Re: Matematická logika-(all)
« Reply #60 on: 10.06.2009, 00:23:13 »
Quote from: byglajs on  09.06.2009, 23:12:38
Inak môžem sa spýtať, ako je to s ťahákmi ? Ako reaguje teta logička , keď nájde niekomu ťahák ? Hneď ho pošle preč s FX, alebo iba vezme ťahák a nechá dotyčného aby pokračoval  v skúške ? Na tú teóriu by bolo fajn vziať nejký ten ťaháčik. bv

tak co mne hovorili kamosi co uz pisali ze pri nej sa da v pohode opisovat ze len zasadne za katedru a sedi si tam ...tak by nemal byt problem s tym ze ti vezme tahak  :emot-dance:  .... no ale mozno nam pride niekto iny na dozor  :emot-rolleyes:
Logged

byglajs

  • Jr. Member
  • **
  • Posts: 65
    • View Profile
Re: Matematická logika-(all)
« Reply #61 on: 10.06.2009, 03:07:17 »
No tak keď bude tak ako hovoríš, tak bude dobre :)
Logged

Sxx

  • Sr. Member
  • ****
  • Posts: 329
    • View Profile
Re: Matematická logika-(all)
« Reply #62 on: 11.06.2009, 02:29:18 »
mate v systeme uz vysledky dnesnej skusky?
Logged

Pages: 1 2 [3]
« predchádzajúce ďalšie »