Předmět Úvod do logiky (OBUZ10V001)
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 OBUZ10V001 - Úvod do logiky, Pedagogická fakulta, Univerzita Karlova v Praze (UK).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
| Materiál | Typ | Datum | Počet stažení |
|---|
Další informace
Cíl
Cílem předmětu je seznámit studenty se základními pojmy klasické logiky, především s její sémantikoua základními metodami odvozování. Důraz je kladen na analýzu konkrétních příkladů a rozbor logických paradoxů.
Sylabus
Platné a neplatné úsudky.Pravdivostní tabulky jednotlivých logických spojek.Jména a kvantifikátory.Deskripce a existence.Implikace a vyplývání.Vágnost v jazyce.Pravděpodobnost.Historie logiky.
Literatura
Graham Priest: Logika, průvodce pro každého. Dokořán 2007.Raymond M. Smullyan: Jak se jmenuje tahle knížka? Mladá Fronta 1986.Jan Svatek a Ludmila Dostálová: Logika pro humanistiku. Dobrá voda 2003.Prokop Sousedík: Logika pro studenty humanitních oborů. Vyšehrad 2001.Herbert B. Enderton: A mathematical introduction to logic. Harcourt Academic Press 2001.
Požadavky
Vyplňování pravdivostní tabulky pro formule výrokového počtu.Schopnost negovat věty s kvantifikátory.Schopnost zapsat věty přirozeného jazyka pomocí predikátového počtu.Schopnost určovat platnost jednoduchých úsudků.
Garant
prof. RNDr. Ladislav Kvasz, Dr.doc. RNDr. Naďa Vondrová, Ph.D.
Vyučující
prof. RNDr. Ladislav Kvasz, Dr.