Author Topic: Matematická Logika (Read 57834 times)

Rajo · « **Reply #75 on:** 21.10.2011, 15:07:52 »

MKT nie je správne, tá posledná disjunkcia je tam úplne zbytočne pretože si už popísal všetky 0...alebo žeby znova nejaký extra Miškovej systém?

orsi · « **Reply #76 on:** 21.10.2011, 15:56:10 »

to nie je žiadny extra systém

je to tam uplne zbytočne.

veteran · « **Reply #77 on:** 21.10.2011, 17:39:14 »

Quote from: Rajo on 21.10.2011, 15:07:52

MKT nie je správne, tá posledná disjunkcia je tam úplne zbytočne pretože si už popísal všetky 0...alebo žeby znova nejaký extra Miškovej systém?

Ahá, jasné. Až teraz mi došlo. Toto posledné je tam navyše. Ale zasa na druhej strane, nič nechýba

Rajo · « **Reply #78 on:** 21.10.2011, 20:12:23 »

a my sme zasa mali zistiť, či je daná formula sémantickým dôsledkom inej formuly

esperian · « **Reply #79 on:** 22.10.2011, 03:15:32 »

inak mna by celkom zaujimalo, ze podla coho urcujeme 1. 2. 3. .... vyrokovu premenu ktoru eliminujeme ?? alebo je to jedno ?

Wolfdale · « **Reply #80 on:** 25.10.2011, 23:27:38 »

treba najprv vybrat taku, ktora ma hodnotu v jednom riadku aj 0 aj 1...ked si vyberies napriklad taku, ktora nema negaciu, t.j. bude mat hodnotu iba 1, tak nevies urcit rezolventu

esperian · « **Reply #81 on:** 26.10.2011, 00:19:24 »

cize ak mam take funkcie :
~/negacia

~x v y,....~x v z,....x v y,....~y v x,.....~x v ~y v z

tak je jedno ci ako prve zoberiem x alebo y ?? z-ko nemozem lebo nema negaciu... alebo je potrebne poyerat aj nato kolo 0,1 je mozne danej premennej pridelit... cim viac tym skor tu premennu urcim.

Wolfdale · « **Reply #82 on:** 26.10.2011, 00:32:01 »

presne tak, je jedno ze ci x alebo y, pozerat kolko 0 a 1 sa da pridelit jednej premennej sa odporuca, pretoze cim menej mas, tym sa to lahsie urci...

esperian · « **Reply #83 on:** 26.10.2011, 00:34:36 »

diky moc

edit// ale je zaco, uz som ani necakal ze sa niekto najde

Wolfdale · « **Reply #84 on:** 26.10.2011, 00:50:47 »

you´re welcome

SteLa · « **Reply #85 on:** 27.10.2011, 15:28:07 »

myskova pyta ospravedlnenky?

veteran · « **Reply #86 on:** 27.10.2011, 15:38:45 »

Quote from: SteLa on 27.10.2011, 15:28:07

myskova pyta ospravedlnenky?

Áno.

Tren · « **Reply #87 on:** 27.10.2011, 17:21:34 »

Quote from: veteran on 27.10.2011, 15:38:45

Quote from: SteLa on 27.10.2011, 15:28:07
myskova pyta ospravedlnenky?
Áno.

ale nebaziruje natom az tak

SteLa · « **Reply #88 on:** 02.11.2011, 03:34:57 »

Co myslite ze bude na pisomke z matiky?

Zasa som prepocula^^

esperian · « **Reply #89 on:** 02.11.2011, 03:38:37 »

pisomka ??kedy ?

bEnd3r · « **Reply #90 on:** 02.11.2011, 03:40:31 »

nam myskova slubila o tyzden z rezolucnej metody.. zase bleskovka za 3b

Cici · « **Reply #91 on:** 02.11.2011, 04:07:42 »

Quote from: bEnd3r on 02.11.2011, 03:40:31

nam myskova slubila o tyzden z rezolucnej metody.. zase bleskovka za 3b

uz len doplnim ze hovorila o 8. tyzdni

SteLa · « **Reply #92 on:** 02.11.2011, 04:37:31 »

ja som pocula o tyzden^^.. pred tyzdnom.. nic no

bEnd3r · « **Reply #93 on:** 02.11.2011, 05:05:09 »

mam vo stvrtok 10:50 a minuly tyzden nam hovorila ze nam da o dva tyzdne teda v 8. ..neviem ako v ostatnych skupinach

Wolfdale · « **Reply #94 on:** 02.11.2011, 05:36:08 »

Quote from: SteLa on 02.11.2011, 04:37:31

ja som pocula o tyzden^^.. pred tyzdnom.. nic no

zle si pocula napriek tomu ze si sedela uplne vpredu

esperian · « **Reply #95 on:** 02.11.2011, 05:50:52 »

cize ta skupina co ma stvrtok 12:20 tak tiez ma az v 8 tyzdni ? jo ? ci ?

orsi · « **Reply #96 on:** 02.11.2011, 14:01:15 »

aj my mame v osmom tyzdni z myskovou v piatok, teraz je siedmi takže nic, pohoda

veteran · « **Reply #97 on:** 02.11.2011, 14:05:55 »

Áno, áno, bleskovka s Myškovou je až o týždeň. No stress

matotv · « **Reply #98 on:** 09.11.2011, 21:20:04 »

zdar, takze zajtra piseme s myskovou bleskovku vsak?

mne sa zdalo ze vravela, ze to bude len z rezolucnej metody...dufam ze som pocul dobre...vie to niekto naisto?

Wolfdale · « **Reply #99 on:** 09.11.2011, 22:30:29 »

ano bude len z rezolucnej metody

News:

Author Topic: Matematická Logika (Read 57834 times)