|
Bezestrojová charakterizace polynomiálně počitatelných funkcí
Profeld, Michal ; Švejdar, Vítězslav (vedoucí práce) ; Verner, Jonathan (oponent)
Práce se zabývá bezestrojou definicí polynomiálních funkcí. Hlavním cílem je čtenáře obeznámit nejen s touto definicí, ale i s ostatními důležitými pojmy této práce. Nejdůležitějšími pojmy je myšleno: základní funkcem, schéma skládání funkcí, rekuzivní schémata a polynomiální podmínky. Během práce bude čtenář mimo jiné svědkem odvození nejznámějších polynomiálně ome- zených funkcí, jako jsou násobení, sčítání, nebo jiné aritmetické funkce. Od- vozeny však budou i zajímavější a netradiční funkce, jako je funkce smash, nebo mocnění v prostoru Zn. 1
|
|
Bezestrojová charakterizace polynomiálně počitatelných funkcí
Profeld, Michal ; Švejdar, Vítězslav (vedoucí práce) ; Verner, Jonathan (oponent)
Tato bakalářská práce se zabývá sestavením Matematického systému. Tento systém je pečlivě vypracovaný, tak aby byl uzavřený na funkce, které v něm figurují. Je vytvořen tak, aby pokryl funkce určitého růstu. Konkrétně funkce, o kterých můžeme říct, že operují v polynomiálním čase na Turingové stroji. Platí tedy, že náš systém obsahuje všechny funkce, které na Turingových strojích běží v polynomálním čase, nebo v čase rychlejším a žádné jiné funkce neobsahuje. Tvorba tohoto mate- matického systému byla ovlivněna především prací Samuela R. Busse [1] 1
|
|
Grafické intro 64kB s použitím sledování paprsku
Dočkal, Jiří ; Chudý, Peter (oponent) ; Herout, Adam (vedoucí práce)
Tato práce se zabývá popisem tvorby aplikace určené zadáním této bakalářské práce. V dokumentu jsou popisovány problémy a principy související s danou tématikou práce. Dokument dále popisuje vlastní realizaci aplikace a dosažené výsledky práce. Závěr pak obsahuje zhodnocení a možné cesty pro pokračování práce na projektu.
|
|
Generování realistických modelů stromů
Kučerňák, Martin ; Nečas, Ondřej (oponent) ; Polok, Lukáš (vedoucí práce)
Tato práce se zabývá generováním realistických modelů stromů. Je stručně popsán vývoj a růst stromů, a faktory které je ovlivňuji. Po té je shrnut vývoj systémů pro generování modelů stromu a popsány vybrané systémy. Dále je navržen jednoduchý stochastický model pro jejich generování, a popsána aplikace ve které je tento model implementován. Tento model je pak porovnán s existujícími používanými modely a nástroji, popsány jeho výsledné vlastnosti a naznačeno v kterých oblastech je třeba jej zlepšit.
|
|
Grafické intro 64kB s použitím sledování paprsku
Luňák, Miroslav ; Herout, Adam (oponent) ; Jošth, Radovan (vedoucí práce)
Tato práce se zabývá popisem tvorby grafického intra 64kB s použitím sledování paprsku. V dokumentu jsou popisovány problémy a principy související s danou tématikou práce. Dokument dále popisuje vlastní realizaci aplikace a dosažené výsledky práce. Závr pak obsahuje zhodnocení a možné cesty pro pokraování práce na projektu.
|
|
Algoritmy vyhledávání řetězců v textu a algoritmy rekurze v jazyce C
Porč, Jiří ; Lukáš, Roman (oponent) ; Honzík, Jan M. (vedoucí práce)
Úloha nalézt v textu zadaný textový vzorek patří v oblasti počítačů k jedné z nejčastěji využívaných. V mé práci se zabývám problematikou vyhledávacích a rekurzivních algoritmů. Cílem mé práce je vytvoření programů pro animovanou demonstraci vybraných operací a přepsání studijní opory předmětu Algoritmy do jazyka C. Vytvořené programy pro animovanou demonstraci řeší problémy spojené s vyhledáváním textových řetězců v textu a rekurzí.
|
|
Rekurzivní prohledavač webu pro KDE
Hefka, Lukáš ; Burgetová, Ivana (oponent) ; Burget, Radek (vedoucí práce)
Tato bakalářská práce se zabývá problematikou prohledávání webových stránek z desktopového prostředí KDE. Součástí práce je seznámení s aplikačním rozhraním tohoto prostředí, popis návrhu a implementace aplikace. Ta podporuje řadu omezení, jak už na oblast hledání, tak na hledání samotné. Aplikace prochází internetem za pomoci rekurze a hypertextových odkazů stránek. V závěru práce jsou popsány výhody aplikace oproti jiným alternativám.
|
| |