PřF:MUC61 Logická výstavba matem. teorií

MUC61 Logická výstavba matematických teorií

Přírodovědecká fakulta
podzim 2025

Rozsah

2/0/0. 4 kr. Ukončení: zk.
Vyučováno kontaktně

Vyučující

doc. RNDr. Eduard Fuchs, CSc. (přednášející)

Garance

Rozvrh

Pá 10:00–11:50 M5,01013

Omezení zápisu do předmětu

Předmět je nabízen i studentům mimo mateřské obory.

Mateřské obory/plány

předmět má 7 mateřských oborů, zobrazit

Cíle předmětu

Studenti získají představu o problematie formální výstavby matematických teorií. Zvláštní pozornost je věnována Godelově věte o neúplnosti.

Výstupy z učení

Po absolvování předmětu student získá představu o problematice formální výstavby matematických teorií a o Godelově větě o neúplnosti.

Osnova

Literatura

doporučená literatura

FUCHS, Eduard. Teorie množin pro učitele. 1. vyd. Brno: Masarykova univerzita, 1999. info
Set theory and its applications : annual boise extravaganza in set theory, Boise, Idaho, 1995-2010. Edited by L. Babinkostova. Providence, R.I.: American Mathematical Society, 2011, xi, 330. ISBN 9780821848128. info
Handbook of set theory. Edited by M. Foreman - Akihiro Kanamori. Dordrecht: Springer, 2010, xiv, s. ISBN 9781402048432. info
TARSKI, Alfred. A Formalization of set theory without variables. Providence: American Mathematical Society, 1987, xxi, 318. ISBN 0821810413. info

Výukové metody

Teoretická výuka kombinovaná s praktickými příklady

Metody hodnocení

Písemný test.

Další komentáře

Studijní materiály
Předmět je vyučován každoročně.

Nachází se v prerekvizitách jiných předmětů