Teoreticka informatika

[glassworker]

Tak dnes boli otazky:
1. Rozhodnutelne a nerozhodnutelne problem, Postov korespondencny problem,
2. Janova algebra + formalizacia procesu tvorby algoritmov
Pr. Ci sekvencne zobrazenie pomocou KA
pr. Zegalkin

Druha skupina:
Nerodove ekvivalencie
zvysok si nepamatam

druha mala nerodove, algebry algoritmov, AD->AJ, urcte, ci je jazyk det. bezk. - ZA

a aka bola bilancia? spravili vsetci ci ako

[kOsTi]

podla mna este len niekedy teraz zacne skusat

[mafo]

tak trosku ma tie otazky prekvapili

[ApokalypS]

takze piatok idete so Smokiem skusit este raz?

[maTo]

bol som prvy (asi po 3-4 nezucastnenych) a vyzeral dopohody, bo bavili sme sa pohode...mam D 69...vseobecne pekne cislo

[danielmi]

bol som prvy (asi po 3-4 nezucastnenych) a vyzeral dopohody, bo bavili sme sa pohode...mam D 69...vseobecne pekne cislo

o com ste sa bavili? o pocasi asi nie...

[maTo]

bol som prvy (asi po 3-4 nezucastnenych) a vyzeral dopohody, bo bavili sme sa pohode...mam D 69...vseobecne pekne cislo

o com ste sa bavili? o pocasi asi nie...

trosku o nerodovych, trosku o algebrach

[matbir]

takze pan kolega, cas nam suri, tak spocitame body, ............ takze D-65. okej, vdaka, majte sa, pekny den ))

[rennow]

takze pan kolega, cas nam suri, tak spocitame body, ............ takze D-65. okej, vdaka, majte sa, pekny den ))

ty vole

[Padres]

 

Druha skupina:

- Nerodove ekvivalencie
- Algebry algoritmov
- Zistit ci je L = { wcw na R } (proste zrkadlovy obraz), {0, 1} deterministicky bezkontextovy jazyk
- Previest algoritmus do algebry Janovej

[lada]

takze pan kolega, cas nam suri, tak spocitame body, ............ takze D-65. okej, vdaka, majte sa, pekny den ))

tak to si mal naozaj pekny den

[glassworker]

mam otazku pri uzaverovych operaciach, stacia triedy jazykov 0,1,2 ? .... alebo treba aj 3-ju tiredu co su regularne jazyky ?

[puq]

mam otazku pri uzaverovych operaciach, stacia triedy jazykov 0,1,2 ? .... alebo treba aj 3-ju tiredu co su regularne jazyky ?

tak regularne jazyky su uzavrete na vsetky spominane operacie cize toto by mohlo stacit

[roman5555]

co by mohlo byt v piatok ?

[puq]

ja to vidim na nieco take: Algebra boolovských funkcií, Uzáverové operácie nad jazykmi, Univerzálny TS. Nerozhodnuteľnosť problému zastavenia TS

z toho urcite nieco bude aspon podla mojho odhadu

[rennow]

mam otazku pri uzaverovych operaciach, stacia triedy jazykov 0,1,2 ? .... alebo treba aj 3-ju tiredu co su regularne jazyky ?

tak regularne jazyky su uzavrete na vsetky spominane operacie cize toto by mohlo stacit

V ramci tych uzaverovych opercii staci vypisat ,kde  su a kde nie , alebo treba aj dokazovat???

[badi]

happy man ... :-)
no ja som mal tu skupinu s PKP a Janovou alg ..
a sa ma pytal ako moze byt ze PKP je neriesitelny ked priklad ktory som mu uviedol bol riesitelny. A toto som mu nejako .. rozumne vysvetlit nevedel. nechcel pocut ani o aloritmoch ani o TS ...
a este mi dal napisat zatvorky ake su pri tych prevodoch medzi AD -> AJ kedze som ich nemal napisane ...

EDIT : a musim ho pochvalit, kedze podla mna sa snazil dopomoct ku nejakej znamke, nemal som pocit ze by ma chcel silou mocou vyhodit

[glassworker]

pod otazkou algebra algoritmov, co by ste tam pisali ?
nieco ako : co je algebra, univerzalna algebra, baza, logicko funkcionalne modely, mnoho druhove algebraicke systemy

toto by mu ku tomu stacilo ?

[puq]

pod otazkou algebra algoritmov, co by ste tam pisali ?
nieco ako : co je algebra, univerzalna algebra, baza, logicko funkcionalne modely, mnoho druhove algebraicke systemy

toto by mu ku tomu stacilo ?

jj toto je ta otazka a pis vsetko co vies aj ked viacej ako dana otazka

[Padres]

ja som pisal vsetko co ma napadlo - od zaciatku algebier algoritmov az po Djikstra/Janova/grafy, a bolo to spravne

[maTo]

ja som pisal vsetko co ma napadlo - od zaciatku algebier algoritmov az po Djikstra/Janova/grafy, a bolo to spravne

ja som pre zmenu pisal tu druhu kapitolu, a to Dijkstra, Jana, daco o graf-schemach som mu tam povedal a tiez to bolo za 20

[popko]

Ahojte,
Hdak mi zapisal Ecko do MAISu, pricom na skuske mi dal C. Stalo sa to aj niekomu z vas?

[roman5555]

Ahojte,
Hdak mi zapisal Ecko do MAISu, pricom na skuske mi dal C. Stalo sa to aj niekomu z vas?

Chcel by som mat tvoje problemy

[rennow]

Ahojte,
Hdak mi zapisal Ecko do MAISu, pricom na skuske mi dal C. Stalo sa to aj niekomu z vas?

Chcel by som mat tvoje problemy

toto sa stalo spolubyvajucemu na SOJ ... namiesto B mu napisal C ... ked si to siel dat prepisat, zacal ho preskusavat ..  a ked nevedel.. .tak mu spravil 20minutovu prednasku o tom, naco vlastne na tuke studuje ....    nakoniec mu ostalo to Ccko a  siel s malou dusickou domov...

[kOsTi]

radsej napisat mail