Teoretická informatika

[kilomassa]

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 

jaku ti dal otazku ?inak 7my hm aj keby ti 3 spravili tak zas 10 z 27 neni vela

[ropman]

u neho je to strasny random. niekomu len spocita body, niekomu polozi jednu otazku a ked nevie tak dovi niekomu polozi viac otazok a aj ked nevie tak prejde... nerozumiem tomu. kazdopadne ja som presiel aj ked som skoro nic nevedel a zaver ku ktoremu som dosiel pri poslednej otazke bol uplne zly. tak som si uz hovoril ze na 100% neprejdem, ale nakoniec som dostal D comu som ani neveril a fest som sa potom strapnil bo som bol uplne mimo . vskratke, bez lucku sa to neda prejst, ak sa tomu clovek naozaj poriadne nevenuje pocas celeho semestra..

[piton]

Hudakove spravanie na skuske ma nedeterministicky charakter
drzim palce vsetkym...

[DeViLvs]

jj pravda, niekoho sa vypytuje a niekomu len spocita body. Mozno je to podla bodov za priklad a mozno je to cisty random. Ale zda sa mi, ze ti ktori mali priklad full, pripadne blizko full, tak sa ich uz velmi nevypytoval, alebo vobec. Konkretne ja som mal priklad 17 z 20, T1 25b, T2 0b a nic len mi spocital body a ci moze byt, ci nechcem k tomu nieco povedat. Odpoved bola, ze radsej nie, tak sme zasmiali a slapal som prec.

[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 

jaku ti dal otazku ?inak 7my hm aj keby ti 3 spravili tak zas 10 z 27 neni vela

mal som chybne napisanu Samodualitu, tak sme rozoberali kedy su dve funkcie vzajomne dualne a kedy je funkcia samodualna, a na konkretnych prikladoch sme to riesili.

[markus]

jj pravda, niekoho sa vypytuje a niekomu len spocita body. Mozno je to podla bodov za priklad a mozno je to cisty random. Ale zda sa mi, ze ti ktori mali priklad full, pripadne blizko full, tak sa ich uz velmi nevypytoval, alebo vobec. Konkretne ja som mal priklad 17 z 20, T1 25b, T2 0b a nic len mi spocital body a ci moze byt, ci nechcem k tomu nieco povedat. Odpoved bola, ze radsej nie, tak sme zasmiali a slapal som prec.

ja by som povedal ze to je od nalady
pretoze ja som mal priklad na 18 bodov z T1 som mal napisane vsetko a ohodnotil mi to dvomi bodmi az po ustnej casti

[Trent]

My sme sa bavili o TV reklamách.

[bubo]

jj pravda, niekoho sa vypytuje a niekomu len spocita body. Mozno je to podla bodov za priklad a mozno je to cisty random. Ale zda sa mi, ze ti ktori mali priklad full, pripadne blizko full, tak sa ich uz velmi nevypytoval, alebo vobec. Konkretne ja som mal priklad 17 z 20, T1 25b, T2 0b a nic len mi spocital body a ci moze byt, ci nechcem k tomu nieco povedat. Odpoved bola, ze radsej nie, tak sme zasmiali a slapal som prec.

ja by som povedal ze to je od nalady
pretoze ja som mal priklad na 18 bodov z T1 som mal napisane vsetko a ohodnotil mi to dvomi bodmi az po ustnej casti

tak toto je krute

[JohnyM]

nema niekto ulozene ake otazky boli na predchadzajucich terminoch? tak pekne pokope jak to bolo pred padnutim fora

[radix]

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

[JohnyM]

nenene toto som videl ine som myslel, podla datumu som chcel

[Squirrel_sK]

suhrn otazok zo semestra:
=====================4.1.==========================
A)
T1:  Uzaverove operacie. Uzaverove operacie nad jazykom.
       Elementerne uzaverove operacie nad triedami jazykov
T2 Algebra: baza, poly mono druhova algebra. Alegebraicke systemy. Logicko funkcne modely.
P: Zostrojte algoritmus Dijkstra pre triedenie postupnosti pouzitim Minimalneho prvku zostupne.

B)
T1 - Automatove zobrazenia - vlastnosti k tomu
T2 - Metaalgebra algoritmov, kriterium funkcionalnej uplnosti v dijkstrovej metaalgebre.
P - Polynom zegalkina z dvoch funkcii.

=====================11.1.==========================
Len jedna skupina bola

TI2I.6 : Turingovsky-vypocitatelne funkcie. Definicia a ilustracia na priklade.

TI2II.6 : Algebra logiky a problem funkcionalnej uplnosti.
     Algebra boolovskych funkcii (BF) a problem funkcionalnej uplnosti systemov BF.

Priklad
Previest do algebry Janova z Dijkstru.

