Předmět Klasická logika 2 (KFI / KLL2)
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 KFI / KLL2 - Klasická logika 2, 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
Základní pojmy predikátové logiky. Jazyk PL prvního řádu. Sémantika PL. Sémantické ověřování.Tradiční logika, sylogistika. Logika tříd, formální metody a demonstrace. Logika relací, třídy relací, speciální relace. Přirozená dedukce pro PL s identitou.
Získané způsobilosti
Základní orientace v predikátové logice
Literatura
Štěpán J. Klasická logika. VUP Olomouc, 2001. http://kfil.upol.cz/index.html.
Požadavky
Pochopení pojednaných témat
Garant
prof. RNDr. PhDr. Jan Štěpán, CSc.
Vyučující
prof. RNDr. PhDr. Jan Štěpán, CSc.Mgr. Karel Šebela, Ph.D.