Quote from: Speedy2003 on 03.02.2010, 16:42:06Tak dnes boli otazky:1. Rozhodnutelne a nerozhodnutelne problem, Postov korespondencny problem,2. Janova algebra + formalizacia procesu tvorby algoritmovPr. Ci sekvencne zobrazenie pomocou KApr. ZegalkinDruha skupina:Nerodove ekvivalenciezvysok si nepamatamdruha mala nerodove, algebry algoritmov, AD->AJ, urcte, ci je jazyk det. bezk. - ZA
Tak dnes boli otazky:1. Rozhodnutelne a nerozhodnutelne problem, Postov korespondencny problem,2. Janova algebra + formalizacia procesu tvorby algoritmovPr. Ci sekvencne zobrazenie pomocou KApr. ZegalkinDruha skupina:Nerodove ekvivalenciezvysok si nepamatam
bol som prvy (asi po 3-4 nezucastnenych) a vyzeral dopohody, bo bavili sme sa pohode...mam D 69...vseobecne pekne cislo
Quote from: maTo on 03.02.2010, 21:05:04bol 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...
takze pan kolega, cas nam suri, tak spocitame body, ............ takze D-65. okej, vdaka, majte sa, pekny den ))
mam otazku pri uzaverovych operaciach, stacia triedy jazykov 0,1,2 ? .... alebo treba aj 3-ju tiredu co su regularne jazyky ?
Quote from: glassworker on 03.02.2010, 23:42:25mam 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
pod otazkou algebra algoritmov, co by ste tam pisali ? nieco ako : co je algebra, univerzalna algebra, baza, logicko funkcionalne modely, mnoho druhove algebraicke systemytoto by mu ku tomu stacilo ?
ja som pisal vsetko co ma napadlo - od zaciatku algebier algoritmov az po Djikstra/Janova/grafy, a bolo to spravne
Ahojte,Hdak mi zapisal Ecko do MAISu, pricom na skuske mi dal C. Stalo sa to aj niekomu z vas?
Quote from: popko on 04.02.2010, 16:35:13Ahojte,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