VIKBB02 Logika

Filozofická fakulta
jaro 2006
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.
Kabinet informačních studií a knihovnictví – Ústav české literatury – Filozofická fakulta
Kontaktní osoba: Mgr. Iva Dušová
Rozvrh
Čt 18:20–19:55 A11 stara
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á 6 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
Předmět je zařazen také v obdobích jaro 2005, jaro 2007, jaro 2008.