Předmět Logická sémantika (KOL / VLOG)
Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu KOL / VLOG - Logická sémantika, Filozofická fakulta, Univerzita Palackého v Olomouci (UP).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
| Materiál | Typ | Datum | Počet stažení |
|---|
Další informace
Obsah
(1) Definice logického vyplývání(2) Sémantika výrokové logiky(VL)(3) Sémantické důkazy ve VL(4) Syntaktické důkazy ve VL(5) Sémantika predikátové logiky prvního řádu(PL1)(6) Modely formulí PL1(7) Sémantické důkazy v PL1: 1. metoda Vennových diagramů a 2. relační struktury(8) Úplnost versus korektnost kalkulu(9) Důkazy v teoriích(10) Teorie relačních struktur(11) Algebraické teorie
Získané způsobilosti
Absolvent kurzu se seznámí s formalismem a sémantikou výrokové a predikátové logiky prvního řádu Bude schopen hledat modely formulí VL a PL1. Získá přehled o metodách vedení syntaktického a sémantického důkazu ve VL a PL1 a bude umět tyto důkazové metody používat k ověřování platnosti úsudků.
Literatura
Janák, V. Základy formální logiky. Praha: SPN, 1974. Štěpán, J. Formální logika. Olomouc : FIN, 1995. Priest, G. Logika. Praha: Dokořán, 2007. Svoboda, V. a kol. Logika a přirozený jazyk. Praha, 2010. Duží, M. Logika pro informatiky a příbuzné obory. Ostrava, 2012. Svoboda, V. - Peregrin, J. Od jazyka k logice. Praha, 2009. Smullyan, M. R. Satan, Cantor a nekonečno. Praha, 2004.
Požadavky
(1) Pravidelná účast na seminářích (max. 2 povolené absence), (2) Absolvování tří průběžných testů s 50% úspěšností, (3) 70 % úspěšnost v závěrečném testu
Garant
prof. RNDr. PhDr. Jan Štěpán, CSc.
Vyučující
PhDr. Martina Číhalová, Ph.D.prof. RNDr. PhDr. Jan Štěpán, CSc.