Logo ČVUT
CZECH TECHNICAL UNIVERSITY IN PRAGUE
STUDY PLANS
2019/2020

Hyperset Theory

The course is not on the list Without time-table
Code Completion Credits Range Language
XP01THM ZK 4 2+1 Czech
Lecturer:
Tutor:
Supervisor:
Department of Mathematics
Synopsis:

Circularity in computer science, antifoundation axiom, bisimulation and substitution, model of ZFA, modal logics and graphs, corecursion.

Requirements:
Syllabus of lectures:
Syllabus of tutorials:
Study Objective:
Study materials:

1. Jon Barwise and Lawrence Moss: Vicious Circles, CSLI Publications, Stanford, California, 1996

Note:
Further information:
No time-table has been prepared for this course
The course is a part of the following study plans:
Data valid to 2020-01-19
For updated information see http://bilakniha.cvut.cz/en/predmet12432504.html