Nalezeno 8 výsledků hledání
Přejít na rozšířené vyhledávání
- 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=...
- 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áš
- 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áš
Lukáš
- 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...
- 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í.
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í.
- 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...
- 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...
- 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...