|
|
Elementary axiomatic theories over intuitionistic logic
Heřmanová, Barbora ; Švejdar, Vítězslav (advisor) ; Ferenz, Nicholas (referee)
This thesis studies basic properties of intuitionistic logic and several elementary theories over it. We choose three theories to explore: the theory of equality, the theory of linear order, and the theory of apartness. We do not work with the last theory in classical logic and we will study it in connection with the other two theories, especially in relation to conservativity. This thesis draws mainly from the results of Dirk van Dalen, Richard Statman, and Craig Smorynski. Keywords: intuitionistic logic, elementary theories, apartness, conservativity
|
|
|
Implementing Machine Translation in an SME
Hermanová, Barbora ; Svoboda, Tomáš (advisor) ; Špirk, Jaroslav (referee)
The thesis deals with the topic of implementation of machine translation (MT) in an SME with an emphasis on legal translation. The theoretical part brings together the existing research relevant for this topic, focusing in particular on the specifics of MT between Czech and English, the task of post-editing (PEMT), including the skills and competences required from post-editors, recommendations for, and experience with, MT implementation, MT evaluation, PEMT productivity and translator attitudes towards MT. In its empirical part, the thesis draws on a case study of MT implementation in a Czech language service provider (LSP), with a focus on selecting a suitable MT tool and incorporating it in the workflow. Furthermore, an experiment is performed with professional translators, aimed at measuring productivity of translation and post-editing in terms of the time spent in the respective tasks and analysing and comparing selected aspects of the output produced by the translators and post-editors participating in the experiment. The analytical model employed is an error-based human evaluation model. Lastly, a questionnaire is used to ascertain the experience of translators/post-editors with MT and their attitudes towards this technology. The thesis ultimately provides a set of findings that can be used...
|
|
|
The analysis of graphic design subject and it's proffesional use
HEŘMANOVÁ, Barbora
The theoretical part of the thesis deals with the concept of curriculum, the national education system of the Czech Republic and the creation of education programs. The practical outcome of this thesis is the comparison of school curriculum selected secondary schools and a survey on the topic ,,Employability of graduates in the field of graphic design in practice".
|
guest ::
RSS feed.