VIKBB02 Logika

Filozofická fakulta
jaro 2008
Rozsah
1/1/0. 3 kr. Ukončení: z.
Vyučující
prof. PhDr. BcA. Jiří Raclavský, Ph.D. (přednášející)
Garance
Ing. Zdeněk Kadlec, Dr.
Katedra filozofie – Filozofická fakulta
Kontaktní osoba: Mgr. Iva Dušová
Rozvrh
Čt 18:20–19:55 A11 stara
Předpoklady
žádné speciální předpoklady
Omezení zápisu do předmětu
Předmět je určen pouze studentům mateřských oborů.
Mateřské obory/plány
předmět má 10 mateřských oborů, zobrazit
Cíle předmětu
Úvod do logiky. Základy výrokové logiky. Sémantika výrokové logiky: pojem tautologie, výrokově logického vyplývání. Zavedení formálního jazyka, axiomatizace výrokové logiky. Predikátová logika 1.řádu: Sémantika a syntax, rozšíření o identitu, Informativně: Logiky vyšších řádů, intenzionální logiky, modální systémy. Pojem algoritmu. Pojem pojmu, definice, pojmového systému ('ontologie').
Osnova
  • Obecný úvod do logiky Úvod do výrokové logiky (VL); spojky, analýza vět Tabulková metoda VL, syntax a sémantika VL; tautologie VL
Metody hodnocení
Přednášky spojené s praktickými cvičeními. Zkouška je písemná (test). Účast na přednáškách není povinná, ale je doporučená.
Informace učitele
http://www.phil.muni.cz/elf/course/view.php?id=478
Veškeré povinné materiály ke studiu + informace ke zkoušce jsou Elfu. Přístupové heslo k tomuto budou zaslány hromadným emailem na začátku semestru.
Předmět je zařazen také v obdobích jaro 2005, jaro 2006, jaro 2007.
  • Statistika zápisu (nejnovější)
  • Permalink: https://is.muni.cz/predmet/phil/jaro2008/VIKBB02