=====================13.1.==========================
A)
Dijkstrova algebra + napisat konvoluciu evoluciu
Univerzalny turingov stroj + Halting Problem
Priklad bol stroj s dvoma pocitadlami (a na 2n,b na n,c na n)

B)
Nerodove ekvivalencie
Algebra algoritmov
Prepisat asi Bubblesort do Dijkstry
 


=====================17.1.==========================
A)
1.otazka:
Uzaverove operacie. Uzaverove operacie nad jazykom.
Elementerne uzaverove operacie nad triedami jazykov

2.otazka:
baza, poly mono druhova algebra. Alegebraicke systemy. Logicko funkcne modely.

Priklad: Zostrojte algoritmus Dijkstra pre triedenie postupnosti pouzitim Minimalneho prvku zostupne.


B)
1 otazka: turing. vypocitatelne funkcie
2 otazka: alegbra logiky a boolova algebra
priklad: previest do Alg. Janova nejaky bordel...

sorry, som to tu pastol jak som to mal v docku.. mal som tazky den na TI tak to chapte

[t0Mi]

...

ten suhrn robil markus, na taketo nieco sa pouziva quote...

[domino3d]

...

ten suhrn robil markus, na taketo nieco sa pouziva quote...

zbytocne... moralna uroven ucasnikov fora upada. Toto nebol prvy pripad...

[Ali N]

jj pravda, niekoho sa vypytuje a niekomu len spocita body. Mozno je to podla bodov za priklad a mozno je to cisty random. Ale zda sa mi, ze ti ktori mali priklad full, pripadne blizko full, tak sa ich uz velmi nevypytoval, alebo vobec. Konkretne ja som mal priklad 17 z 20, T1 25b, T2 0b a nic len mi spocital body a ci moze byt, ci nechcem k tomu nieco povedat. Odpoved bola, ze radsej nie, tak sme zasmiali a slapal som prec.

ja by som povedal ze to je od nalady
pretoze ja som mal priklad na 18 bodov z T1 som mal napisane vsetko a ohodnotil mi to dvomi bodmi az po ustnej casti

Nezavadzaj, k PCP si nemal napisane vsetko a mal si to viac nabiflene nez pochopene

[thom]

Dnes bola iba jedna skupina? Ked sa pisalo iba o jednej.

[DeViLvs]

ta druha mala tusim presne tie otazky ako na 17.1.2011 sa mi zda.

[bubo]

ja som mal:

Algebra, tie modely, baza, viac-radove algebry
Uzavretost operacii nad jazykmi

a druha skupina mala tusim

Vypocet TS
Algebra logiky

Inac ked chcem ist na opravak, je lepsie ak pojdem neprihlaseny? (keby som znovu musel ist )

[Ali N]

ja som mal:

Algebra, tie modely, baza, viac-radove algebry
Uzavretost operacii nad jazykmi

a druha skupina mala tusim

Vypocet TS
Algebra logiky

Inac ked chcem ist na opravak, je lepsie ak pojdem neprihlaseny? (keby som znovu musel ist )

No, pokial nepojdes na ustnu v pripade ze uvidis ze to nema vyznam tak mozno je lepsie ist neprihlaseny kedze neprides o termin, len teraz tieto posledne terminy su dost natreskane tak nemas istotu ze ta zoberu, a navyse aj tak sa chlieb lame az na ustnej casti a na tu ak pojdes tak pravdepodobne mas po termine tak ci tak

[markus]

hmmm typek co bol pri nas bol 3tikrat a mu povedal ze mu termin nezapocita alebo take nieco ak sa nemylim ale niesom si stopro isty

[bludar]

V rámci Algebier sa začalo operovať s termínom TERM. Čítam si poučku aj sto krát ale myslím že tomu úplne nerozumiem. Vedel by mi niekto vysvetliť nejako polopatisticky, že čo ten TERM je

[t0Mi]

term je prvok z mnoziny generatorov alebo
aj n-arna fcia ktorej argumenty su termy.
polopatistickejsie neviem...

[Cheiftan]

co si myslite moze sa stat ze Hudak vypise este jeden termin naviac?

[trek]

minuly rok sa to stalo...boli myslim 2

[Ali N]

hmmm typek co bol pri nas bol 3tikrat a mu povedal ze mu termin nezapocita alebo take nieco ak sa nemylim ale niesom si stopro isty

on vravel ze predtym nemal zapisany termin lebo nebol prihlaseny a nesiel na ustnu ... a myslel si ze aj teraz mu ho mozno nezapocita, ale bol tusim koli tomu za koreckom, ten ho poslal za hudakom a akurat ked som ja isiel na ustnu tak si isiel vybavit to nezapisanie a hudak mu povadal nieco v zmysle ze "to nechajte na mna ci vam to zapisem alebo nie" ... ako dopadol tak to netusim