teoreticka informatika

[petrushka]

mam prve info od hansika: skusal pol na pol hudaq a korecko. zatial viem ze z tych co idu do finska spravil 1 z 3 a to na D. je to vraj dost hardcore takze si na to netreba nechavat len tak 2 dni.

[pUf]

we are screwed

[DeeL]

we are screwed

niekto ta zasruboval?

ja mam info ze aj stovecka bola... ale tak rad by som vedel celkovo statistiky za dnesny den

[petrushka]

we are screwed

niekto ta zasruboval?

ja mam info ze aj stovecka bola... ale tak rad by som vedel celkovo statistiky za dnesny den

tak ked tam bol stevo tak urcite

[DeeL]

nie... stevo to nebol
ale asi sa nebude hnevat ked tu hodim ake mal otazky:
- konecnostavove zobrazenia (vlastnosti, dokazy)
- veta o uplnosti metaalgebry dijsktru + dokazy

bodlo by vediet aj ostatne otazky ake asi boli

[BCAA]

nie... stevo to nebol
ale asi sa nebude hnevat ked tu hodim ake mal otazky:
- konecnostavove zobrazenia (vlastnosti, dokazy)
- veta o uplnosti metaalgebry dijsktru + dokazy

bodlo by vediet aj ostatne otazky ake asi boli

jasne ze nevadi    a nie nemal som stovecku bo tu druhu otazku som nemal vobec (proste som cez tu pasaz preskocil bo osm si povedal ze take shity nedaju omyl )

no taze som mal nakoniec C    (a stofku mala mishela )

[bliky]

jak bolo rozdelenie bodov? viem ze to hudak na poslednej prednaske pisal na tabulu, ale nepoznacil som si a zabudol som... bol aj niekto taky co mal dajme tomu len priklady a teoriu nic moc...?! ked hej, tak ak odopadol, pustil ho hudak ci nie...?! pytam sa preto, bo cem vediet, ci mi da skusku aj ked mu chytim iba 21b. ... ?!

[DeeL]

jak bolo rozdelenie bodov? viem ze to hudak na poslednej prednaske pisal na tabulu, ale nepoznacil som si a zabudol som... bol aj niekto taky co mal dajme tomu len priklady a teoriu nic moc...?! ked hej, tak ak odopadol, pustil ho hudak ci nie...?! pytam sa preto, bo cem vediet, ci mi da skusku aj ked mu chytim iba 21b. ... ?!

rozdelenie bodov mam zapisane v tvare:
10+10+25+25 (2x priklad + 2xteoria)

[rolin21]

jak bolo rozdelenie bodov? viem ze to hudak na poslednej prednaske pisal na tabulu, ale nepoznacil som si a zabudol som... bol aj niekto taky co mal dajme tomu len priklady a teoriu nic moc...?! ked hej, tak ak odopadol, pustil ho hudak ci nie...?! pytam sa preto, bo cem vediet, ci mi da skusku aj ked mu chytim iba 21b. ... ?!

body su 10 + 10 za priklady a 25 + 25 za teoriu

[Ing. nemtom]

jak bolo rozdelenie bodov? viem ze to hudak na poslednej prednaske pisal na tabulu, ale nepoznacil som si a zabudol som... bol aj niekto taky co mal dajme tomu len priklady a teoriu nic moc...?! ked hej, tak ak odopadol, pustil ho hudak ci nie...?! pytam sa preto, bo cem vediet, ci mi da skusku aj ked mu chytim iba 21b. ... ?!

ked nemas teoriu hudak ta nepusti, on ta nepusti ani ked mas teoriu

[pUf]

nemtom vie o com hovori, ma na to krasne farebne spomienky

[Ing. nemtom]

presne tak, a gratulujem mishele, len neviem preco furt ona najviac stresuje a potom same A

[tpmatus]

Co znamena, ze Hudak a Korecko skusaju pol na pol?

[Ing. nemtom]

omg, polku jeden polku druhy

[bliky]

a podla jakeho algoritmu si to rozdeluju...?! ze viem, kde sa mam 3.2 postavit, ci nalavo, ci napravo... to snad nemyslia vazne s tou ustnou skuskou... tha doteraz som pomaly nevedel, co je to ustna skuska, nebyt Bacu na LS, a teraz sa s nimi idu osalit, PDT, TT, TI, este aj Klienova svojho casu sa vyhrazala ustnou skuskou...

