suhrn otazok zo semestra:
=====================4.1.2011==========================
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.2011==========================
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.2011==========================
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.2011==========================
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...
=====================20.1.2011==========================
A)
prva otazka bol PCP a MPCP a druha otazka graf reprezent. a graf-schema (toto som necakal)
priklad bol turingov stroj rozpoznava L x pricom x patri 0,1,2 * ... kazdy mohol napisat riesenie vlastne niekto pouzil zasobniky niekto ne... s este som zabudol ze podmienka bola aby pocet 1 a 0 bol rovnaky 2 bolo jedno kelo budze...
B)
1. Zobrazenia definovane na jazykoch. Uzavretost tried jazykov vzhladom na zobrazenia.
2. Metapravidla konstrukcie schem a strategie spracovania dat: konvolucia, evolucia, metapravidlo transformacie schem.
PR.: Dijkstra - bubblesort zostupne.
=====================24.1.2011==========================
A)
1.otazka:
Turingovsky vypočítateľné funkcie ( + príklad )
2.otazka:
Algebra logiky a problém funkcionálnej úplnosti. Algebra boolovských funkcií BF a problém funkcionálnej úplnosti BF
B)
1.otazka:
baza, poly mono druhova algebra. Alegebraicke systemy. Logicko funkcne modely.
2.otazka:
Uzaverove operacie. Uzaverove operacie nad jazykom. Elementerne uzaverove operacie nad triedami jazykov
priklad- prevod AD do AJ
=====================27.1.2011==========================
1.skupina
- Nerodove ekvivalencie
- Algebra algoritmov
- Turingov stroj s jednou vstupnou paskou a dvomi zasobnikovymi - a^2n b^n c^n
2.skupina
- Uzáverové operácie nad jazykmi - Uzavretosť tried jazykov vzhľadom na zobrazenia
- Metapravidlá konštruovania schém a stratégií spracovania dát - Konvolúcia, Evolúcia, Transformácia
- Prepisat Bubblesort do Dijkstry, zostupne