| |
|
Jazyková správnost a nesprávnost jako argument v internetových diskuzích
Trojanová, Monika ; Švelch, Jaroslav (vedoucí práce) ; Kraus, Jiří (oponent)
Diplomová práce "Jazyková správnost a nesprávnost jako argument v internetových diskuzích" se zabývá jazykovou kritikou, kterou uživatelé internetových diskuzí využívají ve své argumentaci. Práce nejprve rámuje téma jazyka a řeči, argumentace, rétoriky a komunikace. Představuje internetové diskuze, popisuje jejich fungování, jejich přínos v komunikaci a také uživatele, kteří vytvářejí v diskuzích obsah. Práce poté analyzuje korpus internetových diskuzí, v nichž se objevila argumentace na základě jazykové správnosti a nesprávnosti. Představuje komunikační situace a na jejich základě pak kategorizuje spouštěče jazykové kritiky, argumenty kritizujících a reakce kritizovaných. Zkoumá, jak je argumentace jazykovou správností a nesprávností vnímána ostatními diskutujícími. Zabývá se také důsledkem jazykové kritiky v dané diskuzi. Tato práce si klade za cíl postihnout, zda a v jakých případech může jazyková nesprávnost ovlivnit informační hodnotu daného příspěvku a také jak je jazyková správnost a nesprávnost využívána v argumentaci uživatelů.
|
|
Jazyková správnost a nesprávnost jako argument v internetových diskuzích
Trojanová, Monika ; Švelch, Jaroslav (vedoucí práce) ; Kraus, Jiří (oponent)
Diplomová práce "Jazyková správnost a nesprávnost jako argument v internetových diskuzích" se zabývá jazykovou kritikou, kterou uživatelé internetových diskuzí využívají ve své argumentaci. Práce nejprve rámuje téma jazyka a řeči, argumentace, rétoriky a komunikace. Představuje internetové diskuze, popisuje jejich fungování, jejich přínos v komunikaci a také uživatele, kteří vytvářejí v diskuzích obsah. Práce poté analyzuje korpus internetových diskuzí, v nichž se objevila argumentace na základě jazykové správnosti a nesprávnosti. Představuje komunikační situace a na jejich základě pak kategorizuje spouštěče jazykové kritiky, argumenty kritizujících a reakce kritizovaných. Zkoumá, jak je argumentace jazykovou správností a nesprávností vnímána ostatními diskutujícími. Zabývá se také důsledkem jazykové kritiky v dané diskuzi. Tato práce si klade za cíl postihnout, zda a v jakých případech může jazyková nesprávnost ovlivnit informační hodnotu daného příspěvku a také jak je jazyková správnost a nesprávnost využívána v argumentaci uživatelů.
|
|
On the semantics of exceptions for high level and low level languages
Tejiščák, Matúš ; Swierstra, Wouter (vedoucí práce) ; Kučera, Petr (oponent)
V práci se zabýváme korektností kompilátoru jazyka s výjimkami. Předkládáme formální sémantiku; jak denotační sémantiku vysokoúrovňového jazyka, tak operační sémantiku jazyka instrukcí pro zásobníkový stroj. Studujeme metodu odvíjení zásobníku a poté, iterativně ve více krocích, předkládáme modifikovanou metodu. Tato je strukturálně rekurzivní a tudíž vhodná pro implementaci v totálních závisle typovaných jazycích. Nakonec předkládáme implementaci kompilátoru v závisle typovaném jazyce Agda, spolu se strojově ověřitelným důkazem, že předložená implementace kompilátoru při překladu zachovává sémantiku programu.
|