PřF:M7532 Logická výstavba matem. teorií - Informace o předmětu

M7532 Logická výstavba matematických teorií

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

Rozvrh

Pá 8:00–9:50 M2,01021

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í. 146 s. 1986. info
• FUCHS, Eduard. Logika a teorie množin : (úvod do oboru). Vyd. 1. Brno: Rektorát UJEP. 175 s. 1978. info
• FUCHS, Eduard. Teorie množin. Vyd. 1. Brno: Rektorát UJEP. 176 s. 1974. info
• BLAŽEK, Jaroslav, Emil CALDA a Blanka KUSSOVÁ. Algebra a teoretická aritmetika. Vyd. 1. Praha: Státní pedagogické nakladatelství. 244 s. 1979. info
• TARSKI, Alfred. Úvod do logiky a metodologie deduktivních věd. Translated by Pavel Materna. Vyd. 1. Praha: Academia. 245 s. 1966. 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ě.

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

• MUC62 Teorie množin
  MUC61 || M7532  
• MUC91 Historie matematiky 1
  MUC61 || M7532  

• Statistika zápisu (podzim 2011, nejnovější)
  
• Permalink: https://is.muni.cz/predmet/sci/podzim2011/M7532