|
| |
|
|
Language correctness and incorrectness as an argument used in online discussions
Trojanová, Monika ; Švelch, Jaroslav (advisor) ; Kraus, Jiří (referee)
The diploma thesis titled "Language Correctness and Incorrectness as an Argument Used in Online Discussions" deals with a language criticism which is used as an argument in online discussions. Firstly, the thesis frames language and speech, argumentation, rhetoric, and communication. Then it introduces online discussions and describes how they work, and how they contribute to communication. It is also focused on the users as creators of content in online discussions. The thesis analyzes the corpus of online discussions in which the argumentation based on language correctness and incorrectness is contained. According to communication situations, the thesis classifies by what language criticism is started, what arguments are used by the critics, how the critized react, and how the others perceive language criticism. The research also examines the consequence of language criticism in online discussions. The goal of the thesis is to determinate whether and how language incorrectness may affect information value of particular post, and how the arguments based on language correctness and incorrectness are used.
|
|
|
Language correctness and incorrectness as an argument used in online discussions
Trojanová, Monika ; Švelch, Jaroslav (advisor) ; Kraus, Jiří (referee)
The diploma thesis titled "Language Correctness and Incorrectness as an Argument Used in Online Discussions" deals with a language criticism which is used as an argument in online discussions. Firstly, the thesis frames language and speech, argumentation, rhetoric, and communication. Then it introduces online discussions and describes how they work, and how they contribute to communication. It is also focused on the users as creators of content in online discussions. The thesis analyzes the corpus of online discussions in which the argumentation based on language correctness and incorrectness is contained. According to communication situations, the thesis classifies by what language criticism is started, what arguments are used by the critics, how the critized react, and how the others perceive language criticism. The research also examines the consequence of language criticism in online discussions. The goal of the thesis is to determinate whether and how language incorrectness may affect information value of particular post, and how the arguments based on language correctness and incorrectness are used.
|
|
|
On the semantics of exceptions for high level and low level languages
Tejiščák, Matúš ; Swierstra, Wouter (advisor) ; Kučera, Petr (referee)
The thesis deals with correctness of a compiler of a simple language featuring exceptions. We present formal semantics, both denotational semantics of a~high-level language and operational semantics of a low-level language for a~simple stack machine. We study the method of stack unwinding and then iteratively, improving upon a naive solution, we present a different method that is structurally recursive and thus suitable for implementation in total dependently typed languages. Finally, we provide an implementation of the compiler in the dependently typed functional programming language Agda, along with a mechanically verifiable proof of adherence of the implementation to the semantics.
|
guest ::
