N_MaL Matematická logika

Vysoká škola finanční a správní
zima 2016
Rozsah
2/1. 12 hodin KS/semestr. 6 kr. Ukončení: zk.
Vyučující
prof. PhDr. Vladimír Čechák, CSc. (cvičící)
Garance
prof. PhDr. Vladimír Čechák, CSc.
Katedra informatiky a matematiky (FES, KIM) – Katedry – Vysoká škola finanční a správní
Kontaktní osoba: Ing. Barbora Ptáčková
Rozvrh seminárních/paralelních skupin
N_MaL/vAPH: Pá 30. 9. 14:00–15:30 S13, So 15. 10. 9:45–11:15 S13, 11:30–13:00 S13, So 12. 11. 9:45–11:15 S13, 11:30–13:00 S13, Pá 25. 11. 14:00–15:30 S13, V. Čechák
Omezení zápisu do předmětu
Předmět je otevřen studentům libovolného oboru.
Cíle předmětu
Cílem předmětu je seznámit posluchače s výstavbou výrokové a predikátové logiky. Po absolvování předmětu bude posluchač schopen objasnit:
- základní principy výstavby výrokové logiky včetně její axiomatizace
- pojem úplnosti a bezespornosti teorie
- základní principy výstavby predikatové logiky prvního stupně
Bude ovládat:
- transformaci formule výr.logiky na její disjuktivní a konjunktivní normální formu
- presentovat postup důkazu ekvivalence navzájem různých axiomatických systémů výrokové logiky
- transformaci formule předikátové logiky na její prenexní normální formu
Osnova
  • Pojem výroku - vlastní jméno, individuální konstanta, individuální proměnná.
  • Syntax, sémantika - denotace, designace, smysl, význam.
  • Základní vlastnosti binárních aritmetik. Analogie mezi Booleovou algebrou a výrokovou logikou
  • Logické spojky jako funkce definované na množině 0,1}.
  • Funkční úplnost výrokové logiky, funkčně úplné systémy výrokové logiky. Aplikace funkční úplnosti v technických systémech.
  • Typy axiomatizace výrokové logiky, komparace a důkazy ekvivalence axiomatických systémů výrokové logiky.
  • Disjunktivní a konjuktivní normální formy, úplné disjunktivní a konjuktivní normální formy a jejich minimalizace.
  • Základní pojmy predikátové logiky 1. stupně s ekvivalencí.
  • Platné a splnitelné formule predikátové logiky.
  • Problematika rozhodnutelnosti v predikátové logice a v oblastech, v nichž je predikátová logika 1. stupně aplikovatelná.
  • Prenexní normální formy.
  • Skolemovy normální formy, „redukční teorém“.
Literatura
    povinná literatura
  • Švejdar, V.: Logika – neúplnost, složitost a nutnost. Academia, Praha 2002.
  • Sochor, A.: Klasická matematická logika. Karolinum, Praha 2001.
Výukové metody
Řízené skupinové konzultace (v kombinované formě studia, včetně praktického řešení příkladů), povinná účast na 2/3 konzultací. V případě prezenční formy studia - přednášky a cvičení (včetně řešení příkladů), povinná 50% účast na cvičení.
Metody hodnocení
Zakončení předmětu: Zápočet – test obsahující 6 příkladů (z toho dva z oblasti predikátové logiky), podmínka získání: správné řešení aspoň čtyř příkladů (z toho jeden z oblasti predikátové logiky). Zkouška – ústní, spojená s opravou chybných postupů při řešení příkladů. Dvě otázky (verbální), jedna z oblasti výrokové a druhá z oblasti predikátové logiky. Podmínka získání – rámcově správné (elementárně) odpovědi na obě otázky.
Další komentáře
Předmět je dovoleno ukončit i mimo zkouškové období.
Předmět je zařazen také v obdobích zima 2007, zima 2008, léto 2009, zima 2009, zima 2010, zima 2011, zima 2012, zima 2013, zima 2014, zima 2015, zima 2017, zima 2018, zima 2019, zima 2020, zima 2021, zima 2022, zima 2023, léto 2025.