Předmět Logika a sémantika (4IZ617)
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 4IZ617 - Logika a sémantika, Fakulta informatiky a statistiky, Vysoká škola ekonomická v Praze (VŠE).
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. Předmět z historie logiky2. Výroková logika2.1 Formule výrokové logiky2.2 Booleovské funkce2.3 Typy výrokových formulí2.4 Axiomatizace výrokové logiky2.5 Vlastnosti výrokové logiky3. Predikátová logika 1. řádu3.1 Relační struktury3.2 Formule predikátové logiky3.3 Interpretace, splňování, dokazatelnost3.4 Axiomatizace predikátové logiky3.5 Automatizace logického dokazování4. Některé neklasické logiky.4.1 Vznik neklasických logik4.2 Vícehodnotové a modální logiky4.3 Fuzzy logika
Získané způsobilosti
Po úspěšném absolvování budou studenti schopni uplatnit základní pojmy a metody matematické logiky a logické prostředky výstavby deduktivních teorií.
Literatura
TypAutorNázevMísto vydáníNakladatelRokISBNZJIRKŮ, P. -- VEJNAROVÁ, J.Formální logika : neformální výklad základů formální logiky.Praha:Oeconomica, 2005.80-245-0974-1ZPEREGRIN, J.Logika a logiky : systém klasické výrokové logiky, jeho rozšíření a alternativy.Praha:Academia, 2004.80-200-1187-0ZSOCHOR, A.Klasická matematická logika.Praha:Karolinum, 2001.80-246-0218-0ZJIRKŮ, P. -- KELEMEN, J.Kapitoly z kognitivní vědy : racionalita z hlediska chování, jazyka a logiky.Praha:Vysoká škola ekonomická, 1996.80-7079-787-8
Požadavky
žádné
Garant
doc. RNDr. Jiřina Vejnarová, CSc.
Vyučující
doc. RNDr. Jiřina Vejnarová, CSc.