Nestandardní seminář 2 - NLTM015

• Anglický název: Nonstandard Seminar 2
• Zajišťuje: Katedra teoretické informatiky a matematické logiky (32-KTIML)
• Fakulta: Matematicko-fyzikální fakulta
• Platnost: od 2020
• Semestr: letní
• E-Kredity: 3
• Rozsah, examinace: letní s.:0/2, Z [HT]
• Počet míst: neomezen
• Minimální obsazenost: neomezen
• 4EU+: ne
• Virtuální mobilita / počet míst pro virtuální mobilitu: ne
• Stav předmětu: vyučován
• Jazyk výuky: čeština
• Způsob výuky: prezenční
• Způsob výuky: prezenční
• Garant: doc. RNDr. Josef Mlček, CSc.
• Třída: DS, algebra, teorie čísel a matematická logika; Mat. logika a teorie množin
• Kategorizace předmětu: Informatika > Diskrétní matematika

Anotace

čeština

Poslední úprava: G_I (30.05.2001)

Seminář se zabývá nestandardními a neregulárními matematickými strukturami a univerzy a rozvojem nestandardních metod, jakož i aplikacemi těchto pojetí a metod v konkrétních matematických disciplínách, popř. rozvojem netradiční matematizace. S řadou frekventovaných pojmů se lze seznámit v přednáškách LTM001, LTM011.

angličtina

Poslední úprava: 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.

Cíl předmětu

čeština

Poslední úprava: RNDr. Jan Hric (07.06.2019)

TBA

Podmínky zakončení předmětu

čeština

Poslední úprava: RNDr. Jan Hric (07.06.2019)

TBA

Literatura

Poslední úprava: 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

Sylabus

čeština

Poslední úprava: T_KTI (19.05.2004)

Nestandardní universa množin: existence a vlastnosti. Pokročilé metody teorie modelů. Nové výsledky.

angličtina

Poslední úprava: T_KTI (19.05.2004)

Nonstandard set universes: an existence and properties. Advanced model-theoretic methods. New results.