|
|
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 / LAPJ
:
Popis předmětu
Pracoviště / Zkratka
|
KFI
/
LAPJ
|
Akademický rok
|
2023/2024
|
Akademický rok
|
2023/2024
|
Název
|
Logická analýza přirozeného jazyka
|
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
|
Cvičení
2
[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
|
Letní semestr
|
Vyučovaný semestr
|
Letní 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 |
Ano
|
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 naučit studenty základům logické analýzy přirozeného jazyka, která je základním předpokladem pro automatické zpracovávání zadání formulovaného v přirozeném jazyce ve formalizovaném systému. Studenti budou postupně seznámeni se současným stavem tohoto oboru a jeho základními přístupy s cílem uvědomit si výhody čistě syntaktického automatického zpracovávání jazyka i jeho meze.
|
Požadavky na studenta
|
Test
|
Obsah
|
Logická a gramatická forma věty. Formalizace v predikátové logice prvního řádu (kvantidfikátory, logické spojky). Jiné logické konstanty (jenom, kromě, nej-, ostatní, ...). Víceznačnost přirozeného jazyka. Neextenzionální kontexty (gramatický čas, propoziční postoje, indexické výrazy, modality, ...)
|
Aktivity
|
|
Studijní opory
|
Studenti mají k dispozici oporu ve formě skupiny/týmu v rámci systému Microsoft Teams.
|
Garanti a vyučující
|
|
Literatura
|
|
Časová náročnost
|
Všechny formy studia
|
Aktivity
|
Časová náročnost aktivity [h]
|
Příprava na souhrnný test [6-30]
|
26
|
Kontaktní výuka
|
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: |
vysvětlit základní pojmy moderní predikátové logiky |
popsat hlavní myšlenkové proudy moderní filosofie, především filosofie 20. století |
Odborné dovednosti - pro úspěšné zvládnutí předmětu se předpokládá, že student před zahájením výuky dokáže: |
formulovat a obhájit své stanovisko v diskuzi |
používat běžné akademické digitální nástroje, např. databázi odborných publikací |
Obecné způsobilosti - před zahájením studia předmětu je student schopen: |
mgr. studium: samostatně a odpovědně se na základě rámcového zadání rozhodují v souvislostech jen částečně známých, |
mgr. studium: srozumitelně shrnou názory ostatních členů týmu, |
|
Výsledky učení
|
Odborné znalosti - po absolvování předmětu prokazuje student znalosti: |
vysvětlit způsob formalizace vět přirozeného jazyka do jazyka predikátové logiky prvního řádu |
popsat rozdíl mezi gramatickou a logickou formou věty |
popsat základní typy víceznčnosti přirozeného jazyka |
Odborné dovednosti - po absolvování předmětu prokazuje student dovednosti: |
identifikovat vztahy mezi gramatickou a logickou formou věty |
formalizovat konkrétní věty přirozeného jazyka do jazyka predikátové logiky prvního řádu |
analyzovat kontexty přirozeného jazyka, které překračují hranice běžné logické analýzy založené na predikátové logice prvního řádu |
Obecné způsobilosti - po absolvování předmětu je student schopen: |
mgr. studium: dle vyvíjejících se souvislostí a dostupných zdrojů vymezí zadání pro odborné činnosti, koordinují je a nesou konečnou odpovědnost za jejich výsledky, |
mgr. studium: srozumitelně a přesvědčivě sdělují odborníkům i širší veřejnosti vlastní odborné názory, |
|
Hodnoticí metody
|
Odborné znalosti - odborné znalosti dosažené studiem předmětu jsou ověřovány hodnoticími metodami: |
Test, |
Odborné dovednosti - odborné dovednosti dosažené studiem předmětu jsou ověřovány hodnoticími metodami: |
Test, |
Obecné způsobilosti - obecné způsobilosti dosažené studiem předmětu jsou ověřovány hodnoticími metodami: |
Test, |
Průběžné hodnocení, |
|
Vyučovací metody
|
Odborné znalosti - pro dosažení odborných znalostí jsou užívány vyučovací metody: |
Cvičení (praktické činnosti), |
Odborné dovednosti - pro dosažení odborných dovedností jsou užívány vyučovací metody: |
Cvičení (praktické činnosti), |
Obecné způsobilosti - pro dosažení obecných způsobilostí jsou užívány vyučovací metody: |
Cvičení (praktické činnosti), |
Samostudium, |
|
|
|
|