Předmět Logická analýza a inference (KFI / LAI)
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 / LAI - Logická analýza a inference, 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
Expresivní síla logického systému (výroková vs. predikátová logika)Důkazové metody (metoda Vennových diagramů, rezoluční metoda)Formální teorie- Teorie relací- Algebraické teorieÚplnost a korektnost kalkuluÚplnost teorie
Získané způsobilosti
Studenti budou umět charakterizovat expresivní sílu jednotlivých logických jazyků. Budou schopni rozlišit syntaktické důkazové metody od sémantických. Dále budou schopni aplikovat některé metody pro odvozování závěrů z premis (jmenovitě metodu Vennových diagramů a rezoluční metodu). Získají základní představu o formálních teoriích a důležitých vlastnostech logických kalkulů. Dále získají dovednost odvozování teorémů z axiomů formální teorie pomocí rezoluční metody.
Literatura
Jan Štěpán, Pavel Materna. Filozofická logika: Nová cesta?. Olomouc, 2003. ISBN 80-244-0109-6.Jan Štěpán. Formální logika. 1995. ISBN 80-7182-004-0.Marie Duží. Intensional Logic and the Irreducible Contrast between de dicto and de re. http://www.cs.vsb.cz/duzi/Matlogika_ESF_Definite.pdfPavel Materna. Svět pojmů a logika. 1995. ISBN 80-7007-078-1.Marie Duží, Pavel Materna. TIL jako procedurální logika. Bratislava, 2012. ISBN 978-80-89491-08-7.
Požadavky
Pravidelná účast na seminářích (max. 3 povolené absence), absolvování zápočtového testu a závěrečného testu.
Garant
PhDr. Martina Číhalová, Ph.D.
Vyučující
PhDr. Martina Číhalová, Ph.D.