FF:VIKBB02 Logika - Informace o předmětu

VIKBB02 Logika

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

• Informační studia a knihovnictví (program FF, B-IS) (2)
• Informační studia a knihovnictví (program FF, N-IS) (2)
• Vědecké informace a knihovnictví (program FF, B-IS) (2)
• Vědecké informace a knihovnictví (program FF, M-IS) (2)
• Vědecké informace a knihovnictví (program FF, N-IS) (2)

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

• Statistika zápisu (jaro 2007, nejnovější)
  
• Permalink: https://is.muni.cz/predmet/phil/jaro2007/VIKBB02