« predchádzajúce ďalšie »
Pages: 1 ... 8 9 [10] 11 12 ... 16

Author Topic: Matematicka logika  (Read 78445 times)

Daron

  • Full Member
  • ***
  • Posts: 166
    • View Profile
Re: Matematicka logika
« Reply #225 on: 05.01.2011, 01:43:12 »
naco by som tam doplnal negaciu?

ekvivalnecia ma hodnotu 1 len ked su obidve v 1. Cize pojdu len obidvaja, alebo nikto.
Logged

Ragnol

  • Newbie
  • *
  • Posts: 15
    • View Profile
Re: Matematicka logika
« Reply #226 on: 05.01.2011, 01:43:42 »
Quote from: Daron on  05.01.2011, 01:32:59
Quote from: ghost on  05.01.2011, 01:08:18
4.(C & D) or (-C & -D)
Nema to byt nahodou  C <=> D  ??

Ak si to upravis dostanes to iste  bq
Logged
" Fuck Authority "

Daron

  • Full Member
  • ***
  • Posts: 166
    • View Profile
Re: Matematicka logika
« Reply #227 on: 05.01.2011, 01:44:36 »
Mozte niekto odfotit vypocitany piaty priklad? Ten s tym klauzualnym tvarom
Logged

totaluser

  • Hero Member
  • *****
  • Posts: 621
    • View Profile
Re: Matematicka logika
« Reply #228 on: 05.01.2011, 01:49:11 »
sorry, zle cislo vety som videl

viete mi niekto povedat, ci moja veta 3 a 5 je OK?
« Last Edit: 05.01.2011, 01:55:59 by totaluser »
Logged

Daron

  • Full Member
  • ***
  • Posts: 166
    • View Profile
Re: Matematicka logika
« Reply #229 on: 05.01.2011, 01:52:15 »
podla mna si nevystihol cislo prikladu. Bavime sa o cecilii a dionizovi. Ake ked dioniza - D preoperujes na Blazenu B a cele to prenesies do 3. prikladu, mohol by si mat pravdu.
Logged

Daron

  • Full Member
  • ***
  • Posts: 166
    • View Profile
Re: Matematicka logika
« Reply #230 on: 05.01.2011, 01:54:00 »
Vie niekto ten 5. priklad, alebo nie? 9 bodov by potesilo
Logged

totaluser

  • Hero Member
  • *****
  • Posts: 621
    • View Profile
Re: Matematicka logika
« Reply #231 on: 05.01.2011, 01:54:46 »
 :ohmigod:
uz mi z toho hrabe a to som sa moc este ani nenaucil

moze mi niekto povedat ci su moje vety 3 a 5 OK a ak nie tak preco?
vdaka
« Last Edit: 05.01.2011, 01:56:19 by totaluser »
Logged

neucilasom

  • Full Member
  • ***
  • Posts: 204
    • View Profile
Re: Matematicka logika
« Reply #232 on: 05.01.2011, 02:11:11 »
Na skuske boli z teorie len definicie alebo aj bolo treba uviest nejaky priklad?
Logged

Daron

  • Full Member
  • ***
  • Posts: 166
    • View Profile
Re: Matematicka logika
« Reply #233 on: 05.01.2011, 02:14:37 »
Quote from: totaluser on  05.01.2011, 01:54:46
:ohmigod:
uz mi z toho hrabe a to som sa moc este ani nenaucil

moze mi niekto povedat ci su moje vety 3 a 5 OK a ak nie tak preco?
vdaka

tvoja veta 5 je uplne scestna. Napriklad tam mas uplne ine pismenka, nechapem ako chces aby ti to potom sedelo pri rezolucnej metode. Ma tam byt D a E

Takze nikto nema priklad c5?? Upravu na klauzualny tvar??
Logged

ghost

  • Newbie
  • *
  • Posts: 23
    • View Profile
Re: Matematicka logika
« Reply #234 on: 05.01.2011, 02:17:42 »
prosim vas ak ma niekto 3 a 5 priklad please dajte ho sem
thanks
Logged

Daron

  • Full Member
  • ***
  • Posts: 166
    • View Profile
Re: Matematicka logika
« Reply #235 on: 05.01.2011, 02:21:02 »
Prilad cislo 3, dufam ze spravne prepisany.

a, Ex (T( x ) and negS(x))
b,  Ex F( x )
c,  T(F( x )) => T( x )
d,  T(T( x ) + T( y ))
e,  S( x ) <=> (T( x ) and P( x ))


Bol by som velmi vdacny za priklad c5
Logged

totaluser

  • Hero Member
  • *****
  • Posts: 621
    • View Profile
Re: Matematicka logika
« Reply #236 on: 05.01.2011, 02:23:45 »
Quote from: Daron on  05.01.2011, 02:14:37
Quote from: totaluser on  05.01.2011, 01:54:46
:ohmigod:
uz mi z toho hrabe a to som sa moc este ani nenaucil

moze mi niekto povedat ci su moje vety 3 a 5 OK a ak nie tak preco?
vdaka

tvoja veta 5 je uplne scestna. Napriklad tam mas uplne ine pismenka, nechapem ako chces aby ti to potom sedelo pri rezolucnej metode. Ma tam byt D a E

Takze nikto nema priklad c5?? Upravu na klauzualny tvar??


hej, vsimol som si prave
cize posledna uprava

3.
(C & -B) or (-C & B)

5.
(E & -D) or (-E & D) or (E & D)

takze je to OK, ci nie?
Logged

mattus

  • Newbie
  • *
  • Posts: 2
    • View Profile
    • www.mattus.eu
Re: Matematicka logika
« Reply #237 on: 05.01.2011, 02:28:04 »
Neviete, treba ku Drazenskej dvojharok?
Logged

