IP 26.6.2012 8:30

Odeslat odpověď

Smajlíci
:D :) :( :o :shock: :? 8) :lol: :x :P :oops: :cry: :evil: :twisted: :roll: :wink: :!: :?: :idea: :arrow: :| :mrgreen:

BBCode je zapnutý
[img] je zapnutý
[flash] je vypnutý
[url] je zapnuté
Smajlíci jsou zapnutí

Přehled tématu
   

Rozšířit náhled Přehled tématu: IP 26.6.2012 8:30

Re: IP 26.6.2012 8:30

od J4rd4 » 31. 8. 2013 12:31

aaa píše:U -> null
O -> null
O -> if O
O -> if U else O
U -> if U else U
Kdepak, původní pravidlo U -> if U else O je dobře, protože to tvoje pravidlo by vygenerovalo zase výraz if if ... else ... ;-)

Re: IP 26.6.2012 8:30

od aaa » 5. 1. 2013 12:48

U -> null
O -> null
O -> if O
O -> if U else O
U -> if U else U

Re: IP 26.6.2012 8:30

od bujon » 27. 6. 2012 20:46

ridgeback píše:
bujon píše:Ja to prevedl takhle a rekli ze nemaji vyhrad.
E -> null
E -> if E
E -> if null else E
Já měl stejně, ale bylo mi řečeno, že to nepřijme "if if null else null else null", ale původní jazyk ano.
Což jen dokazuje, že se nás chtěli opravdu zbavit :D

Re: IP 26.6.2012 8:30

od NightElf » 27. 6. 2012 20:27

ridgeback píše:
bujon píše:Ja to prevedl takhle a rekli ze nemaji vyhrad.
E -> null
E -> if E
E -> if null else E
Já měl stejně, ale bylo mi řečeno, že to nepřijme "if if null else null else null", ale původní jazyk ano.
Ano, tohle je špatně, protože to nepříjmá stejná slova jako původní jazyk, nepodporuje to vnořené IFy. Já to měl myslim takhle:

Kód: Vybrat vše

U -> null
O -> null
O -> if O 
U -> if U else O
U -> if U else U
kde O znamená "otevřený výraz" a U "uzavřený", takhle zaručím, je mezi IF a ELSE bude vždy uzavřený (spárovaný) výraz, tedy zaručím, že else se váže k nejbližšímu IFu.

Re: IP 26.6.2012 8:30

od ridgeback » 27. 6. 2012 10:25

bujon píše:Ja to prevedl takhle a rekli ze nemaji vyhrad.
E -> null
E -> if E
E -> if null else E
Já měl stejně, ale bylo mi řečeno, že to nepřijme "if if null else null else null", ale původní jazyk ano.

Re: IP 26.6.2012 8:30

od bujon » 27. 6. 2012 09:53

Ja to prevedl takhle a rekli ze nemaji vyhrad.

E -> null
E -> if E
E -> if null else E

Re: IP 26.6.2012 8:30

od ridgeback » 27. 6. 2012 01:45

Věděl by někdo, jak má vypadat ten převod na jednoznačnou gramatiku? Tj. toto

E -> null
E -> if E
E -> if E else E

Já to měl totiž blbě - Tůma mi pak ukázal protipříklad, kterej by ta moje nová gramatika vůbec nepřijala - a docela by mě to zajímalo, jak to má bejt správně.

Re: IP 26.6.2012 8:30

od NightElf » 27. 6. 2012 00:58

dijkstra píše:Úvodní Tůmova řeč typu "hodně jsme se snažili, aby to bylo co nejlehčí", je podle mě dost pravdivá, protože nás ušetřili integrálů, vícerozměrných funkcí, statistiky a z algoritmů tam dali ten snad opravdu nejlehčí.
S tím naprosto souhlasím.

Porota byla hodná, já jsem například u těch metrickejch prostorů uvedl jako příklad normu (ne MP), ale oni mě upozornili, že to asi nesplňuje ty axiomy MP co jsem napsal, tak jsem se opravil a šlo se dál :)

Re: IP 26.6.2012 8:30

od bujon » 27. 6. 2012 00:37

@santos Já byl na druhém pokusu ale začínal jsem v roce 2006. Jinak je dobře že se nás chtěli zbavit lehčí pisemkou. Páč se nás taky mohli zbavit i přehnaně těžkou pisemkou.

Re: IP 26.6.2012 8:30

