Author Topic: Matematicka logika - predtermin (Read 54665 times)

trek · « **Reply #150 on:** 14.06.2007, 21:49:04 »

Quote from: nemtom on 14.06.2007, 21:25:19

moze mi dakto napisat podrobny postup pre separovanie? ale tak ako keby 6rocnemu decku...

aj ja sa pripajam k tejto prosbe s tym rozdielom ze mne to treba vysvetlit ako trojrocnemu decku

mishelka · « **Reply #151 on:** 14.06.2007, 21:53:10 »

ta viac to už neviem vysvetliť, neblbnitee

http://img521.imageshack.us/img521/4315/02ov4.jpg

Ing. nemtom · « **Reply #152 on:** 14.06.2007, 21:57:28 »

hell no, ja nesom advanced 6 rocne decko:D, nechaj tak radsej

edit: a zas som nasiel jednu fasa ppc tuke vec, ze skripta sa este stale menia, odporucam kazdemu kto si tu logiku07.pdf stiahol skor nech si kukne ci ma aktualnu verziu, ja som mal doterz 69 stranovu, ale prave som zisitl ze je nova 71 stranova, v ktorej je rieseny aj prvy priklad ukazkovo, cize zas skur* tuke nam ukazalo ake fasa je tu, ako aj na OP som dostal link s UML sipkami den po skuske, tu asi vsetko sa dozvieme vtedy ked je uz neskoro

psicho · « **Reply #153 on:** 14.06.2007, 21:58:07 »

Quote from: mishela on 14.06.2007, 21:53:10

ta viac to už neviem vysvetliť, neblbnitee
http://img521.imageshack.us/img521/4315/02ov4.jpg

ja som uz zblbol z tej matiky, ucit sa matematicku logiku je ako byt na drogach , normalne tripujem stoho

mishelka · « **Reply #154 on:** 14.06.2007, 22:03:33 »

ako tie príklady nepochopíte keď neviete tie čo boli predtým... (+ nejaká tá teória, pár definícií)

Raleon · « **Reply #155 on:** 14.06.2007, 22:14:49 »

Ing. nemtom · « **Reply #156 on:** 14.06.2007, 22:23:33 »

na celej separacii sa mi najviac paci veta, ktoru budem citovat zo skript:

"Takto vymedzená procedúra má len teoretický význam a ako reálny algoritmus je sotva použiteľná."

to potom znamena ze na skuske to nesmie chybat, lebo to bude v praxi a pri dalsom studiu iste nevyhnutne

mishelka · « **Reply #157 on:** 14.06.2007, 22:31:50 »

ako toto nekomentujem teraz

celá logika bola podľa mňa jedine na to, aby si sa naučil robiť veľké karnafove mapy, ešte aj to ti bude na dve veci...

psicho · « **Reply #158 on:** 14.06.2007, 22:35:41 »

DAJTE SI PIKO a bude vsetko ok

dajsi piko dajsi piko dajsi piko dajsi piko pojde ti karta !!!!!!!!!!!
Tvoja mamka je docela rada ze mas plaaany
len skoda ze koncia nazachode v saaaly
skoda matematik zesi stejk nedaas ,tysi daj metavetu ten tvoj mecenaas
mas 40 kil dobre vyzeras, rapavy chsicht vobec nemas

trek · « **Reply #159 on:** 14.06.2007, 22:51:03 »

Quote from: nemtom on 14.06.2007, 21:57:28

edit: ...ja som mal doterz 69 stranovu, ale prave som zisitl ze je nova 71 stranova, v ktorej je rieseny aj prvy priklad ukazkovo...

asi nemas tu novu verziu ze?

Ing. nemtom · « **Reply #160 on:** 14.06.2007, 22:52:49 »

hm, je este ina? ked hej ta mna jebne

mishelka · « **Reply #161 on:** 14.06.2007, 22:54:51 »

sak na dreamhoste logika07_prednasky - to je revidovaná verzia

Ing. nemtom · « **Reply #162 on:** 14.06.2007, 22:56:08 »

ja mam doma uz 2 revidovane

Raleon · « **Reply #163 on:** 14.06.2007, 23:33:56 »

Quote from: mishela on 14.06.2007, 21:53:10

