Teoreticka informatika

[JCube]

cize vpohode bol dnes? respektive hororove pribehy sa siria ale to prinuti cloveka sa poriadne do toho pozriet...ale ked vies a chapes tak nerobi problem?

poviem to na rovinu...nevedel som teoreticke okruhy 7,8,9,10,11 s tym ze dokazov som vedel tiez malo...myslim ze dolezite je nekecat blbosti ked sa spyta otazku..to znamena ze ked mam na jednej strane funkciu ktora ma premenne x1 - xn a na druhej strane napisem tiez rovnake premenne ci sa jedna naozaj o rovnake premenne alebo som len pouzil rovnake oznacenie ale su to ine premenne.

este hodte niekto otazky z druhej skupiny.. Prva nebola najhorsia, ale viem si predstavit aj lepsie.

priklad - sekvencne zobrazenie {0,1,2}*-->{p,n} ci je realizovatelne sekvencnym automatom
priklad - previest term do algebry janova
teoria - algebra logiky, problem funkcionalnej uplnosti algebry logiky, algebra boolova, problem funkcionalnej uplnosti algebry bool
teoria - turingovsky vypocitatelne funkcie, definicia a priklad

[McLarenPP]

este hodte niekto otazky z druhej skupiny.. Prva nebola najhorsia, ale viem si predstavit aj lepsie.

EDIT: mam poznacene otazky z minuleho roku, a jedna zo skupin mala presne tie iste otazky aj typy prikladov ako boli dnes - prispevok z fora:

1.priklad -   dokazat ze jazyk  L = {a0n1n} U {0n12n} je deterministicky bezkontextovy
2.priklad -   zostrojit polynom zegalkina pre  nejaku funkciu  (uz nepamatam presne jaku)

1.otazka  - konecnoautomatove zobrazenia a ich vlastnosti.
               Sekvencne zobrazenia, zobrazenia zachovavajuce dlzku, pridruzene zobrazenia.
               Realizovatelnost zobrazeni koencym automatom.
2.otazka - Metaalgebra algoritmiky a vlastnosti štruktúry jej podalgebier.
               Kritérium funkcionálnej úplnosti v Dijkstrovej metaalgebre.

[McLarenPP]

aj ta druha dnesna skupina je uplne rovnaka ako bola jedna zo skupin minuly rok.. aj priklady aj teoria. Dam na FTP dokument s otazkami z minuleho roku.

[puq]

cize vpohode bol dnes? respektive hororove pribehy sa siria ale to prinuti cloveka sa poriadne do toho pozriet...ale ked vies a chapes tak nerobi problem?

poviem to na rovinu...nevedel som teoreticke okruhy 7,8,9,10,11 s tym ze dokazov som vedel tiez malo...myslim ze dolezite je nekecat blbosti ked sa spyta otazku..to znamena ze ked mam na jednej strane funkciu ktora ma premenne x1 - xn a na druhej strane napisem tiez rovnake premenne ci sa jedna naozaj o rovnake premenne alebo som len pouzil rovnake oznacenie ale su to ine premenne.

kubo si ma totalne dojebal tou odpovedou uz sa vyjadrujes jak TICube

[JCube]

tak nie prvu vec co sa ma spytal bolo ze ci v rovnosti f(x1,...,xn) = PSI(n)(x1,...,xn) su tie iste premenne alebo nie...a treba vediet povedat ze co to je

[puq]

aha jasne ale odpoved netusim ale zatial ma to netrapi ale ked to zhrniem tak mozes si dat dnes za odmenu aspon pol litra borovicky

[JCube]

keby ze neni zajtra skuska uz som spity

[puq]

aha tak mas smolu den to vydrzi no

[Killian]

tak nie prvu vec co sa ma spytal bolo ze ci v rovnosti f(x1,...,xn) = PSI(n)(x1,...,xn) su tie iste premenne alebo nie...a treba vediet povedat ze co to je

Su to tie iste premenne alebo nie? 

[cepi]

tak nie prvu vec co sa ma spytal bolo ze ci v rovnosti f(x1,...,xn) = PSI(n)(x1,...,xn) su tie iste premenne alebo nie...a treba vediet povedat ze co to je

No schvalne,  co si povedal ?

bo ja by som mu vedel povedat maximalne to ze f(x1,...,xn) je pocet cislel na paske TS na zaciatku. A psi je ich pocet vo vysledku TS. a ze ci su tie iste, tak to by som povedal ze nie, psi je predsa uz spracovany vysledkom nejakeho vstupu f vo vysledku TS. teda ak eksistuje taka konfiguracia ze sa z nej viem dostat do vysledku TS. psi moze byt nejaka spolocna n-tica tych cisel co tam boli (napr nejake skupiny a vo vysledku je menej alebo viac cislel vtej skupina moze byt aj rovnako asi)

Suhlasil by? ci by ma poslal dopici ?

[GrindMyAss]

keby ze neni zajtra skuska uz som spity

ja sa dnes idem zlomit do tabacky

[JCube]

tak nie prvu vec co sa ma spytal bolo ze ci v rovnosti f(x1,...,xn) = PSI(n)(x1,...,xn) su tie iste premenne alebo nie...a treba vediet povedat ze co to je

No schvalne,  co si povedal ?

