|
|
Hlavní nabídka Prohlížení IS/STAG
Nalezené předměty, počet: 1
Stránkování výsledků vyhledávání
Nalezeno 1 záznamů
Export do Xls
Informace o předmětu
KFI / FSM
:
Popis předmětu
Pracoviště / Zkratka
|
KFI
/
FSM
|
Akademický rok
|
2024/2025
|
Akademický rok
|
2024/2025
|
Název
|
Formální sémantika
|
Způsob zakončení
|
Zápočet
|
Způsob zakončení
|
Zápočet
|
Akreditováno / Kredity
|
Ano,
2
Kred.
|
Forma zakončení
|
-
|
Forma zakončení
|
-
|
Rozsah hodin
|
Přednáška
1
[HOD/TYD]
Cvičení
1
[HOD/TYD]
|
Zápočet před zkouškou
|
Ne
|
Zápočet před zkouškou
|
Ne
|
Automatické uznávání zápočtu před zkouškou
|
Ano v případě předchozího hodnocení 4 nebo nic.
|
Počítán do průměru
|
NE
|
Vyučovací jazyk
|
Čeština
|
Obs/max
|
|
|
|
Automatické uznávání zápočtu před zkouškou
|
Ano v případě předchozího hodnocení 4 nebo nic.
|
Letní semestr
|
0 / -
|
0 / -
|
0 / -
|
Počítán do průměru
|
NE
|
Zimní semestr
|
0 / -
|
0 / -
|
0 / -
|
Opakovaný zápis
|
NE
|
Opakovaný zápis
|
NE
|
Rozvrh
|
Ano
|
Vyučovaný semestr
|
Zimní semestr
|
Vyučovaný semestr
|
Zimní semestr
|
Minimum (B + C) studentů
|
5
|
Volně zapisovatelný předmět |
Ano
|
Volně zapisovatelný předmět
|
Ano
|
Vyučovací jazyk
|
Čeština
|
Počet dnů praxe
|
0
|
Počet hodin kontaktní výuky |
|
Hodnotící stupnice |
S|N |
Periodicita |
každý rok
|
Periodicita upřesnění |
|
Základní teoretický předmět |
Ne
|
Profilující předmět |
Ne
|
Základní teoretický předmět |
Ne
|
Hodnotící stupnice |
S|N |
Nahrazovaný předmět
|
Žádný
|
Vyloučené předměty
|
Nejsou definovány
|
Podmiňující předměty
|
Nejsou definovány
|
Předměty informativně doporučené
|
Nejsou definovány
|
Předměty,které předmět podmiňuje
|
Nejsou definovány
|
Graf četnosti udělených hodnocení studentům napříč roky:
Obrázek PNG
,
XLS
|
Cíle předmětu (anotace):
|
Cílem předmětu je seznámit studenty s principy formální sémantiky a naučit je práci v základních systémech tohoto oboru. Budou představeny základní systémy extenzionální, intenzionální i hyperintenzionální sémantiky a jejich využití jak při budování modelů formalizovaných teorií, tak v analýze přirozeného jazyka, či při konstrukci ontologií informačních systémů.
|
Požadavky na studenta
|
Test
|
Obsah
|
Principy formální sémantiky (denotace, verifundace a kompozicionalita). Extenzionální sémantika (množinová teorie modelů, kategoriální gramatika, teorie typů). Intenzionální sémantika (sémantika možných světů, Montagueho gramatika). Hyperintenzionální sémantika (sémantika nemožných možných světů, Transparentní intenzionální sémantika). Dynamická sémantika.
|
Aktivity
|
|
Studijní opory
|
Studenti mají k dispozici oporu ve formě skupiny/týmu v rámci systému Microsoft Teams.
Elektronické opory v rámci projektu Logika - https://www.esf.kfi.zcu.cz/logika/
|
Garanti a vyučující
|
|
Literatura
|
-
Základní:
Tugendhat, Ernst; Wolf, Ursula. Logicko-sémantická propedeutika. [1. vyd.]. Praha : Petr Rezek, 1997. ISBN 80-86027-02-3.
-
Základní:
Peregrin, Jaroslav. Úvod do teoretické sémantiky : principy formálního modelování významu. 2., aktualiz. vyd. Praha : Univerzita Karlova, 2003. ISBN 80-246-0635-6.
-
Doporučená:
CANN, Ronnie. Formal Semantics: An Introduction. Cambridge : Cambridge University Press, 1995.
-
Doporučená:
BENTHEM, Johann van - MEULEN, Alice ter (eds.). Handbook of Logic and Language. Oxford: Elsevier & Cambridge (Mass.) : MIT Press, 1997.
-
Doporučená:
GAMUT, L. T. F. Logic, Language and Meaning. Chicago : University of Chicago Press, 1991.
-
Doporučená:
Cmorej, Pavel. Úvod do logickej syntaxe a sémantiky. Praha : Triton, 2002. ISBN 80-7254-294-X.
-
On-line katalogy knihoven
|
Časová náročnost
|
Všechny formy studia
|
Aktivity
|
Časová náročnost aktivity [h]
|
Kontaktní výuka
|
26
|
Příprava na souhrnný test [6-30]
|
26
|
Celkem
|
52
|
|
Předpoklady
|
Odborné znalosti - pro úspěšné zvládnutí předmětu se předpokládá, že je student před zahájením výuky schopen: |
kurz nevyžaduje žádné zvláštní předchozí znalosti ani dovednosti |
|
Výsledky učení
|
Odborné znalosti - po absolvování předmětu prokazuje student znalosti: |
studenti pochopí principy formální sémantiky a její jednotlivé systémy. Dokážou zařadit jednotlivé systémy formální sémantiky do historického i teoretického kontextu analytické filosofie a filosofie jazyka. Ovládnou a naučí se prakticky používat technický aparát základních systému formální sémantiky |
|
Hodnoticí metody
|
Odborné znalosti - odborné znalosti dosažené studiem předmětu jsou ověřovány hodnoticími metodami: |
Test, |
|
Vyučovací metody
|
Odborné znalosti - pro dosažení odborných znalostí jsou užívány vyučovací metody: |
Přednáška založená na výkladu, |
Cvičení (praktické činnosti), |
Samostudium, |
|
|
|
|