Národní úložiště šedé literatury Nalezeno 35 záznamů.  předchozí6 - 15dalšíkonec  přejít na záznam: Hledání trvalo 0.01 vteřin. 
Syntaktická analýza založená na systémech hlubokých zásobníkových automatů
Šoustar, Jakub ; Kocman, Radim (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce se zabývá hlubokými zásobníkovými automaty a zavádí jejich modifikaci nazvanou řízený hluboký zásobníkový automat. Dále jsou v této práci představeny distribuované systémy hlubokých zásobníkových automatů a paralelně komunikující systémy řízených hlubokých zásobníkových automatů. Jsou zkoumány vlastnosti a vyjadřovací síla těchto automatových systémů a je zavedeno několik variant těchto systémů. Pro jednu z variant paralelně komunikujících systémů je dokázáno, že disponuje stejnou vyjadřovací silou, jakou mají Turingovy stroje. Na základě těchto automatových systémů je zavedena metoda syntaktické analýzy.
Vizualizace práce konečných automatů, zásobníkových automatů a Turingova stroje
Syrový, Ondřej ; Láník, Aleš (oponent) ; Zuzaňák, Jiří (vedoucí práce)
Tato práce se zabývá návrhem a implementací aplikace pro demonstraci činnosti konečných automatů, zásobníkových automatů a Turingova stroje. Teoretická část práce se zabývá teorií formálních jazyků, gramatik a automatů. Vytvořený program umožňuje načítání deterministických i nedeterministických variant automatů ze souboru, jejich grafickou reprezentaci pomocí stavového diagramu, krokování výpočtu a znázornění možných přechodů.
Syntaktická analýza založená na speciálních modelech
Zámečníková, Eva ; Masařík, Karel (oponent) ; Lukáš, Roman (vedoucí práce)
Bakalářká práce se zabývá syntaktickou analýzou pomocí párových automatů. Konečný párový automat obsahuje vstupní a výstupní automat. Vstupní automat provádí syntaktickou analýzu se vstupním řetězcem. Použitá pravidla vstupního automatu řídí výstupní automat, který generuje výstupní řetězec. Hlavním tématem této práce je determinizace vstupního automatu bez ztráty informací o pravidlech použitých v původním automatu.
Syntaktická analýza založená na maticových gramatikách
Bednář, Petr ; Solár, Peter (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce se zabývá syntaktickou analýzou založenou na maticových gramatik. Zavádí metodu analýzy, která je řízena pomocí automatu. Diskutuje problémy deterministické analýzy maticových gramatik. Práce se zaměřuje na deterministickou analýzu některých jazyků, které nejsou bezkontextové. Studuje sílu této deterministické metody.
Je svobodná vůle pouhou iluzí?
KOHOUTOVÁ, Lucie
Otázka svobodné vůle je to jedna z nejstarších a nejsložitějších otázek, kterou se člověk zabývá. Nejde pouze o teoretickou rovinu, protože důsledky našeho jednání ovlivní nejen náš život, ale i životy ostatních lidí. Ve své bakalářské práci se budu opírat o definice svobodné vůle a pokusím se vymezit základní teorie, které s ní pracují. Jaké jsou základní postoje ke svobodné vůli a jaké argumenty jsou pro její existenci, či neexistenci? Hlavní otázkou bude, jestli disponujeme svobodnou vůlí, zda jsme schopni se svobodně rozhodnout, nebo je nám akt svobodné vůle předurčen a naše svobodná vůle je pak pouhou iluzí. Pokusím se předložit argumenty některých filosofů a ukázat jejich pohled na svobodnou vůli, a s tím související morální odpovědnost.
Vernacular architectural elements. Mitigating climate conditions in the category Cfa
Burešová, Karolína
Vernacular architecture is a source of inspiration and guidance for the design of housing in a particular region, as well as for protecting and improving the environment, it shows the use of the proper material and can save energy costs, as these buildings cope with the climate through the passive design strategy. The case study discovers the unmechanised architectural form of the elements, which react to the climate conditions on the built environment of the vernacular architecture. The cases are selected according to the Köppen climate classification calculated for the Czech Republic for the period 2071-2100, which is in the category Cfa, along with European cases in the same category Italy, Croatia, Serbia, Bulgaria, Spain, and Krasnodar-Russia. These representatives are observed by Google Street View, and the forms of the architecture are compared. The potential of the research is to use the results in combination with architectural elements of the vernacular(1), contemporary(2) and ecological(3) housing architecture to design a new balanced housing model.
Existencialism and its Implementation in Education
Krivdová, Annamária ; Hogenová, Anna (vedoucí práce) ; Hauser, Michael (oponent)
Tato práce si klade za cíl nastínit nejvlivnější myšlenky existencialismu a dát je do souvislosti s naším každodenním životem. První část se zaměřuje na pět existenciálních spisovatelů a jejich nejhlubší příspěvky. Oslovuje díla Dostojevského, Kierkegaarda, Nietzscheho, Sartra a Camuse. Druhá část se skládá z dvanácti podkapitol, řešících otázky svobody, determinismu, úzkosti, utrpení, autenticity, odpovědnosti a hledání smyslu života. Tato část se snaží uvést otázky existenciální filozofie do praktického využití a zdůraznit její trvalý vliv a význam v dnešním světě. Je postavena ve formě dvanácti lekcí a nabízí různé příklady a pohledy na podnětné koncepty uvedené v první části.

Národní úložiště šedé literatury : Nalezeno 35 záznamů.   předchozí6 - 15dalšíkonec  přejít na záznam:
Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.