FI:MA007 Matematická logika - Informace o předmětu
MA007 Matematická logika
Fakulta informatikypodzim 2010
- Rozsah
- 2/1. 3 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: k, z.
- Vyučující
- prof. RNDr. Antonín Kučera, Ph.D. (přednášející)
doc. RNDr. Tomáš Brázdil, Ph.D. (cvičící)
RNDr. Vojtěch Forejt, Ph.D., LL.B. (Hons) (cvičící)
RNDr. Jan Krčál, Ph.D. (cvičící)
Mgr. Marek Trtík, Ph.D. (cvičící) - Garance
- prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Antonín Kučera, Ph.D. - Rozvrh
- Út 10:00–11:50 D2
- Rozvrh seminárních/paralelních skupin:
MA007/02: každou lichou středu 12:00–13:50 B011, T. Brázdil
MA007/03: každou sudou středu 14:00–15:50 B011, J. Krčál
MA007/04: každou lichou středu 14:00–15:50 B011, T. Brázdil - Předpoklady
- MB005 Základy matematiky || MB101 Matematika I || PřF:M1120 Diskrétní matematika || PřF:M1125 Základy matematiky
Předpokládá se znalost základních matematických pojmů a důkazových technik.
Je nutno předem absolvovat předmět MB005 Základy matematiky nebo předmět MB101 Lineární modely. Je doporučeno případně absolvovat předem anebo současně také předmět MB008 Algebra I. - 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á 32 mateřských oborů, zobrazit
- Cíle předmětu
- Předmět pokrývá základní výsledky o výrokové a predikátové logice,
včetně Gödelových vět o úplnosti a neúplnosti.
Na konci kurzu bude student schopen:
porozumět rozdílu mezi metapojmy a formálnímy pojmy;
porozumět rozdílu mezi pravdivostí a dokazatelností;
rozumět základním principům axiomatické výstavby matematických teorií a chápat fundamentální omezení tohoto přístupu;
aktivně používat vyjadřovací aparát logiky 1. řádu;
chápat základní obraty v důkazech Gödelových vět o úplnosti a neúplnosti a rozumět významu těchto výsledků. - Osnova
- Výroková logika: výrokové formule, pravdivost, dokazatelnost, věta o úplnosti.
- Predikátová logika: predikátové formule.
- Sémantika predikátové logiky: realizace, pravdivost.
- Axiomy predikátové logiky: dokazatelnost, věta o korektnosti, věta o dedukci.
- Věta o úplnosti: teorie, modely, Gödelova věta o úplnosti.
- Věta o kompaktnosti, Löwenheimova-Skolemova věta.
- Turingův stroj. Gödelova věta o neúplnosti.
- Literatura
- MENDELSON, Elliott. Vvedenije v matematičeskuju logiku. Edited by Sergej Ivanovič Adjan, Translated by F. A. Kabakov. Izd. 2-oje, ispr. Moskva: Nauka. Glavnaja redakcija fiziko-matematičeskoj literatury, 1976, 320 s. info
- ŠTĚPÁNEK, Petr. Matematická logika. Vyd. 1. Praha: Státní pedagogické nakladatelství, 1982, 281 s. info
- KOLÁŘ, Josef, Olga ŠTĚPÁNKOVÁ a Michal CHYTIL. Logika, algebry a grafy. Vyd. 1. Praha: SNTL - Nakladatelství technické literatury, 1989, 434 s. info
- Výukové metody
- Přednášky a cvičení v menších skupinách.
- Metody hodnocení
- Přednášky: 2 hodiny/týden. Cvičení: 1 hodina/týden.
Předmět je ukončen písemnou zkouškou. - Navazující předměty
- Informace učitele
- Požadavkem k úspěšnému vykonání zkoušky je teoretické i praktické zvládnutí látky v rozsahu probraném na přednášce.
Účast na cvičeních se bude zaznamenávat, ale neovlivní vaše hodnocení. Jenom pokud byste žádali o dodatečné konzultace či výjimky, k účasti se patřičně přihlédne.
Přestože mnohým z vás byla udělena výjimka z nesplněných předpokladů, tato vyjímka vás nezbavuje povinnosti ovládat látku předpokládaných předmětů. - Další komentáře
- Studijní materiály
Předmět je vyučován každoročně.
- Statistika zápisu (podzim 2010, nejnovější)
- Permalink: https://is.muni.cz/predmet/fi/podzim2010/MA007