Předmět: Logika

« Zpět
Název předmětu Logika
Kód předmětu UMKM/KLOG
Organizační forma výuky Konzultace
Úroveň předmětu Bakalářský
Rok studia 2
Semestr Zimní
Počet ECTS kreditů 3
Vyučovací jazyk Čeština
Statut předmětu Povinně-volitelný
Způsob výuky Kontaktní
Studijní praxe Nejedná se o pracovní stáž
Doporučené volitelné součásti programu Není
Vyučující
  • Koudela Libor, Mgr. Ph.D.
Obsah předmětu
Úvod do výrokové logiky - atomární výroky, výrokové spojky, formule, pravdivostní tabulky. Disjunktivní a konjunktivní normální formy. Axiomatizace klasické výrokové logiky - odvozovací pravidla, správně utvořené formule. Axiomy, teorémy, důkazy, věta o dedukci, základní vlastnosti systémů klasické výrokové logiky. Třídy a relace - vztahy mezi třídami, operace s třídami, relace a funkce, identita. Úvod do predikátové logiky - výrokové formy, konstanty, proměnné, kvantifikátory. Formule predikátové logiky, interpretace, pravdivost a splnitelnost. Axiomatizace predikátové logiky - axiomy a odvozovací pravidla, věta o dedukci.

Studijní aktivity a metody výuky
Monologická (výklad, přednáška, instruktáž), Dialogická (diskuze, rozhovor, brainstorming), Metody práce s textem (učebnicí, knihou)
Výstupy z učení
Cílem předmětu je osvojení základních poznatků klasické výrokové a predikátové logiky, které student využije při řešení konkrétních problémů studovaného oboru.
Student bude schopen použít metod správného usuzování při řešení konkrétních problémů studovaného oboru.
Předpoklady
nespecifikováno

Hodnoticí metody a kritéria
Písemná zkouška

Zápočet - aktivní účast. Zkouška - soubor úloh, z nichž je nutné správně vyřešit alespoň 50%.
Doporučená literatura
  • ČECHÁK, V.; BERKA, K.; ZAPLETAL. I. Co víte o moderní logice. Praha, 1981.
  • HROMEK, P. Logika v příkladech. Olomouc, 2002.
  • SOCHOR, A. Klasická matematická logika. Praha, 2001.
  • ŠTĚPÁN, J. Klasická logika. Olomouc, 2003.
  • TARSKI, A. Úvod do logiky a metodologie deduktivních věd.


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
Fakulta: Fakulta ekonomicko-správní Studijní plán (Verze): Informační a bezpečnostní systémy (2014) Kategorie: Ekonomie 2 Doporučený ročník:2, Doporučený semestr: Zimní
Fakulta: Fakulta ekonomicko-správní Studijní plán (Verze): Informační a bezpečnostní systémy (2015) Kategorie: Ekonomie 2 Doporučený ročník:2, Doporučený semestr: Zimní
Fakulta: Fakulta ekonomicko-správní Studijní plán (Verze): Informační a bezpečnostní systémy (2013) Kategorie: Ekonomie 2 Doporučený ročník:2, Doporučený semestr: Zimní