od Santhos » 26. 6. 2012 20:53

@bujon: tys byl taky na tretim z roku 2006 nebo ne?

Komise Hnetynka a spol. byla fakt hodna. => Chteli se nas zbavit ver mi :)

Jinak mam podobnou zkusenost s preskakovanim latky. Studoval jsem v prvaku matiku i informatiku zaroven a pak jse mpresel jen na informatiku a diky tomu jsem napriklad komplet preskocil Tayloruv polynom a pokud vim, tak my jsme vubec nemeli v pozadavcich na statnici pravdepodobnost a statistiku.

Re: IP 26.6.2012 8:30

od bujon » 26. 6. 2012 17:38

No, vzhledem k tomu, že v této skupině jsme byli všichni, kteří začali studium v roce 2007 a dříve, tak to s naším zadáním určitě neměli lehké. Museli zohlednit různé průběhy studia a vybrat něco co jsme měli všichni. Např. já měl to "hrozné neštěstí", že jsem v průběhu studia vůbec nenarazil na Kapitolu funkcí více proměnných, protože, když jsem dělal analýzu II, tak tato kapitola byla ještě ve trojce a když jsem pak dělal analýzu III, tak ji přesunuli do dvojky. A takových změn bylo více ve studijních osnovách - což si myslím, že u vytváření zadání zohledňovali. A navíc je tady fakt (a ten je asi významnější), že to studium nám trvá otřesně dlouho a už se nás chtěli asi zbavit :D

Jinak ještě k zadání - skupina "Obecná informatika" měla místo otázky "8) Vyjímky" otázku z Logiky
Nejsem si jistý jestli si to dobře pamatuju tak mně kdyžtak opravte:
1) definujte formuli dokazatelnou v teorii T, co znamená T |- f (a myslím, že ještě něco tady bylo)
2) co je vyvratitelná formule, sporná teorie, bezesporná teorie
3) ...(nepamatuju)
4) dokažte pomocí axiomů že |- f -> f

nevím jak je na tom úspěšnost protože jsem šel celkem brzo na řadu, ale myslím, že všichni přede mnou to udělali.

Re: IP 26.6.2012 8:30

od dijkstra » 26. 6. 2012 16:32

Tak já taky poreferuju:

Zadání naší skupiny bylo IMHO výrazně jednodušší než to druhé (od jedenácti hodin). Tak jsem letmo zahlíd, že tam měli Heap-sort, vlastní čísla (to by mi nevadilo), ale hlavně tam měli "Vyslovte větu o úplnosti a popište hlavní body důkazu." a taky ze statistiky tam bylo testování hypotéz a intervaly spolehlivosti. U nás byly snad jediný těžší ty rovinný grafy, kde ale když měl člověk definice, tak měl vyhráno, graf se najde velmi snadno.

Já jsem psal odpovědi pouze na to, co po mě chtěli. Nic víc jsem nerozepisoval. Několik částí jsem měl na půl špatně a třeba ten důkaz u rovinných grafů jsem neměl vůbec (ani jsem se nepokoušel). Nicméně definice jsem měl všechny dobře, a co mi chybělo nebo bylo lehce špatně, tak jsem dořekl a opravil na ústním. Na něco se vůbec neptali, ačkoliv určitě mohli. Ústní zohledňovali do výsledku. S jednotkou z bakule jsem dostal výsledek za jedna (známky z písemky něco jako 1,1-,2,1-,1,1-,2,1).

Úvodní Tůmova řeč typu "hodně jsme se snažili, aby to bylo co nejlehčí", je podle mě dost pravdivá, protože nás ušetřili integrálů, vícerozměrných funkcí, statistiky a z algoritmů tam dali ten snad opravdu nejlehčí.

IP 26.6.2012 8:30

od Jookyn » 26. 6. 2012 15:08

1) Limita funkce v bodu
- definice limity fce v bodu
- definice spojitosti
- dukaz, ze kdyz lim x->a f(x) = F a lim x->a g(x) = G pak lim x->a f(x)+g(x) = F + G

2) Metricke prostory
- definice MP a metriky
- rozhodnout o otevrenosti/uzavrenosti intervalu v R: (0,1), (0,1> a <1,nekonecno) a jeden pripad dokazat
- necht je metrika na neorientovanem grafu definovana jako delka nejkratsi cesty mezi vrcholy u,v, rozhodnout a ukazat zda jde o metriku

