Teorie množin - NAIL063

• Anglický název: Set Theory
• Zajišťuje: Katedra aplikované matematiky (32-KAM)
• Fakulta: Matematicko-fyzikální fakulta
• Platnost: od 2019
• Semestr: letní
• E-Kredity: 3
• Rozsah, examinace: letní s.:2/0, Zk [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, angličtina
• Způsob výuky: prezenční
• Způsob výuky: prezenční
• Další informace: https://kam.mff.cuni.cz/~kyncl/temno/
• Garant: doc. Mgr. Jan Kynčl, Ph.D.; doc. Mgr. Robert Šámal, Ph.D.
• Vyučující: doc. Mgr. Jan Hubička, Ph.D.; doc. Mgr. Jan Kynčl, Ph.D.
• Třída: Informatika Bc.
• Kategorizace předmětu: Informatika > Teoretická informatika
• Neslučitelnost : NLTM030, NMIN160
• Záměnnost : NMIN160
• Je korekvizitou pro: NAIL124
• Je neslučitelnost pro: NLTM030, NAIL003
• Je záměnnost pro: NAIL003

Anotace

čeština

Seznámení se základními pojmy teorie množin v rozsahu nezbytném k porozumění dalším matematickým přednáškám.

Poslední úprava: G_I (05.06.2003)

angličtina

An introductory course to set theory.

Poslední úprava: G_I (28.05.2004)

Cíl předmětu

Naučit základy teorie množin

Poslední úprava: T_KTI (26.05.2008)

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

čeština

Ústní zkouška. Zkouška se může konat i distanční formou, v závislosti na vývoji aktuální situace.

Poslední úprava: Kynčl Jan, doc. Mgr., Ph.D. (29.04.2020)

angličtina

Written exam.

Poslední úprava: Kynčl Jan, doc. Mgr., Ph.D. (31.05.2019)

Literatura

• B. Balcar, P. Štěpánek, Teorie množin, Academia, Praha 1986

• K. Kunen, Set Theory, North Holland 1980

• B. Balcar, P. Štěpánek, Teorie množin, skriptum MFF UK, Praha 1974, 1980

• Paul R. Halmos: Naive Set Theory, Springer 1998/Martino Fine Books 2011 (reprint, orig. ed. 1960)

• Karel Hrbacek, Thomas Jech: Introduction to Set Theory, 3.ed., Marcel Dekker, 1999

• Raymond M. Smullyan: Set Theory and the Continuum Problem, Dover Books on Mathematics, 2010

Poslední úprava: Šámal Robert, doc. Mgr., Ph.D. (02.03.2017)

Požadavky ke zkoušce

čeština

Pro českou paralelku bude zkouška ústní na základě přednesené látky. Zkouška se může konat i distanční formou, v závislosti na vývoji aktuální situace.

Poslední úprava: Kynčl Jan, doc. Mgr., Ph.D. (29.04.2020)

angličtina

For the English class, the exam will be written based on the material that was presented.

Poslední úprava: Kynčl Jan, doc. Mgr., Ph.D. (14.02.2019)

Sylabus

čeština

1. Historické pozadí vzniku teorie množin, zdůvodnění její axiomatické výstavby. Axiomy teorie množin.

2. Základní operace: Inkluze, sjednocení, průnik, diference, dvojice, kartézský součin, relace, funkce.

3. Uspořádání, dobré uspořádání, ordinální čísla, přirozená čísla, základy ordinální aritmetiky.

4. Spočetné a nespočetné množiny, kardinální čísla, Cantor-Bernsteinova věta, kardinální aritmetika.

5. Třídy a relace, princip transfinitní indukce a rekurze.

6. Axiom výběru a jeho ekvivalenty.

7. Základy nekonečné kombinatoriky: Königovo lemma, Princip kompaktnosti, Ramseyova věta.

V roce 2019/2020 je k předmětu nepovinné cvičení (Cvičení z teorie množin - NAIL124).

Poslední úprava: Kynčl Jan, doc. Mgr., Ph.D. (13.02.2020)

angličtina

1. Historical background, axioms of ZFC.

2. Basic operations: inclusion, intersection, difference, pairs, cartesian product, relation, function.

3. Ordering, well-ordering, ordinal numbers, natural numbers, basics from ordinal arithmetic.

4. Countable and uncountable sets, cardinal numbers, Cantor-Bernstein theorem, cardinal arithmetics.

5. Classes and relations, transfinite induction and recursion.

6. Axiom of choice and its equivalents.

7. Elements of infinitary combinatorics: Konig's lemma, Compactness principle, Ramsey theorem.

For details see https://iuuk.mff.cuni.cz/~samal/vyuka/1718/Sets/

In 2019/2020, there is an optional exercise for this course (Exercises from set theory - NAIL124).

Poslední úprava: Kynčl Jan, doc. Mgr., Ph.D. (13.02.2020)