Hyperset Theory
The course is not on the list Without time-table
| Code | Completion | Credits | Range | Language |
|---|---|---|---|---|
| XP01THM | ZK | 4 | 2+1 | Czech |
- Course guarantor:
- 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: