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

MUC61 Logická výstavba matematických teorií

Přírodovědecká fakulta
podzim 2023

Rozsah

2/0/0. 4 kr. Ukončení: zk.

Vyučující

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

Garance

Rozvrh

Po 10:00–11:50 M4,01024

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

FUCHS, Eduard. Teorie množin pro učitele. 1. vyd. Brno: Masarykova univerzita, 1999. info
FUCHS, Eduard. Základy teorie množin. Vyd. 1. Praha: Státní pedagogické nakladatelství, 1986, 146 s. info
FUCHS, Eduard. Logika a teorie množin : (úvod do oboru). Vyd. 1. Brno: Rektorát UJEP, 1978, 175 s. info
FUCHS, Eduard. Teorie množin. Vyd. 1. Brno: Rektorát UJEP, 1974, 176 s. info
BLAŽEK, Jaroslav, Emil CALDA a Blanka KUSSOVÁ. Algebra a teoretická aritmetika. Vyd. 1. Praha: Státní pedagogické nakladatelství, 1979, 244 s. info
TARSKI, Alfred. Úvod do logiky a metodologie deduktivních věd. Translated by Pavel Materna. Vyd. 1. Praha: Academia, 1966, 245 s. URL info

Výukové metody

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

Metody hodnocení

Písemný test. V případě zákazu prezenční výuky bude místo písemného testu ústní pohovor on-line.

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ů