Ragnol

  • Newbie
  • *
  • Posts: 15
    • View Profile
Re: Matematicka logika
« Reply #238 on: 05.01.2011, 02:28:58 »
Quote from: Daron on  05.01.2011, 02:21:02
Prilad cislo 3, dufam ze spravne prepisany.

d,  T(T( x ) + T( y ))


Vo formule nemozes mat predikat v predikate. lebo nie je term.
Logged
" Fuck Authority "

Daron

  • Full Member
  • ***
  • Posts: 166
    • View Profile
Re: Matematicka logika
« Reply #239 on: 05.01.2011, 02:29:55 »
hej, vsimol som si prave
cize posledna uprava

3.
(C & -B) or (-C & B)

5.
(E & -D) or (-E & D) or (E & D)

takze je to OK, ci nie?
[/quote]

nestaci v 5. napisat (E or D)  ??
Logged

Daron

  • Full Member
  • ***
  • Posts: 166
    • View Profile
Re: Matematicka logika
« Reply #240 on: 05.01.2011, 02:30:44 »
Quote from: Ragnol on  05.01.2011, 02:28:58
Quote from: Daron on  05.01.2011, 02:21:02
Prilad cislo 3, dufam ze spravne prepisany.

d,  T(T( x ) + T( y ))


Vo formule nemozes mat predikat v predikate. lebo nie je term.

A ako teda?
Logged

totaluser

  • Hero Member
  • *****
  • Posts: 621
    • View Profile
Re: Matematicka logika
« Reply #241 on: 05.01.2011, 02:34:14 »
Quote from: Daron on  05.01.2011, 02:29:55
hej, vsimol som si prave
cize posledna uprava

3.
(C & -B) or (-C & B)

5.
(E & -D) or (-E & D) or (E & D)

takze je to OK, ci nie?

nestaci v 5. napisat (E or D)  ??
[/quote]
very nice
samozrejme ze staci :buttrock:

v 4. som to urobil takto, ale ruku do ohna za to nedam

Pre kazde x1, x2 [T(x1) & T(x2)] => T([x1+x2])

teda ak obe cisla su deltitelne troma tak aj sucet je delitelny troma
« Last Edit: 05.01.2011, 02:36:04 by totaluser »
Logged

Ragnol

  • Newbie
  • *
  • Posts: 15
    • View Profile
Re: Matematicka logika
« Reply #242 on: 05.01.2011, 02:34:18 »
Quote from: Daron on  05.01.2011, 02:30:44
Quote from: Ragnol on  05.01.2011, 02:28:58
Quote from: Daron on  05.01.2011, 02:21:02
Prilad cislo 3, dufam ze spravne prepisany.

d,  T(T( x ) + T( y ))


Vo formule nemozes mat predikat v predikate. lebo nie je term.

A ako teda?

nedam za to ruku do ohna ale ja by som dal ze: (T(x) + T(y) ) = T(z) no takto to tiez nepojde lebo som sa docital ze "=" je tiez predikat binarny
« Last Edit: 05.01.2011, 03:02:17 by Ragnol »
Logged
" Fuck Authority "

neucilasom

  • Full Member
  • ***
  • Posts: 204
    • View Profile
Re: Matematicka logika
« Reply #243 on: 05.01.2011, 02:39:34 »
Vie niekto poradit? prosim: som zufaly:
Vyslovte vetu o normálnom tvare??? Nenasiel som to nikde...
Logged

totaluser

  • Hero Member
  • *****
  • Posts: 621
    • View Profile
Re: Matematicka logika
« Reply #244 on: 05.01.2011, 02:41:59 »
OK, pardon,
uz sa to viac nestane, vo od stvrtka uz aj tak nebudem v SR
« Last Edit: 05.01.2011, 02:47:59 by totaluser »
Logged

Daron

  • Full Member
  • ***
  • Posts: 166
    • View Profile
Re: Matematicka logika
« Reply #245 on: 05.01.2011, 02:43:34 »
4  Vyslovte vetu o normálnom tvare
Ku každej formule A výrokovej logiky existujú s ňou výrokovo ekvivalentné formuly B, C, v ktorých sú nanajvýš tie výrokové premenné, ktoré sa vyskytujú vo formule A, pričom formula B má disjunktívny normálny tvar a C má konjunktívny normálny tvar.


totaluser preco mu namiesto tych picovin radsej nepomozes?  :03:
Logged

ursus

  • Hero Member
  • *****
  • Posts: 595
    • View Profile
Re: Matematicka logika
« Reply #246 on: 05.01.2011, 02:48:28 »
hm, to ze "jazyk s rovnostou" znamena ze mozem pouzit "=" ?
Logged
So this router walks into the doctor’s office…
- Doctor, it hurts when IP.

totaluser

  • Hero Member
  • *****
  • Posts: 621
    • View Profile
Re: Matematicka logika
« Reply #247 on: 05.01.2011, 02:48:48 »
Quote from: ursus on  05.01.2011, 02:48:28
hm, to ze "jazyk s rovnostou" znamena ze mozem pouzit "=" ?
ano
Logged

ursus

  • Hero Member
  • *****
  • Posts: 595
    • View Profile
Re: Matematicka logika
« Reply #248 on: 05.01.2011, 02:52:22 »
tak potom 3b) by som dal

Ex, x = f(y)

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

Daron

  • Full Member
  • ***
  • Posts: 166
    • View Profile
Re: Matematicka logika
« Reply #249 on: 05.01.2011, 02:55:28 »
Ano...

nema fakt nikto priklad c5? staci sfotit mobilom, viem ze to je vela pisania.
Logged
Pages: 1 ... 8 9 [10] 11 12 ... 16
« predchádzajúce ďalšie »