|
|
Elementary axiomatic theories over intuitionistic logic
Heřmanová, Barbora ; Švejdar, Vítězslav (vedoucí práce) ; Ferenz, Nicholas (oponent)
Tato práce se zabývá základními vlastnostmi intuicionistické logiky a některými elementárními teoriemi v ní. Ke zkoumání jsme vybrali následující teorie: teorie ekvivalence, teorie lineárního uspořádání a teorie mimolehlosti. Poslední teorie není známá v klasické logice a my ji budeme zkoumat ve spo- jení se zbylými dvěma teoriemi a to zejména v souvislosti s konzervativitou. Tato práce čerpá především z prací Dirka van Dalena, Richarda Statmana a Craiga Smorynského. Klíčová slova: intuicionistická logika, elementární teorie, mimolehlost, konzerva- tivita
|
|
|
Zavádění strojového překladu v prostředí MSP
Hermanová, Barbora ; Svoboda, Tomáš (vedoucí práce) ; Špirk, Jaroslav (oponent)
Tato diplomová práce se zabývá tématem zavádění strojového překladu v prostředí MSP se zaměřením na právní překlad. Teoretická část práce shrnuje stávající literaturu týkající se tohoto tématu, zejména s ohledem na specifika strojového překladu mezi češtinou a angličtinou, post-editaci strojového překladu včetně dovedností a schopností vyžadovaných od post-editorů, doporučení a zkušeností v souvislosti se zaváděním strojového překladu, hodnocení strojového překladu, produktivitu post-editace a také postoje překladatelů vůči strojovému překladu. Empirická část čerpá z případové studie zavádění strojového překladu ve společnosti zaměřující se na poskytování jazykových služeb. Případová studie je soustředí zejména na proces výběru vhodného nástroje strojového překladu a jeho začlenění do pracovních postupů. Dále je prováděn experiment, jehož cílem je zjištění produktivity post-editace a překladu s ohledem na čas strávený vypracováním cílového textu příslušným způsobem. Dalším z cílů experimentu je podrobit analýze a srovnání některé aspekty cílových textů vypracovaných jednotlivými překladateli a post-editory. K analýze je využit model analýzy chyb lidským hodnotitelem. Následně jsou za pomoci dotazníku zjišťovány a analyzovány postoje překladatelů ke strojovému překladu a jejich zkušenosti s ním....
|
|
| |
host ::
RSS.