TI

[Sxx]

Nahradna/opravna pisomka je v 13. tyzdni?

[kukoca]

zevraj po predtermine (21.12)

[MackoZlesa]

planuje sa niekto odhlasit z predterminu? 

[Dodik]

no jaky bol predtermin?

[kukoca]

TI - predtermin 1 skupina 1. Automatove zobrazenia - vlastnosti k tomu
2. Metaalgebra algoritmov, kriterium funkcionalnej uplnosti v dijkstrovej metaalgebre.priklad Zegalkin

2 skupina 1. Algebra logiky, problem funkcionalnej uplnosti algebry logiky, algebra boolova, problem funkcionalnej uplnosti algebry bool.
2. Turingovsky vypocitatelne funkcie, definicia a priklad.
priklad - Prevod AD -> AJ

3skupina 1. halting problem + dokaz + univerzalny turingov stroj,
2. Dijkstrova algebra
priklad - stroj s 2 pocitadlami (a na 2n; b na n; c na n )

[MackoZlesa]

TI - predtermin 1 skupina 1. Automatove zobrazenia - vlastnosti k tomu
2. Metaalgebra algoritmov, kriterium funkcionalnej uplnosti v dijkstrovej metaalgebre.priklad Zegalkin

2 skupina 1. Algebra logiky, problem funkcionalnej uplnosti algebry logiky, algebra boolova, problem funkcionalnej uplnosti algebry bool.
2. Turingovsky vypocitatelne funkcie, definicia a priklad.
priklad - Prevod AD -> AJ

3skupina 1. halting problem + dokaz + univerzalny turingov stroj,
2. Dijkstrova algebra
priklad - stroj s 2 pocitadlami (a na 2n; b na n; c na n )

1 skupina: 1. otazka bola: Konecno-automatove zobrazenia: sekvencne zobrazenia, seq, zd, pridruzene zobrazenia a ich vlastnosti, relacia nerozlisitelnosti, vaha a baza, realizovatelnost sekvencnych zobrazeni konecnym automatom

[MorFiuM]

a ako to bolo s uspesnostou?

[MackoZlesa]

a ako to bolo s uspesnostou?

Kto mal stastie, isiel ku Koreckovi, kde bola uspesnost asi v celku vysoka. Skupina, ktora mala sekvencne zobrazenia a metaalgebru isla k prof Hudakovi. Tam bola prevaha fx, sem-tam E, jedno C ale aj Acko.

[kukoca]

no ja B u Hudáka, zo skusky len 6 bodov mi stiahol, treba vediet co sa spyta, ale nebol vobec zakerny, skor prijemny

[Luk1]

A co take sa pytal ? Len ktomu co si mal v pisomke a nebolo mu jasne alebo aj z uplne inych otazok ?

[kukoca]

Len z písomky, musíš vedieť presne všetko čo máš napísané, mne chýbala uzatvorenie zátvorky hranatej, a sa spýtal teraz má to tam byť , alebo nie a čo to robí..., takže radšej napísať menej, čím si istý ako zbytočne dlhé bludy, čo ani nevieš čo to znamená

[Sxx]

Je nieco co bolo minule roky a tento rok sa to na skuske nevyzaduje? Neaky priklad vraj ale teraz si niesom isty ktory.
Pripadne kto chodieval na prednasky, otazky by mali byt ako minule roky alebo sa nieco menilo?

[MackoZlesa]

Davam tu prehlad otazok a prikladov z minuleho roku. Na predtermine ziadna zmena. Dokonca sa zhoduju aj skupiny s minulorocnymi, ale to na dalsom termine uz nemusi platit, ale riskol by som to

Odporucam si tie otazky fakt dobre vypracovat (podla prednasok a skript) a tak sa ich naucit.

[dEVIANT]

Neviete niekto či môžu byť na skúške príklady typu :

je dany bezkontextovy jazyk L1, jazyk L2=(a1a4a7...a3k+1; k je vacsie rovne 1, ai patri L1) a trebalo dokazat, ze L2 je tiez bezkontextovy jazyk

Nevie niekto ako sa také niečo dokazuje? Dačo som na fóre našiel...

Alebo k príkladu : priklad -zo sekvencneho spravit KA

Nemá niekto niečo?

[kukoca]

také asi nemá byť

[tino8]

a z coho sa ucite priklady?

[milano.1]

zdravim... z coho sa ucite na skusku? z ktorych script? a co su hlavne veci na ktore si treba dat pozor? popripade heslo na predmet do moodlu??? dakujem

[monteee]

vedel by mi niekto poradiť čo konkrétne by bolo vhodné k otázke turingovsky vypočítateľné funkcie vypísať z moodlovského pdfka? ..tie rekurzívne schémy a funkcie? ak hej tak čo z toho lebo sú to 4 strany .. 

[MorFiuM]

13.1.2011

1. skupina:
A. uzaverove operacie
B. algebra algoritmov, baza, logicko funkcne modely
priklad: triedenie pomocou minimalneho prvku v Dijsktrovej algebre

2.skupina:
A: KSA, deterministicky KSA vs nedeterministicky KSA, determinizacia <- NEW
B: Algebra logiky, Boolova algebra, Veta o funkcionalnej uplnosti
priklad: Stroj s 2 pocitadlami rozpoznava jazyk a²ⁿbⁿc²ⁿ

[elvolcanoik]

mohli by ste napisat ake otazky boli 16. ?

[MorFiuM]

1. skupina

1) TS- pamatanie stavov - princip a ukazka na priklade, m-stopova paska - princip a ukazka na priklade
2) Dijkstrova algebra - kriterium funkcionalnej uplnosti pri DA
3) priklad Zegalkin

2. skupina

1.) halting problem a univerzalny TS
2.) Dijkstra
3.) automat

tolko som pocul. nebol som na tej skuske.

[Sxx]

Mate v maise znamky z terminu 13.1 ?

[ppt]

Uz je 17.1. a ziadne detaily zo skusky na fore? Jak to? Ucitelia vam zakazali pisat? Ci tu vladne cenzor?

[radix]

Uz je 17.1. a ziadne detaily zo skusky na fore? Jak to? Ucitelia vam zakazali pisat? Ci tu vladne cenzor?

alebo uzavreta skupina na FB

[Marko033]

Uz je 17.1. a ziadne detaily zo skusky na fore? Jak to? Ucitelia vam zakazali pisat? Ci tu vladne cenzor?

alebo uzavreta skupina na FB

tak tak uzavretá skupina