M7532 Logická výstavba matematických teorií

Přírodovědecká fakulta
podzim 2011 - akreditace

Údaje z období podzim 2011 - akreditace se nezveřejňují

Rozsah
2/0/0. 2 kr. (příf plus uk k 1 zk 2 plus 1 > 4). Ukončení: kz.
Vyučující
doc. RNDr. Eduard Fuchs, CSc. (přednášející)
Garance
doc. RNDr. Eduard Fuchs, CSc.
Ústav matematiky a statistiky – Ústavy – Přírodovědecká fakulta
Omezení zápisu do předmětu
Předmět je otevřen studentům libovolného oboru.
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.
Osnova
  • Axiom výběru a věty s ním ekvivalentní.
  • Peanova aritmetika.
  • Principy výstavby matematických teorií.
  • výrokový kalku, predikátový kalkul.
  • Axiomatické teorie. Axiomatika teorie množin a teorie tříd.
  • Godelova věta o neúplnosti.
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
Další komentáře
Předmět je vyučován každoročně.
Výuka probíhá každý týden.
Nachází se v prerekvizitách jiných předmětů
Předmět je zařazen také v obdobích podzim 1999, jaro 2008 - akreditace, podzim 2010 - akreditace, podzim 2000, podzim 2001, jaro 2003, jaro 2004, jaro 2005, jaro 2006, jaro 2007, jaro 2008, jaro 2009, jaro 2010, podzim 2010, podzim 2011, podzim 2012, podzim 2013, podzim 2014, podzim 2015, podzim 2016, podzim 2017, podzim 2018, podzim 2019.