Teoretická informatika

[Sxx]

a ja vcera opity o 5 rano, som nechapal WTF ze sa neprihlasim a neprihlasim

[t0Mi]

Tu je zoznam otazok, mozu sa vsak vyskytnut aj ine..

1.   Konečno-automatové zobrazenia a ich vlastnosti
     a. Sekvenčné, zachovávajúce dĺžku a pridružené zobrazenia
     b. Realizovateľnosť zobrazenia konečným automatom
2.   Nerodove ekvivalencie a ich použitie
3.   Uzáverové operácie nad jazykmi
     a. Elementárne uzáverove operácie nad triedami jazykov
     b. Uzavretosť tried jazykov vzhľadom na zobrazenia
4.   Turingovsky vypočítateľné funkcie ( + príklad )
5.   Metódy konštrukcie Turingovho stroja
     a. Pamätanie stavu ( + príklad )
     b. M-stopový TS ( + príklad )
6.   Modifikácie Turingovho stroja
7.   Univerzálny TS, halting problem, dôkaz
8.   Postov korešpondenčný problém, dôkaz
9.   Algebra algoritmov
     a. Logicko-funkcionálne modely
     b. Báza, mono a poly-druhová algebra, algebraické systémy
10.   Dijkstrova algebra
11.   Algebra schém Janova a formalizácia procesu tvorby algoritmov
12.   Graf-schémy algoritmov
13.   Algebra logiky a problém funkcionálnej úplnosti
      a. Algebra boolovských funkcií
      b. Problém funkionálnej úplnosti systémov
14.   Metaalgebra algoritmiky a štruktúra jej subalgebier
15.   Kritérium funkcionálnej úplnosti v metaalgebre Dijkstry
16.   Metapravidlá konštruovania schém a stratégií spracovania dát
      a. Konvolúcia
      b. Evolúcia
      c. Transformácia

[Skr3k0]

neviete mi niekto poradit, v ktorych oficialnych materialoch, alebo knihe najdem tu schemu/obrazok co je pri halting probleme je to uvedene v emikinom i stamperlikovom pdf ale inde to neviem najst... thx

btw: HALTING PROBLEM

[t0Mi]

moodle, slides, heslo jahodka

[jardo]

tak moja otazka, ma hudak neajke oblubene otazky na ustensj skuske? alebo nejake chytaky?

[kilomassa]

to je uplne super od daktorych ze sa odhlasia na poslednu chvilu ked uz neni sanca sa prihlasit na 27

[DeViLvs]

niekto z intraku kto by mi prisiel vysvetlit priklady na algebry? pozeram do skript a som z toho jelen. odmenim sa povedzme 5e. PM

[radix]

to je uplne super od daktorych ze sa odhlasia na poslednu chvilu ked uz neni sanca sa prihlasit na 27

chod bez prihlasenia

[kilomassa]

narazal som na to ze som sa tu pytal ako kkt kto sa vymeni bo som chcel ist az 24 a vtedy sa nikto neozval a teraz sa odhlasi to potesi cloveka takyto pristup...bol som 20 a nestihal som sa to vsetko naucit ale to je jedno aj tak to nikoho nezaujima len ide o to ze to fakt daktori by sa mohli pozriet aj inak na to ne len sa prihlasim a potom MF a potom sa odhlasim

[DeViLvs]

nikto? ludia, dam 10e tomu, kto mi vysvetli tie priklady. Pls, napr. niekto kto uz ma skusku a rozumie tomu. Sakra ludia, 10e za 2hodky +- 

[t0Mi]

taa aj zadarmo by som ti to vysvetlil kebyze mam cas ktorym nerozumies.. ?

[DeViLvs]

taa aj zadarmo by som ti to vysvetlil kebyze mam cas ktorym nerozumies.. ?

prevody AD do AJ.........sorty........a celkovo algebry
ostatne priklady viem

[kilomassa]

ta si mohol dat moe aj tu nech sa spravi konferencia abudeme sluhac

[Sxx]

to by bolo fajn, tiez by som sa pripojil

[Dulus]

viete teda niekto vysvetlit tie AJ / DJ prikaldy

[bludar]

Zaujimalo by ma ci niekto nema ten INSETRT a SHELL sort nejak dobre spoznamkovany, v knihe je ten INSERT ale niesu tam vysvetlene vsetky znacky...

[bubo]

Mohli by dat zajtra Turinga, Logicko Funkcionalne Modely, a Zegalkina, a ideme domov s A-ckami    kazdopadne drzim vsetkym a sebe palce zajtra.. 

[JankoHrasko]

viete teda niekto vysvetlit tie AJ / DJ prikaldy

popis predikátov a operátorov je v skriptách na str. 163
na str. 168 a 169 sú operátory Dijsktrovej algebry
na str. 174 a 175 Janovej algebry
a aby si pochopil, ako sa vytvára popis algoritmu, pozri do eminkinych vypočítanách príkladov, teda do TI-priklady.pdf na str. 9 (príklad 31), tam je priamo aj prevod z AD do AJ
mne toto stačilo na pochopenie..

[kilomassa]

ake boli dnes otazky?

[peepoo]

jedna skupina:
Turingovsky vypočítateľné funkcie ( + príklad )
Algebra logiky a problém funkcionálnej úplnosti. Algebra boolovských funkcií BF a problém funkcionálnej úplnosti BF
priklad- prevod AD do AJ

[kilomassa]

kolko vas nakoniec bolo ? boli dve skupiny ne?

[bubo]

Uzasne dnes bolo.. z prvej otazky mam 1/3 bodov, druhu mam celu spravnu, a z prikladu dostanem nadpolovicnu vacsinu bodov. Pridem na ustnu, mam viac nez dost bodov na znamku, Hudak mi da 2 otazky, z toho jednu zle odpoviem, a ma posle prec ze mam prist nabuduce............. 

Na ustnej casti vie byt dost nemilosrdny..

[domino3d]

Uzasne dnes bolo.. z prvej otazky mam 1/3 bodov, druhu mam celu spravnu, a z prikladu dostanem nadpolovicnu vacsinu bodov. Pridem na ustnu, mam viac nez dost bodov na znamku, Hudak mi da 2 otazky, z toho jednu zle odpoviem, a ma posle prec ze mam prist nabuduce............. 

Na ustnej casti vie byt dost nemilosrdny..

co si nevedel? mal si sa tvarit ze vies a len rozmyslas... no dost kruty bol a to bol po alebo pred obedom?

[kilomassa]

Uzasne dnes bolo.. z prvej otazky mam 1/3 bodov, druhu mam celu spravnu, a z prikladu dostanem nadpolovicnu vacsinu bodov. Pridem na ustnu, mam viac nez dost bodov na znamku, Hudak mi da 2 otazky, z toho jednu zle odpoviem, a ma posle prec ze mam prist nabuduce............. 

Na ustnej casti vie byt dost nemilosrdny..

ktore si mal otaztky a ake dve ti polozil na ustnej ? inak vies uz kolko ludi asi tak nespravilo ?

[spdy_]

ked som vychadzal o 15.02 od pana H. tak som bol siedmy ktory spravil.. za mnou ostali uz len traja, neviem ako dopadli.
Ale nemozem povedat zleho slova na pana H. spytal sa ma jednu otazku, nebol som si v nej velmi isty, tak mi pomohol ako zacat a potom som to uz dokoncil, a ohodnotil celkom slusne.
Ale dnes tam boli ludia unho dnu az privelmi dlho..cca -10-15 minut jeden. (boli aj vynimky co len vosli a vysli a mali spravenu skusku)

yeeeeah ale konecne je to za mnou.. D-69