ps: jedno stastie, ze Havlice ma rozum...  (aj ked, nehneval by som sa, keby zrusil ten priklad a nechal len teoriu "vyklikat"...)

aproppo: "fini" zrobili vsetci skusku...?!

[kane77]

...zatial viem ze z tych co idu do finska spravil 1 z 3 a to na D...

[MKI]

otazky ake boli ? z tych okruhov ?

[hansik]

no ja som bol druha skupina..
a otazky boli:
1.turingovsky vypocitatelne funkcie,
2.algebra logiky, algebra boolovskych funkcii + veta o uplnosti

aaa 2 prikladiky:
1. do janovej algebry previest
2. hmmm... ci je zobrazenie realizovatelne..sa mi zda

hudak opravoval tuto skupinu...a z 6 ludi presli 3...u korecka neviem ako to bolo...noo a hudak sa kazdeho pytal...ja som napriklad mal prikaldy dobre..jednu otazku vobec...a z druhej som mal asi vacsinu...ale pytal sa ma este na to..aj na to co som mal napisane aj nejake dalsie veci...plus chcel odo mna aby som mu vypocital nejaky priklad..ale ten som velmi nevedel...tak good luck vsetkym...obsahovo to je veeelmi narocne.nestacia 2 3 dni...

[BCAA]

no a aby som skompletizoval aj ja svoje zadanie   tak bolo

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

no a este opakovane tu dam aj znenie teoretickych otazok  (naj to je pokope)

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.

enjoy it

[Mar0sh]

dnes bol hudak este mierny, prvykrat to skusal, necchel vas velmi trapit, ale co bude s nami dalsimi???

[Mar0sh]

inak Stevo, ten prvy priklad si dokazoval ako? Zostrojil si Turingov stroj, zasobnikovy automat, gramamatiku alebo len si pouzil nejake veci z tych sekvencnych zobrazeni a dokazoval to len nejakou uvahou?

[BCAA]

taak ono to bolo trosku zradne ten prvy priklad


lebo prve co mna napadlo je ze zrobim osobitne zasobnikovy automat pre kazdy jazyk a potom z uzaverovych vlastnosti by som prehlasil ze ze zjednotenie je tiez bezkontextovy

leenzeee  zjednotenie jazykov uz nemusi vytvarat deterministicky jazyk    

cize som zrobil determ zasob automat co rozpoznaval tento jazyk  (tam na zaklade prveho znaku sa vies deterministicky rozhodnut ze ktory ides rozpoznavat )

dufam ze staci Maros

[mishelka]

nie... stevo to nebol
ale asi sa nebude hnevat ked tu hodim ake mal otazky:
- konecnostavove zobrazenia (vlastnosti, dokazy)
- veta o uplnosti metaalgebry dijsktru + dokazy

bodlo by vediet aj ostatne otazky ake asi boli

jasne ze nevadi    a nie nemal som stovecku bo tu druhu otazku som nemal vobec (proste som cez tu pasaz preskocil bo osm si povedal ze take shity nedaju omyl )

no taze som mal nakoniec C    (a stofku mala mishela )

diky stevo, uz to vie kazdy
a inak ludia radim vam - UCTE SA SHITY, LEBO AKURAT TIE DAVAJU (lebo vedia ze to je tazke a musis vediet aj cosi predtym a chapat tomu, aby si vedel tie shity)

presne tak, a gratulujem mishele, len neviem preco furt ona najviac stresuje a potom same A

taaa lebo stale neviem vsetko a stale mam stastie a nejakym zazrakom dostanem to, co viem (alebo ak neviem, tak si nejakym zazrakom spomeniem)

inak hudak je celkom v pohode, ak mas ku kazdej otazke (teoretickej) cosi napisane, tak je z toho uplne happy.. pripadne ak mas cosi zle, tak s tebou prekonzultuje vsetko, co mas zle a ked vidi, ze tomu chapes, tak v pohode.. ked mas cosi velmi zle, ti da doplnujucu otazku a ked mas, ta mas bodiky

[Ing.Veduci]

a co Korecko ... bral to aspon on "s nadhladom" 

[BCAA]

a co Korecko ... bral to aspon on "s nadhladom" 

korecko je pragmatik co je napisane to je dane    ze ak mate daco k veci tak skuska je ista   ale mat dobru znamku  na to uz musite mat napisane hodne k veci   cize ma to vyhody aj nevyhody (jak som vravel  ja som druhu otazku mal len take naznaky a bolo za bodik    cize on hodnoti objektivne )