Messages

...po vojne je kazdy general

kamarat , ja som mal este programovacie techniky a teraz studujem externe a vidim ten rozdiel jak to islo dolu vodou, ked dakto da na zapoctovke z predmetu Udajove struktury a algoritmy , ti pisat nieco o RAM stroji , neni to trochu padnute na hlavu?

Takze ju uz mam za sebou... 3 otazky...

1. RAM program - 1 skupina mala povedat co to robi, 2ha mala do RAMka dopnil nejaky kod aby to robilo to co ma. -6 bodov
2. Strom nakresleny a spravit preorder a post order + velkost stromu. (len vypisat vrcholy jak maju ist saq znace co ) -3 body
3. Uplny binarny strom velkosti m ma ... vrcholov a ... listov. -2 body

Aale neviem ci to vsetci take budu mat taze tak..

toto fakt , viac primitivnu zapoctovku som este nevidel z tohto, kam sa hrabu stare zapoctovky z programovacich technik ))
jak pekne je vidiet jak ide uroven dolu vodou

hej to viem, ale napr ak mam uz napisany niejaky kod, a je v nom niejaka chyba. Tak rovno dostanem 0 bodov, alebo sa niejak oboduju ostatne casti a stratim niejaku cast bodov?

a v com by si chcel pisat ten kod? v cecku tazko ;p skor je to v PL kode , cize fatalnu chybu najdes lahko, ale mensia chyba hlavne v syntaxe viditelna byt ani nemusi
skor by som povedal ze ide o to ci rozumies danej problematike prechadzania stromov,dynamickemu programovaniu , triedeniu,vyvazovania 2-3 stromov atd .. a vsetky tie algoritmy v pseudo kode su uz na tych simonakovych prednaskach resp niektore specifikacie ako adt , stack , b strom su tam tiez

na zapoctovke by malo byt realizovane nieco co je tazko riesitelne na moodli(skuska) cize nieco ako pisanie pseudo PL kodu ,neviem ako napr napiste kod na realizaciu POSTORDER s rekurziou, alebo mozes dostat priklad na Divide & COnquer, resp , zotriedit nieco podla nejakeho sortu resp insert/delete na 2-3 stromov a co ja viem co este

preco je nasl. slovo formula?
g(b,x).f(g(a,y)) = g (a,a)  

...ved "=" ako rovnost moze byt iba pri termoch a toto aj tak term nie je
...alebo mam chybu v zosite a namiesto "=" ma byt "=>" ??

g(b,x).f(g(a,y)) = g(a,a)  , preco to neni term , ja by som povedal ze g(a,a) termom je ;p term = term a teda formula(zakladna)

super, diky obom

ale sice, este jeden priklad pri ktorom som si nie celkom isty
a to (PREKAZDE x) x^(y ALEBO z)

(∀x)x ^ (y v z) v provm rade toto je predikatova logika a kvantifikatory ∀ ako aj ∃ sa viazu na predikaty , neni pripustne aby tam boli premenne xyz.
AK by si tam mal predikaty namiesto premennych , uz by to bola formula , takto je to nic ;p

[1 .kazda premena a kazdy konstantny sumbol je term]

Asi najlepsie je zacat s tym co je term a co je formula , resp zakladna formula . Term moze byt  1 .kazda premena a kazdy konstantny sumbol je term , a navyse ak funkcny symbol je arity n(udava velkost rozmeru pola termov) a t1...tn su termy tak potom oznacenie 2 .f(t1...tn) je tiez term. .

Akakolvek kombinacia 1 a 2 je term.A navyse termy mozu vznikat skladanim funckii, tj ta (.)


Cize k prikladu  1 f(x,g(a)).g(f(g(y),a))

mas tam funkcne symboly f a g, pricom f - binarny funkcny symbol (ma dva parametre )a g - unarny funkcny symbol (1 paramater ) a dalej mas tam konstantne symboly a a b.
Kedze v prikladne nemas zadane akej arity su funkcne symboly , dany priklad je v poriadku , lebo tam je dovolena kombinacia konstant , premennych a funkcnych symbolov. Cize je to term.

K prikladu 2. g(a,x).y = P(z,b) , nie je to ani formula a ani term. a preco?
V provm rade predikatovy symbol = sa da pouzit len na porovnanie dvoch termov , na lavej strance mas TERM a na pravej strane mas PREDIKAT , dokonca aj keby si chcel porovnat 2 predikaty , tak by by to nebolo mozne.

K prikladu 3  f(a).g(y,b) = z. je to formula a dokonca zakladna formula . Na lavej strane mas term , na pravej strane mas term  , rovnaju sa a rovnost dvoch termov vyjadruje zakladnu formulu.

Formula vseobecne sa moze skladat z termov , predikatov ,kvantifikatorov a log. spojok.

[meni]

tak co ? vie niekto vysvetlit ten minimalny konjuktivny tvar z karnafovej mapy ?

no to mas jednoduche , ked hladas KNT, tak hladas zhluky nul , ak hladas DNT tak hladas zhluky 1ciek , zhluky mozu byt len nasobky 2 , tj 2 4 8 16 ... atd pricom kazda jednicka v mape musi byt nejak pokryta , a jednu bunku mozes vyuzit aj viackrat

karnovu mapu si mozes predstavit ako rolku , tak "zgrupovat mozes" aj po okrajoch , ale len v tom prislusnom riadku / stlpci
a ak mas KF 5 premennych , tak tie mapy si mozes "ulozit" nad seba a ak su nad sebou poizitelne zhluky , mozes ich pouzit tiez

v pripade ze nevies nejaku 1/0 nulu zlucit s nijakou inou 2/4/8/16 icou tak vypises len jej poziciu v nkt /dnt

cize v podstate , cim lepsie zhluky urobis , tym viac minimalny NKT/DNT dostanes , a o tom sam ozes presvedcit tak , ze nemozes ten minimalny tvar uz dalej upravovat vyberom pred zatvorku a pod,

ak uz mas nejaky konecny "zhluk" 0/1 tak sa pozeras ako sa ti menia premenne , ak v kazdom riadku /stlpci je premenna rovnaka tak pises 0 alebo 1 podla toho ako to mas v tabulke ak sa ti meni tak nepises nic

dalsi rozdiel je v tom ze pri NKT a pri NDT pouzivas iny kluc pri zaposivani minimalneho tvaru z KF
- pri NDT je 1 nenegovana a 0 je negovana premenna
- pri NKT je 1 negovana a 0 nenegovana premenna

ak sa ches presvedcit o spravnosti ne webe je dost materialu ako aj prorgamy na vypocet min tvarov aka http://sourceforge.net/projects/k-map/


tak som si dal tu namahu a oskenoval postup pre ten prvy priklad , ten druhy je o tom isom principe len je to z knt na dnt tusim a 5 premennych , a je to pruda http://tinypic.com/view.php?pic=vonbyq&s=6 a http://tinypic.com/view.php?pic=14mt6p&s=6