bo ja by som mu vedel povedat maximalne to ze f(x1,...,xn) je pocet cislel na paske TS na zaciatku. A psi je ich pocet vo vysledku TS. a ze ci su tie iste, tak to by som povedal ze nie, psi je predsa uz spracovany vysledkom nejakeho vstupu f vo vysledku TS. teda ak eksistuje taka konfiguracia ze sa z nej viem dostat do vysledku TS. psi moze byt nejaka spolocna n-tica tych cisel co tam boli (napr nejake skupiny a vo vysledku je menej alebo viac cislel vtej skupina moze byt aj rovnako asi)

Suhlasil by? ci by ma poslal dopici ?

zbytocne to komplikujes...myslim ze to neni dobre daco komplikovat...odpovedat jasne a strucne a presne co sa pyta x1 ... xn vo funkcii f su vstupne premenne a v psi su to tie iste premenne ale zakodovane (preto by oznacenie malo byt ine )

[Pribina]

aj ta druha dnesna skupina je uplne rovnaka ako bola jedna zo skupin minuly rok.. aj priklady aj teoria. Dam na FTP dokument s otazkami z minuleho roku.

Joooj si to tam mohol dat aj v .doc pre ludi co nejdu s dobou

[McLarenPP]

aj ta druha dnesna skupina je uplne rovnaka ako bola jedna zo skupin minuly rok.. aj priklady aj teoria. Dam na FTP dokument s otazkami z minuleho roku.

Joooj si to tam mohol dat aj v .doc pre ludi co nejdu s dobou

ok mas to tam.

[Pribina]

aj ta druha dnesna skupina je uplne rovnaka ako bola jedna zo skupin minuly rok.. aj priklady aj teoria. Dam na FTP dokument s otazkami z minuleho roku.

Joooj si to tam mohol dat aj v .doc pre ludi co nejdu s dobou

ok mas to tam.

diky

[DeNaTuReMaN]

Keby sa niekto chcel odhlasovat z 15 teho mi moze dat vediet. Lebo to je uz len moja jedina skuska a nejako som nenasiel dobry termin heh tak nechce sa mi cakat

/edit - neaktualne uz som sa nahlasil na 13 teho heh hadam ked zajtra zacnem za 4 dni sa bude dat naucit na nejaku znamku.

[sri]

vie mi niekto povedat pribliznu %-nu uspesnost dnesnej skusky?

[JCube]

70%? neviem..tak odhadom

[johnyo13]

tiez by som povedal ze u hudaka zhruba kazdy treti nespravil, ale u korecka to nebolo o nic lepsie. hudak bol v pohode, len mam pocit, ze dokaze zo zeleznou spolahlivostou odhalit, kto pisal z vlastnej hlavy a kto odpisoval z tahaku (aspon co som si vsimol, kym som cakal pred kanclom). Ja som pisal do tej teorie aj kadejake blbosti, aj nespravne vyjadrenia vztahov, ale on ich ani necital. Moja pisomka vyzerala jak slohova praca, teda vsade kopa textu, lebo som sa snazil vsetko opisat slovne a bolo vidno ze to nie je opisane, este mi dal aj otazku o postovej vete o uplnosti, ktoru som uz napisal aj do pisomky, a tu drzal predomnou, takze, aj keby som ju nevedel, tak som si ju mohol precitat...
Takze v skratke:
1)Teeba pisat vela, o hocicom comu rozumiete a tyka sa danej temy, co si nepamatate doucit po pisomke (cca 2-3 hodiny casu)...
2)Nesanzit sa opisovat, dokonale to odhaloval, mam pocit ze to vedel uz predtym, jak clovek vobec daco povedal...
3)Snazit sa zapajat do toho co hovori hudak. Mne aj povedal ze: to je sice spravna odpoved, ale este som sa vas nic nepytal

gl

[ppt]

nemate nahodou nejake dobre materialy, kde je dobre vysvetlena sekvencnost? V skriptach to akosi neviem najst thx

[McLarenPP]

nemate nahodou nejake dobre materialy, kde je dobre vysvetlena sekvencnost? V skriptach to akosi neviem najst thx

nieco je v skriptach na str. 41, o inom neviem (okrem TI.pdf).

[badi]

bol by niekto taky laskavy a napisla PRESNE z coho sa vlastne ucil ? ( ake PDF, JPG, ... )
na FTP je tam hromada toho , ale nemam chut sa ucit nieco a pondelok zistit ze sa ucim nieco zle

DAKUJEM

[ppt]

McLarenPP: vdaka

badi: zatial co pozeram, tak v TI-kniha.pdf su dobre vysvetlene zasobnikove automaty, v SHudak_TIuvod.pdf je zase uvod do turingovych strojov. Potom pouzivam ti_prednasky_final.pdf a eminkine TI.pdf. Dalej nevylucujem, ze nezacnem citat Hopcroft, Ullman - Formalne jazyky a automaty.pdf a ku algebram asi SH_algAloritmov_final.pdf. Tu sa mi to ale zda zlozity text Uvitam aj ja zdroje informacii od ostatnych

[McLarenPP]

okruhy 2,3,4,5,6 su cele v Hopcroft, Ulllmann - Formalne jazyky a automaty; neviem, ci by Hudakovi stacilo len to, co je v TI.pdf. Zvysne okruhy o algebrach su v SH_algAloritmov_final.pdf, a este prvy okruh ako som uz pisal vyssie - str. 41 skripta + TI.pdf. Ja sa ucim takto.

[GrindMyAss]

mate uz zapisanu skusku v maise ? lebo ja zatial nic ti co pisali a napisali a pokecali uspesne vo stvrtok