3) Rovinne grafy
- definovat oblouk a nakresleni
- najit graf pro ktery plati |V| = 3|E| - 6, ale neni rovinny
- dokazat, ze rovinny graf je triangulace <=> |V| = 3|E| - 6

4) Tayloruv polynom
- definovat TP, uvedst vetu o zbytku a nejaky priklad pouziti
- spocitat TP 3. 4. a 5. radu pro sin(2) v nejakem snadno numericky vycislitelnem bode (nula stacila, jak jsem zjistil u ustni)

5) Jazyky
- definovat jazyk
- byla dana gramatika ( E -> null | if E | if E else E, mozna malinko jinak, uz presne nevim), najit derivacni stromy, ukazujici jeji nejednoznacnost
- upravit gramatiku, aby byla jednoznacna

6) Quicksort
- napsat pseudokod
- casova a pametova slozitost v nejhorsim a nejlepsim pripade (vysvetlit)
- casova slozitost v prumernem pripade (bez dukazu)

7) B-stromy
- definovat B-strom
- popsat DELETE na neredundantnim B-stromu

8 ) Vyjimky
- popsat jejich pouziti (C++, Java nebo C#) a uvedst priklad
- byl tam blok kodu typu

Kód: Vybrat vše

somefunction(){
File f = File.Open("file.name");
FunctionThatCanThrow();
f.close();
}
a ptali se udelat jak udelat to, aby se f.close() vzdy zavolalo a nezustavali viset prostredky
- co se stane, pokud neni vyjimka nikde osetrena

Prislo mi to jako jednoduchy, ale nejaky blbosti jsem tam taky napsal...

Moje komise ve slozeni: Hnetynka, Peterka (IVT) - Sgall, Majerech (M)

- U jednicky jsem (skandal, stydim se) mel spatne kvantifikator (coz jsem jim ale hned rikal, kdyz jsme s tim zacali, vedel jsem to) u definice limity, spojitost jsem mel ok a u toho dukazu jsem tam mel myslenku, jenze opet s tim spatnym kvantifikatorem. Jako na papiru na nem byla napsana znamka - 4 (opravoval a zkousel to Majerech).
- Dvojku jsem mel ok, prvne rikal Majerech, ze name vyhrad, ale nakonec se pak trosku vrtali jak je to u c) kdyz je ten graf nesouvisly, ale bylo na papire 1. Na ostatnich papirech uz pak znamky nebyly.
- Nakresleni jsem se snazil nejak rozumne zadefinovat, ale uplne se to komisi nelibilo, oblouk jsem jim tam pak rikal na ustnim, ale opet se moje definice uplne neodpovidala jejich predstavam (ono je to docela zradny, vypada (a my to na prednasce taky pokud vim definovali dost jednoduse) to trivialni, ale formalne to chce definovat poradne), graf z b) jsem nasel a zduvodnil, proc neni rovinny, u c) jsem v poslednich minutach psani napsal nejaky myslenky a vztahy co by se daly pouzit (chtel jsem tu triangulaci sestavovat vicemene indukci, jenze to neni zrovna optimalni zpusob, jak najit libovolnou...), ale moc se nezalibilo.
- TP jsem mel dobre, zbytek (Langrangeuv tvar) taky, to rozvnuti jsem napsal (ale nejak se tam uplne nezorientovali ve znaceni, coz jsem jim pak vysvetlil), ale nejaky drobnosti tam byly...

- Jazyk jsem mel, derivacni stromy taky, prevedeni jsem nevedel (u usti jsem nabidnul treba pridani zavorek, coz mi bylo bleskove zamitnuto, ze chteji jen upravu gramatiky a ne jazyka), to Hnetynka proletel rychle
- Quicksort jsem mel celej ok, opet prolitnuto ve vterine
- B-strom jsem (ackoli mozna trochu neohrabane) mel definovanej dobre, Delete jsem popsal slovne (a myslim, ze dost vagne a ne uplne ok ve vsech pripadech), opet Peterka prolitnul velice rychle a vubec se na nic neptal
- Vyjimky jsem taky mel ok, jen se pak u c) ptali, jestli to musi koncit ukoncenim programu jak jsem mel uvedeno, coz nemusi (muze to treba jen koncit jen koncem vlakna nebo se to da odchytit)

Po porade mi sdelili vyslednou 2, s tim, ze informatika byla uplne v poradku, matematika naopak slabsi (tak za 3).

Nahoru