Nalezeno 8 výsledků hledání

od lukas.hermann
5. 2. 2010 12:23
Fórum: NTIN090 Základy složitosti a vyčíslitelnosti
Téma: Zkouska 2010-02-04
Odpovědi: 3
Zobrazení: 2889

Re: Zkouska 2010-02-04

Doplním řešení úlohy č. 2: Stačí si definici té množiny přepsat jako: $$S=\{e, (\exists p)(prime(p) \land \varphi_e(p)\downarrow)\}=\{e, (\exists p)(\exists s)(prime(p) \land \varphi_{e,s}(p)\downarrow)\}$$ . Platí, že S je rekurzivně spočetná právě tehdy, když ex. PRP $$P(e, p, s)$$ takový, že $$S=...
od lukas.hermann
1. 2. 2010 20:42
Fórum: NTIN090 Základy složitosti a vyčíslitelnosti
Téma: [NTIN090] Základy složitosti a vyč. - Zk 01.02.2010
Odpovědi: 4
Zobrazení: 2905

Re: [NTIN090] Základy složitosti a vyč. - Zk 01.02.2010

Ahoj, nevyřešil někdo náhodou ten první příklad? Osobně si myslím, že správná odpověď je, že nepatří do žádné z uvedenených, ale moc netuším, jak to dokázat. Díky za připomínky. Lukáš
od lukas.hermann
28. 1. 2010 20:26
Fórum: NTIN090 Základy složitosti a vyčíslitelnosti
Téma: [NTIN090] Základy složitosti a vyč. - Zk 27.1.2010
Odpovědi: 7
Zobrazení: 6264

Re: [NTIN090] Základy složitosti a vyč. - Zk 27.1.2010

Ahoj, nechcete někdo z těch, kdo jste měli tolik příkladů dobře, přihodit alespoň náznak řešení? Těm, co se na to teprve připravují, by to určitě pomohlo. Díky!

Lukáš
od lukas.hermann
22. 6. 2009 23:18
Fórum: Bakalářské SZZ
Téma: Bakalářské zkoušky 6/2009
Odpovědi: 19
Zobrazení: 10397

Re: Bakalářské zkoušky 6/2009

Obhajoba: vedoucí: 1-2, oponent: 2, komise se nakonec rozhodla, že výtky oponenta pro ni nejsou rozhodující, a dali mi za 1 :) Matematika: 1) Vektorové prostory - definice + vybrat si jednu větu a dokázat ji (dokazoval jsem větu o výměně) 2) Eulerovské a hamiltonovské grafy - definice + vybrat si j...
od lukas.hermann
17. 12. 2008 00:30
Fórum: SWI098 Principy překladačů
Téma: 2008/09 - DU5
Odpovědi: 1
Zobrazení: 3160

Re: 2008/09 - DU5

Ahoj,

tak to nás je víc, kdo má tento problém. Chyba je přímo v infrastrukutuře v dutables.cpp na řádcích 1540 a 1544. Visual Studio k tomu dokonce hlásí warningy. Už jsem napsal Yaghobovi a Bednárkovi, tak snad bude brzy update.

EDIT 20:00: Na stránkách přednášky se již objevilo opravené zadání.
od lukas.hermann
24. 5. 2007 20:11
Fórum: 2006
Téma: zkouška 24.5., MJ
Odpovědi: 2
Zobrazení: 2393

zkouška 24.5., MJ

Příklad A1 (5 bodů): Definujte (a,b)-strom a dokažte, že má hloubku O(log n). Příklad A2 (5 bodů): Popište algoritmus pro hledání k-tého nejmenšího prvku v lineárním čase. Dokažte, že funguje, a rozeberte časovou a paměťovou složitost. Příklad B1 (5 bodů): Je dán neorientovaný graf s hranami ohodno...
od lukas.hermann
17. 1. 2007 18:31
Fórum: 2006
Téma: Písemka 16.1.
Odpovědi: 5
Zobrazení: 3448

Písemka 16.1.

Pokusím se zde sesmolit zadání úterní písemky z Principů počítačů. Čísla nejspíš už nebudou přesná. Pokud to někdo víte lépe, opravte mě. Jak uvidíte, byla o mnoho těžší než ta pondělní. Pro ty, co ji ještě nepsali, doufejme, že tento trend nebude pokračovat. 1) Pomocí Boothova překódování vynásobte...
od lukas.hermann
13. 1. 2007 17:47
Fórum: 2006
Téma: Zkouska (predtermin 12.1.2007) - Pankrac
Odpovědi: 7
Zobrazení: 4580

Tak zkoušku z Diskrétky už mám za sebou. Bylo to opravdu jednoduché, nemusel jsem se to tolik učit :P Pankrác byl naprosto skvělý. Když mi na konci nešly některé části příkladu, tak mi nechal dost času na přemýšlení a nakonec mi i poradil. Stres ze mě spadnul hned, jak jsem si sedl do lavice :) Dost...

Přejít na rozšířené vyhledávání