IV028 Základní pojmy obecné logiky

Fakulta informatiky
podzim 2009
Rozsah
2/0. 2 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: k, z.
Vyučující
prof. PhDr. Pavel Materna, CSc. (přednášející)
Garance
prof. Ing. Václav Přenosil, CSc.
Katedra strojového učení a zpracování dat – Fakulta informatiky
Kontaktní osoba: prof. PhDr. Pavel Materna, CSc.
Rozvrh
Čt 12:00–13:50 B011
Omezení zápisu do předmětu
Předmět je nabízen i studentům mimo mateřské obory.
Mateřské obory/plány
předmět má 46 mateřských oborů, zobrazit
Cíle předmětu
Na konci kurzu budou studenti rozumět základním pojmům logiky a chápat rozdíl a vzájemný vztah nezi sémantikou a syntaxí. Budou umět řešit standardní úkoly v rozsahu predikátové logiky 1.řádu s identitou, zejména rozhodnout, zda daný závěr vyplývá z daných premis. Budou mít jasno v otázce aplikovatelnosti logiky na řešení problémů formulovaných v přirozeném jazyce.
Osnova
  • Sémantická charakteristika logiky.
  • Tradiční, symbolická (matematická) logika, filozofická logika.Strčný přehled dějin logiky. Obecná charakteristika klasické logiky.
  • Výroková logika (logika pravdivostních funkcí), výrokový kalkul.
  • Vlastnosti formálních systémů (bezespornost, úplnost, rozhodnutelnost).
  • Výrokově logické vyplývání, tautologie.
  • Formální důkaz. Tvrzení o dedukci.
  • Úplná disjunktivní a konjunktivní normální forma.
  • Predikátová logika 1.řádu. Formální systém, interpretace. Splnitelnost, logická pravdivost logické vyplývání.
  • Fragment: kategorický sylogismus.
  • Funkce, identita, určitá deskripce. Teorie typů, vyšší řády. Neklasické logiky.
Literatura
  • ŠTĚPÁN, Jan. Formální logika. 2. přeprac. vyd. Olomouc: FIN, 1995, 109 s. ISBN 80-7182-004-0. info
Výukové metody
přednášky, diskuse
Metody hodnocení
Přednáška bez cvičení.Podpora diskusí při přednášce. Na závěr zkouška.Zkouska se sklada z pisemneho vyreseni prikladu z predikatove logiky (zamereni: semanticke pojmy, duraz na vyplyvani) a z pohovoru o teoretickych zakladech vychazejiciho z prednasky a doporucene literatury.
Informace učitele
Možnost konzultací podle dohody nebo přes e-mail.
Další komentáře
Předmět je vyučován každoročně.
Předmět je zařazen také v obdobích podzim 2002, podzim 2003, podzim 2004, podzim 2005, podzim 2006, podzim 2007, podzim 2008, podzim 2010, podzim 2011, podzim 2012, podzim 2013, podzim 2014.