SubjectsSubjects(version: 945)
Course, academic year 2023/2024
   Login via CAS
Nonstandard Seminar 1 - NLTM014
Title: Nestandardní seminář 1
Guaranteed by: Department of Theoretical Computer Science and Mathematical Logic (32-KTIML)
Faculty: Faculty of Mathematics and Physics
Actual: from 2020
Semester: winter
E-Credits: 3
Hours per week, examination: winter s.:0/2, C [HT]
Capacity: unlimited
Min. number of students: unlimited
4EU+: no
Virtual mobility / capacity: no
State of the course: taught
Language: Czech
Teaching methods: full-time
Teaching methods: full-time
Guarantor: doc. RNDr. Josef Mlček, CSc.
Class: DS, algebra, teorie čísel a matematická logika
Mat. logika a teorie množin
Classification: Informatics > Discrete Mathematics
Annotation -
Last update: G_I (30.05.2001)
Enlarged set universes are studied and methods of working in such universes are explicated and developed. Some knowledge of set theory and mathematical logic are assumed.
Aim of the course -
Last update: RNDr. Jan Hric (07.06.2019)

TBA

Course completion requirements -
Last update: RNDr. Jan Hric (07.06.2019)

TBA

Literature - Czech
Last update: T_KTI (09.05.2005)

V. Kanovei, M. Reeken, Nonstandard analysis, axiomatically,

Springer Monographs in Mathematics, Springer-Verlag, Berlin-Heidelberg,

2004

Pillay, A, Geometric Stability Theory, Clarendon Press, Oxford, 1996

Syllabus -
Last update: T_KTI (19.05.2004)

Nonstandard set universes. Methods of model theory. New results.

 
Charles University | Information system of Charles University | http://www.cuni.cz/UKEN-329.html