Logo ČVUT
ČESKÉ VYSOKÉ UČENÍ TECHNICKÉ V PRAZE
STUDIJNÍ PLÁNY
2019/2020

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
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ů:
Platnost dat k 24. 2. 2020
Aktualizace výše uvedených informací naleznete na adrese http://bilakniha.cvut.cz/cs/predmet12432504.html