Teme » Sporočila 07:58 Mitja Kocjančič Pozvonili ste Igor Rožanc 08:06 Igor Rožanc Zdravo Mitja. 08:06 Igor Rožanc Sem bil na videokonferenci in te nisem opazil. 08:06 Igor Rožanc Igor Rožanc vam je pravkar pozvonil/a! 08:06 Igor Rožanc Imaš kakšno vprašanje? 08:07 Mitja Kocjančič aha, ja imam, sej sem ga že prej napisal pa zgleda se izgubi če ponovno zaženeš stran :) 08:07 Mitja Kocjančič bom še enkrat napisal 08:07 Igor Rožanc Oprosti, pogledam... 08:08 Mitja Kocjančič aha če je kje zgodovina pol krasno, ker jaz ga žal nevidim 08:09 Igor Rožanc ne, žal ne vidim... 08:09 Igor Rožanc moraš napisati še enkrat ... 08:10 Mitja Kocjančič ok 08:11 Mitja Kocjančič pri dn piše takole: Za abstraktni podatkovni tip Int z definiranimi operacijami succ, pred, add, neg in sub pokažite da je 08:11 Mitja Kocjančič za tale izraz: sub(neg(n), m) = neg(add(n,m)) 08:11 Mitja Kocjančič a naj to pokažem s neg pa sub ali je samo s succ(pred dovoljeno? 08:11 Mitja Kocjančič s -+ sem to pokazal takole 08:11 Mitja Kocjančič -(-n+m) = n-m 08:11 Mitja Kocjančič -(n+m) = -n+m = m-n 08:11 Mitja Kocjančič s sub/neg pa takole 08:11 Mitja Kocjančič sub(neg(n), m) = sub(n,neg(m)) 08:11 Mitja Kocjančič neg(add(n,m)) = add(neg(n),m) = sub(n,neg(m)) 08:11 Igor Rožanc Če se vprašanje nanša na forum in vprašanje kolega glede sklada, potem sem že odgovoril in bo odgovor na voljo čez cca 20 min 08:12 Mitja Kocjančič zdaj pa nevem a moram še s succ/pred to pokazati? 08:12 Mitja Kocjančič ali je s neg(sub dovolj? 08:14 Igor Rožanc boljim se, da ne bo čisto tako... 08:15 Mitja Kocjančič da ne? 08:16 Igor Rožanc če pišemo na razumljivejši infiksi način, potem je treba pokazati, da je (-a) - (b) = - (a + b) 08:17 Igor Rožanc izhajati je treba iz tega, kaj je sub: sub (a,b) = add(a, neg(b)) 08:18 Igor Rožanc potem imaš na levi in desni strani enačbe izraz z add in neg 08:18 Igor Rožanc tu se spustiš na raven succ-ov... 08:19 Igor Rožanc Števili a in b napišeš kot succ^a(0) in succ^(b), kjer sta seveda a in b lahko poljubni celi števili 08:20 Mitja Kocjančič am... 08:20 Mitja Kocjančič a mi poskušate pokazati da sub(neg(n), m) ni -(-n+m) 08:20 Igor Rožanc Izpeljava naprej pokaže, da doviš tako na levi kot na desni strani enako 08:20 Mitja Kocjančič malo ste me zmedli 08:21 Igor Rožanc seveda ne: sub(neg(n),m) je (-n) - m 08:23 Igor Rožanc Kaj te tu čudi? 08:23 Mitja Kocjančič kaj je potem tu: sub(neg(n), m) = neg(add(n,m)) potrebno pokazati, če ne tega da je leva stran enaka desni 08:24 Mitja Kocjančič ? 08:27 Igor Rožanc Treba je pokazati, da je sub(neg(n),m)= neg(add(n,m)) na način, da obe strani razdrobiš do succ-ov in pokažeš, da dobiš enako 08:28 Igor Rožanc za to lahko uporabiš različne poti 08:30 Igor Rožanc meni se je zdelo smiselno najpraj zapisati "števila" s succ-i, znebiti se sub-a (ga nadomestiti z add), potem neg-a (z negiranjem "potenc" succov) ... 08:31 Igor Rožanc Kaj te moti? 08:32 Mitja Kocjančič zakaj bi sub nadomestil s add saj sub je pred, add je pa succ? 08:33 Mitja Kocjančič pred( 08:35 Igor Rožanc Ne, malce si zamešal... ok, kot prvo, jaz govorim v smislu posnetih vaj, kjer smo že naredili določene korake... 08:36 Igor Rožanc Tam smo za pred rekli, da se ga da izraziti s succ-i 08:37 Igor Rožanc Če imaš recimo pred^n (0) je to isto, kot bi rekel succ^(-n)(0)... 08:38 Igor Rožanc Torej (lahko) govorimo samo o succ-ih 08:38 Igor Rožanc add in sub sta dejansko operaciji seštevanja in odštevanja succ-ov 08:39 Mitja Kocjančič aha 08:39 Igor Rožanc neg ustreza negiranju oziroma množenju števila (izraženega z succ-i) z (-1) 08:42 Igor Rožanc Torej: sub(neg(n),m) = (n * (-1) - m) ali konkretno sub(neg(succ^4(0)),succ^2(0)) lahko razumemo kot sub(neg(4),2) = -4 -2 = -6 08:43 Igor Rožanc Je bolj razumljivo? 08:44 Mitja Kocjančič aha, samo še vedno mi je pa čudno zakaj ste potem dal na potenco 08:45 Mitja Kocjančič ali namesto n in m si pač izbereš eno številko in potem s njo pokažeš? 08:47 Igor Rožanc V Int-u pač ne pišemo z števili; ta smo definirali kot naslednike 0, torej succ(succ(0)) pomeni 2 08:48 Igor Rožanc Skušaš pokazati za katerokoli številko n in m 08:51 Mitja Kocjančič aha, torej recap za tole rešit je: vsako stran enačbe razdrobiš do succ(0) in ko si to naredil je vse enako 08:52 Igor Rožanc Tako! 08:53 Igor Rožanc upoštevaj zadev iz videa: pred^n(0) = succ^(-n)(0), add(succ^n(0),succ^m(0)) = succ^(n+m)(0) ... 08:55 Igor Rožanc Vsako število ima več zapisov s pred in succ, ampak v bistvu po krajašavah upoštevamo le to, da se ga zapiše z succ^n(0=, kjer je n neko celo število 08:55 Igor Rožanc Rabiš nekaj vrstic... 08:57 Mitja Kocjančič aha, m v tej enačbi je pa verjetno 0 08:57 Mitja Kocjančič torej ? succ^n(m) 09:00 Igor Rožanc joj ne, succ(succ(0)) = succ^2(0) - tam sem zapisal succ^(n+m)(0) kar pomeni m+n succ-ov 09:00 Igor Rožanc Tisti (0) je vedno zraven... 09:02 Igor Rožanc Bo šlo? 09:02 Mitja Kocjančič aha, no hvala potem za vaš trud, bom nekaj sčaral :)