Messages

to uz neviem, nebolo povedane, ze je to kvoli tomu ze sme prvi, len ze ked sa niekomu nepacia otazky a najde niekoho co sa chce vymenit, moze...

inac neviem ci to tu bolo spomenute, ale teraz mi napadlo, ze na prvom termine sme si mohli po rozdani zadani oficialne medzi sebou vymenit miesta a teda aj skupiny...
Tymto sa chcem zaroven podakovat cloveku, ktoremu sa nepozdavali jeho otazky (turing. vypocit. fcie a alebra logiky a problem fcionalnej uplnosti), co som samozrejme patricne vyuzil

ja som sa dokazy neucil (okrem PKP a Halting problem) lebo by mi to ucenie zabralo dvakrat tolko casu a navyse som im ani velmi nerozumel a ako som uz povedal, neodporucam pisat nieco comu nerozumiete. Samozrejme dolezite veci treba napisat aj pochopit

Hopcroft&Ulmann by som rozhodne nevynechal, okrem prvych dvoch okruhov (aj k tym sa tu da nieco najst) je tu perfektne vysvetlena cela prva polovica teorie, cize prekticky jedna teoreticka otazka ista... Ale v ziadnom pripade netreba citat celu knihu, ale ist podla okruhov!!
A to ze v tych roznych skriptach su konfiguracie ci prechodove funkcie inac zapisane, je nepodstatne, hudak nie je sujansky, je to jedno jak to zapises, hlavne nech je tomu rozumies... Ja som tiez pisal turingovsky vypocitatelne fcie podla jeho skript, ale konfiguracie TS som pisal tak jak su v ulmanovi a mal som takmer full(asi 22), a to som este mal chybu v tom hlavnom vzorci co tam je dalsie dolezite veci som zabudol spomenut. Dolezite je rozumiet tomu, ked sa ta daco opyta co tam mas napisane, musis vediet co to je! Mna sa napr. pytal co znamena <alfa_p> a Res_Z

tiez by som povedal ze u hudaka zhruba kazdy treti nespravil, ale u korecka to nebolo o nic lepsie. hudak bol v pohode, len mam pocit, ze dokaze zo zeleznou spolahlivostou odhalit, kto pisal z vlastnej hlavy a kto odpisoval z tahaku (aspon co som si vsimol, kym som cakal pred kanclom). Ja som pisal do tej teorie aj kadejake blbosti, aj nespravne vyjadrenia vztahov, ale on ich ani necital. Moja pisomka vyzerala jak slohova praca, teda vsade kopa textu, lebo som sa snazil vsetko opisat slovne a bolo vidno ze to nie je opisane, este mi dal aj otazku o postovej vete o uplnosti, ktoru som uz napisal aj do pisomky, a tu drzal predomnou, takze, aj keby som ju nevedel, tak som si ju mohol precitat...
Takze v skratke:
1)Teeba pisat vela, o hocicom comu rozumiete a tyka sa danej temy, co si nepamatate doucit po pisomke (cca 2-3 hodiny casu)...
2)Nesanzit sa opisovat, dokonale to odhaloval, mam pocit ze to vedel uz predtym, jak clovek vobec daco povedal...
3)Snazit sa zapajat do toho co hovori hudak. Mne aj povedal ze: to je sice spravna odpoved, ale este som sa vas nic nepytal

gl

to zajtra je posledna sanca odovzdat zadanie do moodlu? ci sa bude dat aj buduci tyzden?

jeeeej, to je ale vymakany system!!!
EDIT: takze zajtra to bude boj 19-tich statocnych

myslim, ze 7:30 tam bolo, ale netusim kde

uz je to tu 

Ja sa tesim na tote psychotropne fatamorganicke zvasty co sa tu objavia zajtra v rozmedzi 22:00 - 05:00.

horsie jak minuly rok pred APS to snad nebude

nie

no hadaj!

potvrdzujem svoju ucast, cize 2/2

Postov korespondencny problem je velmi oblubena teoreticka otazka prof.H na skuske. Najdete to v Hopcrofftovi kdesi ku koncu.

hopcroft -str.300, ale je to aj v hudakovych skriptach (TI-2002), od str. 144, da sa to dobre pochopit na tych prikladoch co su tam, je to viac-menej len taky detsky hlavolam

Tak to nemusi znamenat, ze neda nieco co nebolo na cvikach. Podla mna majster da co si zmysli.

ale zas, s algebrami sme na cviakch nerobili nic, takze sotva moze dat daco v zmysle "previest algebru" a tvrdit, ze je to typovo podobne tomu co sme robili na cvikach!

na poslednej prednaske vravel ze len taky typy ake boli na cviceniach

fiha, tak to je celkom dobra sprava, ala zas takeho zegalkina alebo PKP by som bral hned

PKP je Postov korespondencny problem a na cviceniach u Lalovej sme na to mali 1 priklad (nemam ho poznaceny).

sa mi zda, ze ona hovorila ze PKP je hudakova oblubena doplnujuca otazka, cize ako priklad asi nebude.

to tu vazne nie je nikto co si robil poznamky? niekto musi vediet, ci tie posledne dva okruhy boli odprednasane!

zbabelec 

to by aj mna zaujimalo, ktore "partie" neboli odprednasane! Lebo posledne dve neviem najst nikde a ked to nahodou ani odprednasane nebolo, tak to bude super

velka vdaka! 

sak nestresujte, az taky hardcore to nebude, sak to by potom nik nespravil
najvacsi problem je hladanie teorie podla okruhov vo vsetkych tych materialoch! kedze nikto to asi dokopy davat nebude, bodlo by aspon, keby sme tu pisali, kde sa da co najst, nejak zhruba tak:
1. c.okruhu(podotazka)
2. nazov knihy/nazov pdfka/webadresa/
3. cislo strany
myslim, ze by sme tym usetrili dost casu...

a co to znamena v skutocnosti?

nechce ist niekto 14.1.2010 o 13:00 na skusku z KP. Potrebujem ist skor (08:20, 10:20) ten isty den!
EDIT: solved

co sa smejes? sak tie okruhy mame podobne, jak ste mali vy...
a minuly rok si tvoju robotu ludia pochvalovali

z minulorocneho topicu:

http://www.subory.sk/download/235543/TI.pdf
v podstate tam je to, co aj v materialoch od hudaka (TS+algebry+zobrazenia) a zvysne temy su kombinaciou hopcoft-ullman a jednych skript z UK, viacmenej to som si pozerala, co sa lahsie ucilo (aspon mne)...

nema niekto to pdf? celkom by sa zislo...

Teoretická informatika pre magisterské štúdium:

http://hornad.fei.tuke.sk/predmety/TIMgrInformatika/

sa mi paci ta jeho odporucana literatura, ktora je pripravena do tlace uz par rokov, velmi dobre sa mi z nej uci