Subjects

Your browser does not support JavaScript, or its support is disabled. Some features may not be available.

Nonstandard Seminar II - NLTM015

Title:	Nestandardní seminář II
Guaranteed by:	Department of Theoretical Computer Science and Mathematical Logic (32-KTIML)
Faculty:	Faculty of Mathematics and Physics
Actual:	from 2015 to 2019
Semester:	summer
E-Credits:	3
Hours per week, examination:	summer 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

Opinion survey results Examination dates Schedule Noticeboard

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.

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: an existence and properties. Advanced model-theoretic methods. New results.