Subjects

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

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

Guarantor:	doc. RNDr. Josef Mlček, CSc.
Teacher(s):	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 WS schedule Noticeboard

Annotation -

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.

Last update: G_I (30.05.2001)

Aim of the course -

TBA

Last update: Hric Jan, RNDr. (07.06.2019)

Course completion requirements -

TBA

Last update: Hric Jan, RNDr. (07.06.2019)

Literature - Czech

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

Last update: T_KTI (09.05.2005)

Syllabus -

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

Last update: T_KTI (19.05.2004)