Předmět: Úvod do matematické logiky

« Zpět
Název předmětu Úvod do matematické logiky
Kód předmětu KMA/ML
Organizační forma výuky Přednáška
Úroveň předmětu Magisterský
Rok studia nespecifikován
Semestr Zimní a letní
Počet ECTS kreditů 3
Vyučovací jazyk Čeština
Statut předmětu nespecifikováno
Způsob výuky Kontaktní
Studijní praxe Nejedná se o pracovní stáž
Doporučené volitelné součásti programu Není
Vyučující
  • Dvořák Jan, prof. RNDr. DSc.
Obsah předmětu
1. Jazyk výrokové logiky (VL), pravdivost formulí 2. Odvozování ve VL, věta o dedukci 3. Věta o úplnosti VL 4. Jazyk predikátové logiky (PL) 5. Struktury a modely 6. Odvozování v PL 7. Věta o úplnosti PL 8. Gödelova věta o neúplnosti aritmetiky

Studijní aktivity a metody výuky
Přednáška
  • Příprava na zkoušku [10-60] - 32 hodin za semestr
  • Kontaktní výuka - 52 hodin za semestr
Předpoklady
Odborné znalosti
jediným předpokladem předmětu je zkušenost s matematickým myšlením a důkazovými technikami
Výsledky učení
absolvováním této přednášky student získá základní orientaci v daném předmětu a bude schopen samostatného studia odborné literatury
Vyučovací metody
Přednáška založená na výkladu,
Hodnotící metody
Ústní zkouška,
Doporučená literatura
  • Enderton, Herbert B. A mathematical introduction to logic. 2nd ed. San Diego : Harcourt Academic Press, 2001. ISBN 0-12-238452-0.
  • Mendelson, Elliott. Introduction to mathematical logic. 4th ed. Boca Raton : Chapman & Hall, 2001. ISBN 0-41-80830-7.
  • Sochor, Antonín. Klasická matematická logika. Vyd. 1. Praha : Karolinum, 2001. ISBN 80-246-0218-0.


Studijní plány, ve kterých se předmět nachází
Fakulta Studijní plán (Verze) Kategorie studijního oboru/specializace Doporučený ročník Doporučený semestr