Teoreticka informatika

[puq]

L9-B_220 poslucháreň L9-B_220 Letná 9, 2. posch., blok B 220

[kOsTi]

len tak pre info... je jedno volne miesto na 29.

[zuzanka]

len tak pre info... je jedno volne miesto na 29.

uz neskoro, uz idem dnes

[kOsTi]

no co, kto sa este uci?

[Viper_No1]

jaa... a zaujimalo by ma co treba robit v takmo niecom:
Zostrojte algoritmus Dijstra pre triedenie postupnosti pouzitim minimalneho prvku zostupne...

... je niekde nejaky vzorovy priklad so zadanim a popisom riesenia??

a este toto:

Prevedte do algebry Janova:
{[d(Y0,k)] ([ l>r|Y0] transp([l,r|Y0]), OUT("ok")) * P(Y0) } * UST(Y0)
- ak sme take daco vobec mali 

[kOsTi]

jaa... a zaujimalo by ma co treba robit v takmo niecom:
Zostrojte algoritmus Dijstra pre triedenie postupnosti pouzitim minimalneho prvku zostupne...

... je niekde nejaky vzorovy priklad so zadanim a popisom riesenia??

a este toto:

Prevedte do algebry Janova:
{[d(Y0,k)] ([ l>r|Y0] transp([l,r|Y0]), OUT("ok")) * P(Y0) } * UST(Y0)

to prve neviem, mozno by sa dalo niekde pohladat v skriptach (knihach) ale absolutne sa mi nechce

a to druhe je nieco ako priklad 31. v eminkinych vypracovanych prikladoch TI-priklady.pdf

[kOsTi]

tak podme skusit :/

[kOsTi]

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.

Priklady:

Dokazte ze zobrazenie Fi je realizovatelne na nejakom KA
Fi = "p" ak N2(xi) mod 2 = 0
"n" inak.
Vstup je {0,1,2}* -> {n,p}*

Previest do algebry Janova z Dijkstru.

[danielmi]

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.

Priklady:

Dokazte ze zobrazenie Fi je realizovatelne na nejakom KA
Fi = "p" ak N2(xi) mod 2 = 0
"n" inak.
Vstup je {0,1,2}* -> {n,p}*

Previest do algebry Janova z Dijkstru.

celkom v pohode,,

[lada]

kosti failed? abo ides este na vyhodnotenie? xD

[les paul]

Moja skupina:

TI2Ix.
KA - zobrazenia - sekv.zobrazenia, zobrazenie zachovavajuce dlzku, Fi - u - pridruzene zobrazenia a ich vlastnosti.Relacia nerozlisitelnosti sqz a u-pridruz. zobrazeni. Baza a vaha sqz. Podmienky realizovatelnosti sq a zd zobrazeni na KA.

TIIy.
Metaalgebra algoritmiky a jej vlastnosti.Struktury jej podalgebier. Kriterium funkcionalnej uplnosti Dijkstr.algebry.

P1.
Dokazte ze jazyk L je determ.bezkontextovy - L= {a0^n1^n | n>=1} U {0^n1^2n| n>=1}

P2.
Polynom Zegalkina.
f= (xy+z)(y+xz')

teraz cakanie na ustnu cast weee 

[kOsTi]

kosti failed? abo ides este na vyhodnotenie? xD

cakam na piatom na zazrak od velkeho hudiniho

[carin]

kosti failed? abo ides este na vyhodnotenie? xD

cakam na piatom na zazrak od velkeho hudiniho

good luck

[badi]

nie su to nahodou tie iste otazky co boli na prvy termin ?
zeby to islo zasa od zaciatku s tymi otazkami ?

[carin]

Tieto otazky sa vyskytli na 3 terminoch, vratane dnesnej...
Ale dnesne priklady aj teoria boli presne take iste ako na prvom termine.

[danielmi]

to su lahke otazky

[trek]

tak som prvy co odtial vysiel...E 51...nechapem nerozumiem...idem sa ozrat

[maTo]

som druhy, FX, chapem, tiez by som sa ozral

[roman5555]

no a ako bolo ?? vela sa ta pytal ked ti dal E 51 ?? alebo ako to prebiehalo ??

A este otazocka potrpi si Hudak na oblek ??

[kOsTi]

fuu tak sice som nebol do konca ale dnes tiez dost drsna statistika :/ hudak si dost potrpi na korektnom vyjadrovani a ked sa mu nieco nepozdava skratka ti body neda...

[trek]

no a ako bolo ?? vela sa ta pytal ked ti dal E 51 ?? alebo ako to prebiehalo ??

A este otazocka potrpi si Hudak na oblek ??

myslim ze jemu jedno ci oblek ci nie....mal som jednu teoreticku otazku napisanu a dva priklady..k jednej otazke som nemal vobec nic...prikady som mal za 6 a 7 bodov...ked som k nemu isiel teoria nebola obodovana...pytal sa ma len k tej otazke co som mal napisanu...rypal do nezrovnalosti co sa mu nezdali co som mal zle kde som mal nejake nezrovnalosti..medzi tym mi este pripomenul ze sa musim vyjadrovat tak ako by sa to hodilo na studenta stvrteho rocnika...daco som mu vedel objasnit na daco som len prikyvol a skolpil usi....ani sam nechapem...ale nakoniec pozrel body doplnil aby bolo 51 a utekal som prec ako najrychlejsie viem

[maTo]

trebalo by vyskemrat nejake terminy este slaka...

[kOsTi]

sa vyjadril ze bude nejaky termin este pre tych co neurobili...

[sri]

este sa to tu nepisalo, body su tak ako sa pise na moodli, ze po 25 za teoriu a po 10 za priklady?
// inak, flasu ste mu dnes nakoniec nebrali? 

[ApokalypS]

hej, hej, tak ako pises..