B_ZML Základy matematické logiky

Vysoká škola finanční a správní
zima 2024
Rozsah
0/2/0. 12 hodin KS/semestr. 3 kr. Ukončení: z.
Garance
RNDr. Eva Ulrychová, Ph.D.
Katedra informatiky a matematiky (FES, KIM) – Katedry – Vysoká škola finanční a správní
Kontaktní osoba: Ivana Plačková
Předpoklady
Nejsou vyžadovány žádné předpoklady.
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 studenty se základními pojmy výrokové a predikátové logiky: formule výrokové logiky a její pravdivost, tautologie, kontradikce, konjunktivní a disjunktivní normální tvar formule, formule predikátové logiky.
Výstupy z učení
Na konci kurzu bude student schopen: formalizovat jednoduchá tvrzení, posoudit pravdivost výrokové formule užitím tabulky pravdivostních hodnot, používat důležité tautologie, nalézt konjunktivní a disjunktivní normální tvar formule, interpretovat a negovat formule predikátové logiky.
Osnova
  • 1. Úvod do studia logiky
  • 2. Základní pojmy
  • 3. Formalizované jazyky
  • 4. Logické spojky
  • 5. Úplný přehled funktorů výrokové logiky
  • 6. Funkční úplnost výrokové logiky
  • 7. Vybrané důležité formule výrokové logiky
  • 8. Axiomatizace
  • 9. Predikátová logika
  • 10. Vybrané důležité formule predikátové logiky
  • 11. Konjunktivní a disjunktivní normální formy
  • 12. Minimalizace konjunktivních a disjunktivních normálních forem
Literatura
    povinná literatura
  • ULRYCHOVÁ, Eva. Matematická logika. Výukové materiály v ISu, 2022.
  • TRLIFAJOVÁ, Kateřina a Daniel VAŠATA. Matematická logika. Praha: ČVUT, 2013 (dotisk 2018). 174 s. ISBN 978-80-01-05342-3.
    doporučená literatura
  • ČECHÁK, Vladimír. Základy logiky a metodologie. Praha: Vysoká škola finanční a správní, 2007. Eupress. ISBN 978-80-86754-90-1.
  • SOCHOR, Antonín. Klasická matematická logika. Praha: Karolinum, 2001. 402 s. 80-246-0218-0.
  • PEREGRIN, Jaroslav. Logika a logiky: systém klasické výrokové logiky, jeho rozšíření a alternativy. Praha: Academia, 2004. ISBN 80-200-1187-0.
Výukové metody
Výuka probíhá formou cvičení v prezenční formě studia a řízených skupinových konzultací v kombinované formě studia. Minimální povinná účast je 75% na cvičeních v prezenční formě studia a 50% na řízených skupinových konzultacích v kombinované formě studia.
Metody hodnocení
Předmět je ukončen zápočtem. Pro získání zápočtu je třeba úspěšně (alespoň na 60%) zvládnout zápočtový test.
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 léto 2020, léto 2021, léto 2022, léto 2023, zima 2023.
  • Statistika zápisu (nejnovější)
  • Permalink: https://is.vsfs.cz/predmet/vsfs/zima2024/B_ZML