|
|
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
KIV / LA
:
Popis předmětu
Pracoviště / Zkratka
|
KIV
/
LA
|
Akademický rok
|
2023/2024
|
Akademický rok
|
2023/2024
|
Název
|
Logiky a automaty
|
Způsob zakončení
|
Zkouška
|
Způsob zakončení
|
Zkouška
|
Akreditováno / Kredity
|
Ano,
6
Kred.
|
Forma zakončení
|
Ústní
|
Forma zakončení
|
Ústní
|
Rozsah hodin
|
Přednáška
3
[HOD/TYD]
Cvičení
2
[HOD/TYD]
|
Zápočet před zkouškou
|
Ano
|
Zápočet před zkouškou
|
Ano
|
Automatické uznávání zápočtu před zkouškou
|
Ne
|
Počítán do průměru
|
ANO
|
Vyučovací jazyk
|
Čeština
|
Obs/max
|
|
|
|
Automatické uznávání zápočtu před zkouškou
|
Ne
|
Letní semestr
|
0 / -
|
0 / -
|
0 / -
|
Počítán do průměru
|
ANO
|
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ů
|
10
|
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 |
1|2|3|4 |
Periodicita |
každý rok
|
Hodnotící stupnice pro zp. před zk. |
S|N |
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 |
1|2|3|4 |
Hodnotící stupnice pro zp. před zk. |
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):
|
Zvládnout pojmy:konečný automat a algoritmus a pochopit sémantiku jazyků,správnost úsudků jak ve výrokové,tak i v predikátové logice 1.řádu a modalitu výroků.
|
Požadavky na studenta
|
Požadavky k zápočtu: fungující zapojení úloh
Mezní termín pro udělení zápočtu: 23. 6. 2023 do 12:hod.
Z důvodu průběžné aktualizace předmětu je pro získání zápočtu při opakovaném zapsání předmětu (viz SZŘ čl. 24 odst. 3) nutné souhlasné vyjádření garanta předmětu.
Upozornění:
Termíny a forma ověřování splnění požadavků mohou být upraveny s ohledem na opatření vyhlášená v souvislosti s vývojem epidemiologické situace v ČR.
|
Obsah
|
1.Konečný automat, redukované chování, událost.
2.Nerodova věta, regulární jazyk. Stochastický automat.
3.Petriho sítě.
4.Generativní gramatiky.
5.Výstavba formálních logických systémů.
6.Sémantika predikátového počtu.
7.Rezoluční metoda v predikátovém počtu.
8.Pravděpodobnostní logika, fuzzy množiny.
9.Fuzzy logika.
10.Turingovy stroje, Churchova-Turingova teze.
11.Výpočetní složitost. Třídy P, NP, PSPACE, EXP.
12.NP těžké a NP úplné úlohy. Převoditelnost.
13.Lambda-kalkul.
|
Aktivity
|
|
Studijní opory
|
Studenti mají na webu vyučujícího (http://home.zcu.cz/~vais/LA) k dispozici skripta v elektronické podobě
(Bokr: Logiky a automaty) a doplňující materiály k tématům jednotlivých přednášek i řešené příklady ze cvičení.
|
Garanti a vyučující
|
|
Literatura
|
|
Časová náročnost
|
Všechny formy studia
|
Aktivity
|
Časová náročnost aktivity [h]
|
Příprava na zkoušku [10-60]
|
50
|
Příprava prezentace (referátu) [3-8]
|
6
|
Kontaktní výuka
|
65
|
Projekt individuální [40]
|
35
|
Celkem
|
156
|
|
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: |
uplatnit středoškolské znalosti z výrokové logiky |
popsat pojmy a struktury teoretické informatiky |
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: |
zručně používat aparát výrokové logiky |
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, |
|
Výsledky učení
|
Odborné znalosti - po absolvování předmětu prokazuje student znalosti: |
schopnost pracovat s logickými kalkuly a teoriemi jako s axiomatickými systémy |
schopnost odvozovat důsledky teorií |
orientace v systémech vícehodnotových logik |
schopnost definovat stav konečného automatu, pochopit jeho analýzu a syntézu podle Kleeneho věty |
Odborné dovednosti - po absolvování předmětu prokazuje student dovednosti: |
schopnost řešit logické úlohy výrokové logiky, predikátové logiky prvního řádu i vícehodnotové logiky. |
analýza a návrh konečných automatů |
modelování paralelních činností Petriho sítěmi |
Obecné způsobilosti - po absolvování předmětu je student schopen: |
mgr. studium: srozumitelně a přesvědčivě sdělují odborníkům i laikům informace o povaze odborných problémů a vlastním názoru na jejich řešení, |
|
Hodnoticí metody
|
Odborné znalosti - odborné znalosti dosažené studiem předmětu jsou ověřovány hodnoticími metodami: |
Individuální prezentace, |
Kombinovaná zkouška, |
Odborné dovednosti - odborné dovednosti dosažené studiem předmětu jsou ověřovány hodnoticími metodami: |
Demonstrace dovedností (praktická činnost), |
Obecné způsobilosti - obecné způsobilosti dosažené studiem předmětu jsou ověřovány hodnoticími metodami: |
Kombinovaná zkouška, |
|
Vyučovací metody
|
Odborné znalosti - pro dosažení odborných znalostí jsou užívány vyučovací metody: |
Laboratorní praktika, |
Přednáška založená na výkladu, |
Přednáška s diskusí, |
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: |
Přednáška s diskusí, |
|
|
|
|