Teorie hypermnožin
Předmět není vypsán Nerozvrhuje se
| Kód | Zakončení | Kredity | Rozsah | Jazyk výuky |
|---|---|---|---|---|
| XP01THM | ZK | 4 | 2+1 | česky |
- Garant předmětu:
- Přednášející:
- Cvičící:
- Předmět zajišťuje:
- katedra matematiky
- Anotace:
-
Cirkularita v computer science, axiom antifundovanosti, bisimulace a substituce, model ZFA, modální logika a grafy, korekurze.
- Požadavky:
- Osnova přednášek:
- Osnova cvičení:
- Cíle studia:
- Studijní materiály:
-
1. Jon Barwise and Lawrence Moss: Vicious Circles, CSLI Publications, Stanford, California, 1996
- Poznámka:
- Další informace:
- Pro tento předmět se rozvrh nepřipravuje
- Předmět je součástí následujících studijních plánů: