|
| |
|
|
A type system for tracking of unsafe side effects
Beneš, Jiří ; Bednárek, David (vedoucí práce) ; Šefl, Vít (oponent)
Mainstreamové programmovací jazyky si neuchovávají informace o vedlej- ších efektech programů, kterými jsou například možnost alokování paměti, vyhození výjimky a provádění akcí souvisejících se vstupem a výstupem. Vytvořili jsme plně specifikovaný, originální typový systém založený na stup- ňovitých komonádách, jenž dokáže vyjádřit opt-in, granulární bezpečnost oz- načením výrazů jazyka jakožto bezpečné vzhledem k dané množině vedlejších efektů. Výhody granulární bezpečnosti jsou demonstrovány pomocí praktické implementace, která umožňuje našemu systému sledovat uživatelem speci- fikované vedlejší efekty. 1
|
|
| |
|
|
Stvoření člověka, úděl a úkol člověka
Kocichová, Anna ; Melmuk, Petr (vedoucí práce) ; Beneš, Jiří (oponent)
Tématem této práce je stvoření člověka, úděl a úkol člověka. Stvoření člověka tak, jak jej můžeme sledovat v prvních dvou kapitolách knihy Genesis, stojící na samotném počátku Starého Zákona. Zaměřila jsem se na biblický text, biblické myšlenky, které nejsou žádnému Evropanovi úplně cizí. Vždyť už od dávných dob spoluformovala biblická vzdělanost (společně s řeckou) naši kulturu, naše tradice a myšlenky. Svou práci jsem pojala převážně z křesťanského hlediska, ale také jsem se snažila nalézt jisté podobnosti a souvislosti daného tématu s tradicí židovskou, s tradicí staroorientální, s názory významných osobností.
|
|
|
Král Chizkijáš
Turek, Petr ; Beneš, Jiří (vedoucí práce) ; Roubalová, Marie (oponent)
Závěr: V této práci jsem se zaměřil na pohled jednotlivých autorů biblických a talmudických textů na krále Chizkijáše. Cílem bylo především porovnat hodnocení Chizkijáše a jeho činů v textech Deuteronomisty, Chronisty a dalších redaktorů. Tito autoři, redaktoři či snad celé školy, znali Chizkijáše jako historickou postavu vyjímečnou svými vladařskými schopnostmi, věrností kultu Hospodina a lidskými kvalitami. Při jejich pokusu o vytvoření souborného historického díla jak Chronista, tak Deuteronomista, záměrně vylíčili postavu krále Chizkijáše ve zidealizované podobě, jak jsme si ukázali výše. Jedním z cílů této práce bylo ukázat, proč se jejich postup ubíral právě tímto směrem. V úvahách obou sehrály svou roli i nadosobní motivace. Oba věděli, že psané dílo (o to více historiografie vlastního národa), uspořádané z fragmentů ústní tradice, předávané z otce na syna, má obrovskou moc. Nejedná se o moc nad druhými ani nad Bohem, ale o moc nad sebou samými. Izraelský národ má sám sebe spatřovat v postavách příběhu vyprávěném našimi autory. Jeruzalémané se při poslechu těchto látek mají ztotožnit s nemocným, kajícným a nakonec uzdraveným Chizkijášem. Záměrem Deuteronomisty a Chronisty bylo a je poučit a povzbudit čtenáře pomocí systému symbolů, které čtenář bezpečně zná. Každý z autorů v jiné době, každý pro...
|
|
|
Obřízka ve starém Egyptě, judaismu a odraz obřízky v křesťanství
Vachatová, Radka ; Vymětalová Hrabáková, Eva (vedoucí práce) ; Beneš, Jiří (oponent)
Tato práce si klade za cíl blíže seznámit čtenáře s problematikou mužské obřízky ve starém Egyptě, starém Izraeli a následně i v judaismu a dále nastínit, jak bylo téma židovské obřízky zpracováno křesťanstvím. Přibližuje zvyk mužské obřízky ve starém Egyptě obrazovými a textovými důkazy, včetně nálezů na mumiích. Hledá podobnosti a rozdíly mezi mužskou obřízkou ve Starém Egyptě a judaismu, ve kterém je jedním z nejvýznamnějších rituálů a znamením příslušnosti k Bohu a národu. Pozornost je též věnována významové proměně v křesťanství za nový iniciační rituál křtu a názorům zatracujícím obřízku. Biblická témata, včetně mysteria Ježíšovy obřízky a Kristova ukřižování, se odrážejí i v evropském výtvarném umění, o čemž pojednává poslední část práce. Powered by TCPDF (www.tcpdf.org)
|
|
| |
|
|
Megido ve Starém zákoně a ve světle současné archelogie
Bémová, Jitka ; Melmuk, Petr (vedoucí práce) ; Beneš, Jiří (oponent)
Diplomová práce "Megido ve Starém zákoně a ve světle současné archeologie" pojednává o dějinách Megida od raného osídlení až po asyrskou nadvládu v 8. století př. o. 1. Do kontrastu s biblickými prameny byl postaven archeologický výzkum tohoto města. Úvodní část práce se zabývá Kenaanem, zemí, ve které se Megido nacházelo, a jejíž geografické a klimatické podmínky měly velký vliv na pozdější formování megidského městského státu. Jádro textu tvoří popis jednotlivých fází vývoje od kenaanského k izraelskému městu s důrazem na egyptsko-megidský vztah. Poslední část se zabývá nejznámějšími stavbami v Megidu, jejich datací a autorským určením. Závěr práce podává stručný nástin zániku izraelského království a následné asyrské nadvlády. Megido je zde vykresleno jako hlavní provinční město asyrské říše. V celém textu je vzato do úvahy biblické podání tohoto královského města a v kontrastu s ním nejnovější archeologické poznatky. Toto srovnání biblického vyprávění o Megidu se závěry vyvozenými z nejnovějších archeologických vykopávek bylo i cílem této práce.
|
|
|
Kniha Rút: Narativní analýza textu
Kreutziger, Kamil ; Beneš, Jiří (vedoucí práce) ; Roubalová, Marie (oponent)
Úkolem diplomové práce "Kniha Rút: Narativní analýza textu" je analyzovat a vyložit biblický text knihy Rút pomocí nástrojů narativní analýzy. Práce je členěná do dvou částí, dle použité metody synchronního výkladu textu. První zkoumá biblický text použitím standardních exegetických nástrojů, druhá aplikací metody narativní analýzy. V závěru formuluje poznatky a výtěžky exegetického bádání. Powered by TCPDF (www.tcpdf.org)
|
|
|
Reflexion of Child's "Canonical Approach"
Pavlík, Mikuláš ; Beneš, Jiří (vedoucí práce) ; Hrabáková, Eva (oponent)
Anotácia Táto diplomová práca sa zameriava na charakteristické dôrazy a postuláty kanonického prístupu Brevarda S. Childsa a predstavuje ich prevažne s odvolaním na jeho dve významné publikácie: Introduction to the Old Testament as Scripture (1979) a Biblical Theology of the Old and New Testaments (1993). Ukazuje prierez jeho dlhoročnou bádateľskou činnosťou a s ohľadom na interpretačné dôrazy opisuje stručný prehľad dejín bádania o kánone od reformácie až po tzv. novú biblickú teológiu. Ťažiskom práce je predstaviť hlavné metodologické východiská Childsovho kanonického prístupu biblickej teológie s dôrazom na jeho ústredné postuláty ako je napríklad kanonická intencionalita, konečná podoba textu a pod., a na tie hermeneutické prvky, ktoré presahujú do praktickej pastoračnej služby v cirkvi. Práca je v závere doplnená o praktický návod na spracovanie teologickej exegézy, ktorý vychádza z hlavných hermeneutických princípov kanonického prístupu.
|
host ::
RSS.