Matematicka logika

[mattus]

To ta mila teta drazenska robila taky okruh tem, jak davala myskova svojim(tych 40 otazok), ci to obidve davaju z toho okruhu alebo ako je to vlastne, vie tu niekto?

Ja mam skusku zajtra pri Drazenskej, ale nenasiel som nic od nej, tak sa ucim teoriu z tych otazok od Myskovej, podla mna to bude to iste...

[totaluser]

huh 
dajako som asi moc unaveny a som to nepochopil tie posledne 2 posty
mozte dajak jednoduchsie na mna?

http://en.wikipedia.org/wiki/Sarcasm

OK, shame on me
ale vecer som uz mal dost
tak ja si to snad pozriem aspon dajaku teoriu a 21b dajako napisem

btw aka je ta miestnost?
ked nas tam bude 60, bude sa dat odpisovat alebo je velka a budeme sediet ze siroko daleko zivej duse a teda nic neodpisem

[smelyzajo]

napise niekto otazky ake boli dnes na skuske ?

[totaluser]

ok
a este by ma zaujimalo ako boli distribuovane body na skuske
35b teoria a 35b priklady alebo ako?

[bohusik]

pisomka je 35 priklady a 35 teoria .... teoriu sa mi nepodarilo sfotit ... ale bola postupnost v predikatovej logike .. veta o uplnosti vo vyrokovej ... semanticky dosledok a nepamatam uz viac .. ked si spomeniem este napisem

[ghost]

mohol by sem prosim vas niekto nahodit riesenie 4. a 5. prikladu
dakujem velmi pekne

[ursus]

ked spravim rezolucnu, ako dostanem potom to aspon jedno spravne riesenie, ci ako to povedat ?

[Stalo]

OK, shame on me
ale vecer som uz mal dost
tak ja si to snad pozriem aspon dajaku teoriu a 21b dajako napisem

btw aka je ta miestnost?
ked nas tam bude 60, bude sa dat odpisovat alebo je velka a budeme sediet ze siroko daleko zivej duse a teda nic neodpisem

Velka asi ako ZP1. Takze kapacita 200 ludi? Nemam moc odhad v tomto ale asi tak dako. Na odpisovanie sa nespoliehaj. Jedine skusit tahaky

[ursus]

ked spravim rezolucnu, ako dostanem potom to aspon jedno spravne riesenie, ci ako to povedat ?

z tabulky by som to logicky vedel, ale takto ..

[smelyzajo]

akym stylom bola riesena dnes ta teoria a s kolkych otazok bola aspon priblizne ze ci trebalo aj nejake dokazy alebo postupnosti pisat alebo len cisto teoria...

[ursus]

fi : -W(x) => Ey y|>x

e(x)  -W(x)   e(y):val y|>x = 1  val y|>x  val fi
 m     0                      -               0         1
 d      0                    {m}            1         1
 s     1                     {m}             1        1

vsade jednicky, cize splnena, tak ?

[ghost]

ako mam sformalizovat  v 2. priklade 3 posledne vety aby som mohol pouzit RM???

[smelyzajo]

fi : -W(x) => Ey y|>x

e(x)  -W(x)   e(y):val y|>x = 1  val y|>x  val fi
 m     0                      -               0         1
 d      0                    {m}            1         1
 s     1                     {m}             1        1

vsade jednicky, cize splnena, tak ?

ako si dostal na konci tie tri jednotky nemala byt ta prva 0???

[ursus]

0 => 0 = 1

[smelyzajo]

0 => 0 = 1

ale ved  A=>B je nepravdiva pvk A je pravdiva B nepravdiva alebo sa mylim??
dobre uz doslo mi

[ghost]

prosim vas ako sformalizovat vety v 2.priklade
napiste aj ako maju vyzerat vety v trojke
diky moc

[Ragnol]

prosim vas ako sformalizovat vety v 2.priklade
napiste aj ako maju vyzerat vety v trojke
diky moc

1.A=>B
2.E=>(a & D)
3.-(B & C)
4.(C & D) or (-C & -D)
5. D or E

[ghost]

a nebude to nahodou takto
1.A=>B pretoze tam je ta implikacia postavena opacne - ked pojde Alfonz, pojde aj Blazena
2.E=>(A & D)
3.-(B & C)
4.(C & D) or (-C & -D)
5. E or D

[neucilasom]

a nebude to nahodou takto
1.A=>B pretoze tam je ta implikacia postavena opacne - ked pojde Alfonz, pojde aj Blazena
2.E=>(A & D)
3.-(B & C)
4.(C & D) or (-C & -D)
5. E or D

mas pravdu tak to treba

[ghost]

ak pouzijete rezoluc metodu tak vam vyjde ze je splnitelna?? alebo co je vysledok??

[neucilasom]

V Karnaughovej mape sa moze kruzkovat 2,4,8,16 prvkov alebo 2,4,6,8,10...? Nasobky 2 alebo mocniny2

[ghost]

mocniny

[Daron]

4.(C & D) or (-C & -D)

Nema to byt nahodou  C <=> D  ??

[ghost]

tak tak

[totaluser]

ja sa chcem opytat na tu vetu 3 a 5

blazena a cecilia spolu urcite nepojdu
ja som to zapisal takto:
(C & -B) or (-C & B)


no a tak podobne som riesil aj vetu 5
(C & -D) or (-C & D) or (C & D)
kedze bud pojde aspon jeden z nich alebo aj obaja

dajako mi to skuste objasnit
vdaka


...