| Avtor |
Sporočilo |
|
| D. |
 Objavljeno: 06 Okt 2007 11:21 |
 |
|
Moderator
Pridružen/-a: 21.09. 2007, 15:25
Prispevkov: 87
Kraj: Črnomelj - Tribuče
|
| Topic, v katerem lahko poljubno debatirate, izmenjujete mnenja/predloge/vprašanja/nasvete/..., je namenjen predmetu Logika in množice. |
_________________
...raje mam tišino narave, zvoke stare kitare,
ker ne vrjamem v demokracijo in ona ne vrjame vame! |
|
| Nazaj na vrh |
     |
| Jure |
| Objavljeno: 07 Okt 2007 18:14 |
|
|
|
Pridružen/-a: 05.10. 2007, 19:11
Prispevkov: 51
Kraj: Novo mesto
|
| Mislim, da se je profesor neki zmotu. Ali pa sem si jaz narobe zapisal. Ce ma mogoce kdo napisan zadnji primer za tavtologije, naj ga napise. Primer na mojem listu je gotovo narobe, samo ne vem, kdo je krivec. |
|
|
| Nazaj na vrh |
|
| Quack |
| Objavljeno: 07 Okt 2007 22:18 |
|
|
Administrator foruma
Pridružen/-a: 19.09. 2007, 15:16
Prispevkov: 193
Kraj: Ljubljana, Slovenija
|
Jure je napisal/a: Mislim, da se je profesor neki zmotu. Ali pa sem si jaz narobe zapisal. Ce ma mogoce kdo napisan zadnji primer za tavtologije, naj ga napise. Primer na mojem listu je gotovo narobe, samo ne vem, kdo je krivec.
Pa bi bil pripravljen zaupati ta primer še ostalim, ki nismo prvi letnik? Morda bi ti znali kako pomagati...  |
|
|
| Nazaj na vrh |
|
| 5xum |
| Objavljeno: 07 Okt 2007 22:31 |
|
|
Pridružen/-a: 05.10. 2007, 18:56
Prispevkov: 95
Kraj: Bled
|
Zadnji primer tavtologije? Boh mi pomagej če bim js zj tole znou napisat:P
Stvar gre približno takole:
(p=>q)<=>(ne q => ne p)
Pa mislm da v tem primeru vse štima oz. da stvar res je tavtologija
"Ju3 bo ali pa ne bo oblačno"...Pa rečte da to ni genialna vremenska napoved:P |
_________________
Veruj le v enega boga, ki v banki svoj oltar ima |
|
| Nazaj na vrh |
|
| Quack |
| Objavljeno: 07 Okt 2007 22:33 |
|
|
|
Administrator foruma
Pridružen/-a: 19.09. 2007, 15:16
Prispevkov: 193
Kraj: Ljubljana, Slovenija
|
5xum je napisal/a: (p=>q) <=> (ne q => ne p)
Jap, v tem primeru vse štima |
|
|
| Nazaj na vrh |
|
| Jure |
| Objavljeno: 14 Okt 2007 11:01 |
|
|
|
Pridružen/-a: 05.10. 2007, 19:11
Prispevkov: 51
Kraj: Novo mesto
|
Spet gledam to logiko pa mi nekaj ni jasn. Rekli smo, da množica veznikov negacije in ekvivalence ni poln nabor veznikov. To je res, že disjunkcije na primer ne moreš izraziti s tema dvema veznikoma. Rekli smo tudi, da dejstva, da to ni poln nabor ni moč dokazati z lastnostjo, ki smo jo omenili 5 minut prej (nekateri vezniki ohranjajo vrednost izjav, ko sta ti enake vrednosti).
Pol smo pa neke lastnosti ekvivalence našteval pa neko izjavo smo poenostavili. Pogrešam pa kakšen dokaz, da množica res ni poln nabor. Mogoče kdo kaj ve? |
|
|
| Nazaj na vrh |
|
| Quack |
| Objavljeno: 15 Okt 2007 17:26 |
|
|
|
Administrator foruma
Pridružen/-a: 19.09. 2007, 15:16
Prispevkov: 193
Kraj: Ljubljana, Slovenija
|
Množica izjavnih veznikov je poln nabor natanko tedaj, ko:
a) vsaj en veznik ne ohranja konstante 0,
b) vsaj en veznik ne ohranja konstante 1,
c) vsaj en veznik ni monoton,
d) vsaj en veznik ni sebi-dualen in
e) vsaj en veznik ni linearen.
Lahko ima en sam veznik vse naštete lastnosti (npr. Shefferjev veznik).
Glej: http://en.wikipedia.org/wiki/Functional_completeness |
|
|
| Nazaj na vrh |
|
| *mala* |
| Objavljeno: 02 Nov 2007 18:14 |
|
|
|
Pridružen/-a: 02.11. 2007, 18:11
Prispevkov: 7
|
| A mi prosim kdo skenira zapiske iz zadnje ure (torek) iz predavanj Logike in množice? |
|
|
| Nazaj na vrh |
|
| Buggy |
| Objavljeno: 06 Nov 2007 18:24 |
|
|
Pridružen/-a: 20.09. 2007, 22:18
Prispevkov: 205
|
|
| Nazaj na vrh |
|
| Quack |
| Objavljeno: 06 Nov 2007 19:02 |
|
|
|
Administrator foruma
Pridružen/-a: 19.09. 2007, 15:16
Prispevkov: 193
Kraj: Ljubljana, Slovenija
|
Si ne morem kaj, da ne bi vprašal: "Kdo te ima računalniški praktikum vaje?" 
Je pa pohvalno, da si šla snov pretipkat v elektronsko obliko |
|
|
| Nazaj na vrh |
|
| papana |
| Objavljeno: 06 Nov 2007 19:25 |
|
|
Pridružen/-a: 22.09. 2007, 10:11
Prispevkov: 80
Kraj: Ljubljana
|
Quack je napisal/a: "Kdo te ima računalniški praktikum vaje?"
je pomembno? |
|
|
| Nazaj na vrh |
|
| 5xum |
| Objavljeno: 06 Nov 2007 23:58 |
|
|
|
Pridružen/-a: 05.10. 2007, 18:56
Prispevkov: 95
Kraj: Bled
|
Ni pomembno. Pomembno je, da bo ta dokumentek rešil marsikatero bolj leno rit (pardon my french), in t z mojo vred 
Papana, najlepša ti hvala |
_________________
Veruj le v enega boga, ki v banki svoj oltar ima |
|
| Nazaj na vrh |
|
| buddisth_monkey |
| Objavljeno: 07 Nov 2007 15:35 |
|
|
Pridružen/-a: 19.10. 2007, 21:52
Prispevkov: 4
Kraj: 'round
|
| nich hvala, vse lene riti, tokrat vkljuchno z mojo, evro v shkatlo za prostovoljne prispevke za papano pri vhodu |
_________________
Biologists think they are biochemists,
Biochemists think they are Physical Chemists,
Physical Chemists think they are Physicists,
Physicists think they are Gods,
And God thinks he is a Mathematician. |
|
| Nazaj na vrh |
|
| hloa |
| Objavljeno: 10 Nov 2007 18:10 |
|
|
Pridružen/-a: 10.10. 2007, 14:37
Prispevkov: 73
|
Eno vprašanje glede zadnjega sklopa vprašanj.
Povedal smo definicijo unije in preseka množice množic, a kdo ve kakšne so pa lastnosti, ker nismo nič napisal.
Hvala |
|
|
| Nazaj na vrh |
|
| JCD |
| Objavljeno: 10 Nov 2007 21:00 |
|
|
|
Pridružen/-a: 12.10. 2007, 19:44
Prispevkov: 21
Kraj: Loška Dolina
|
| Saj smo napisali. No vsaj zdi se mi. Pač obe sta asociativni in komutativni, unija z A in prazno množico je A, presek A in prazne množice je prazna množica, potem velja idempotentnost ( A U A ~ A , A presek A ~ A), abosorbcija ( A U (A presek B) ~ A ; A presek (A U B) ~ A), ... |
|
|
| Nazaj na vrh |
|
|
|
