|
Vyučující
|
|
|
|
Obsah předmětu
|
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.
|
|
Studijní aktivity a metody výuky
|
Laboratorní praktika, Demonstrace dovedností
- Příprava na zkoušku [10-60]
- 50 hodin za semestr
- Projekt individuální [40]
- 35 hodin za semestr
- Kontaktní výuka
- 65 hodin za semestr
- Příprava prezentace (referátu) [3-8]
- 6 hodin za semestr
|
| Předpoklady |
|---|
| Odborné znalosti |
|---|
| uplatnit středoškolské znalosti z výrokové logiky |
| popsat pojmy a struktury teoretické informatiky |
| Odborné dovednosti |
|---|
| zručně používat aparát výrokové logiky |
| Obecné způsobilosti |
|---|
| 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 |
|---|
| 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 |
|---|
| 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 |
|---|
| 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í, |
| Vyučovací metody |
|---|
| Odborné znalosti |
|---|
| Laboratorní praktika, |
| Přednáška založená na výkladu, |
| Přednáška s diskusí, |
| Odborné dovednosti |
|---|
| Cvičení (praktické činnosti), |
| Obecné způsobilosti |
|---|
| Přednáška s diskusí, |
| Hodnotící metody |
|---|
| Odborné znalosti |
|---|
| Individuální prezentace, |
| Kombinovaná zkouška, |
| Odborné dovednosti |
|---|
| Demonstrace dovedností (praktická činnost), |
| Obecné způsobilosti |
|---|
| Kombinovaná zkouška, |
|
Doporučená literatura
|
-
Bokr, Josef. Logiky a automaty. Plzeň : Západočeská univerzita, 2003.
|