| Název předmětu | Meze formálních metod |
|---|---|
| Kód předmětu | KMI/PGSMF |
| Organizační forma výuky | Konzultace |
| Úroveň předmětu | Doktorský |
| Rok studia | nespecifikován |
| Semestr | Zimní a letní |
| Počet ECTS kreditů | 5 |
| Vyučovací jazyk | Čeština, Angličtina |
| Statut předmětu | nespecifikováno |
| Způsob výuky | Kontaktní |
| Studijní praxe | Nejedná se o pracovní stáž |
| Doporučené volitelné součásti programu | Není |
| Vyučující |
|---|
|
| Obsah předmětu |
|
- Historické pozadí - Potřebné pojmy z logiky a teorie modelů - Formální teorie čísel - Gödelovy věty o neúplnosti a související výsledky - Vybrané aspekty neúplnosti
|
| Studijní aktivity a metody výuky |
| nespecifikováno |
| Výstupy z učení |
|
Studenti se seznámí se základními výsledky ohledně mezí formálních metod.
|
| Předpoklady |
|
nespecifikováno
|
| Hodnoticí metody a kritéria |
|
nespecifikováno
|
| Doporučená literatura |
|
| Studijní plány, ve kterých se předmět nachází |
| Fakulta | Studijní plán (Verze) | Kategorie studijního oboru/specializace | Doporučený semestr |
|---|