ta viac to už neviem vysvetliť, neblbnitee
http://img521.imageshack.us/img521/4315/02ov4.jpg

len taky postreh . ta znacka ehm... stvorca je tam functia a ne predikat. Pre tento treba robit ten R2??

mishelka · « **Reply #164 on:** 14.06.2007, 23:48:34 »

pre predikáty robíš R2 a pre funkcie R3.. ako potom to mám len blbo napísané, má tam byť R3..
tak to mám v zošite, nepýtaj sa ma prečo to mám tak

Raleon · « **Reply #165 on:** 14.06.2007, 23:49:21 »

Thanx. Potom uz aj nieco chapem

psicho · « **Reply #166 on:** 15.06.2007, 00:46:57 »

kurnik matematicka logika makes me horny

lool jasa uz neucim , zajtra to bude hardcore masaker ,neeemkeeen ,jasa strasne bojiiiim

Raleon · « **Reply #167 on:** 15.06.2007, 01:00:21 »

budu stacit aj tie najkratsie mätatety ako vlastna mätatea ?

psicho · « **Reply #168 on:** 15.06.2007, 01:01:15 »

podla toho cosa povrava ano

Songoo · « **Reply #169 on:** 15.06.2007, 02:09:36 »

http://sms.tym.sk/priklad1.jpg

question 1 : co sa udialo na 6tom a 5tom riadku (textu nie linajok) od SPODU , prilis moc deja na jeden riadok

.

question 2 : neako mi unika pointa, no dober vezmime ze nejak by sa to dostalo do finalneho rozlozenia , nasleduju posledne tri riadky textu a rozmyslam , to su neake poucky ci to nadvezuje na priklad?? co je vlastne riesenim :??DDD

PS: profesori iduci zajtra na nasu skusku :

mishelka · « **Reply #170 on:** 15.06.2007, 02:21:07 »

Quote from: Songoo on 15.06.2007, 02:09:36

http://sms.tym.sk/priklad1.jpg

question 1 : co sa udialo na 6tom a 5tom riadku (textu nie linajok) od SPODU , prilis moc deja na jeden riadok .

question 2 : neako mi unika pointa, no dober vezmime ze nejak by sa to dostalo do finalneho rozlozenia , nasleduju posledne tri riadky textu a rozmyslam , to su neake poucky ci to nadvezuje na priklad?? co je vlastne riesenim :??DDD

riešením je to čo máš zeleným podčiarknuté.
v 6. riadku odspodu zobral 3tiu axiómu, upravil ju a znegoval. je to viac krokov v jednom, takže si to musíš upraviť postupne

a neguješ to preto, lebo chceš dokázať (v rezolučnej metóde, v ktorej to použiješ), že teória je splniteľná (či dačo také), takže musíš dokázať T, neg(A) že je sporná.
UPDATE: tretí riadok odspodu je R3 pre funkciu ktorá ti vznikla pri skolemizácii (4. riadok odspodu) a tie dva za ním sú upravené R2ky pre = a e

UPDATE2: k tomu príkladu ešte chýba to, že všetky tie podčiarknuté blbosti treba zapísať pre každú inak očíslovanými premennými (konštanty sa nečíslujú), čo sú potom už tie vzniknuté separované klauzuly, ktoré máš dostať.

Songoo · « **Reply #171 on:** 15.06.2007, 03:55:31 »

Dik :
question 3 ;_) :

line 3 from above , could be ?

Existuju x,y , pre vsetky z , existuje q (..
pre vsetky z, existuje q , Existuju x,y (..

??

Take bludarini ma uz trapia xD

, je pravidlo ze setky neuzavrete treba davat celkom nalavo ?

Ing.Veduci · « **Reply #172 on:** 15.06.2007, 04:33:56 »

Quote from: trek on 14.06.2007, 05:33:36

boha krista..neviem sa tie dva blbe typy prikladov naucit ...vobec nerozumiem ako to funguje..no v piatok sa kazdopadne fajne a este aj

co? napijes kofoly a uceses???

mishelka · « **Reply #173 on:** 15.06.2007, 18:53:33 »

YESSS mam to, schytila som super kweščns

psicho · « **Reply #174 on:** 15.06.2007, 19:26:55 »

odkial vies ze mas skusku ?

News:

Author Topic: Matematicka logika - predtermin (Read 54665 times)