Předmět Logika II (PH1201)
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 PH1201 - Logika II, Filozofická fakulta, Masarykova univerzita (MU).
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
Po absolvování předmětu bude student schopen:porozumět základním pojmům predikátové logiky prvního řádu (pojem tautologie, pojem logického vyplývání, pojem formálního jazyka, axiomatizace predikátové logiky, pojem formálního důkazu) a také všších řádů či neklasických logik;bude ovládat techniky ověření toho, zda formule je tautologií (metoda interpretace a z ní vycházející metoda protipříkladu), ověření, zda úsudek je logicky korektní (metoda protipříkladu na základě interpretace)bude ovládat techniky ekvivalentních transformací, základních dokazovacích technik gentzenovského sekvenčního kalkulu pro případ predikátové logikyaplikovat tyto techniky v každodenním uvažování (ekvivalence a negace vět, korektnost úsudků);
Osnova
Predikátová logika 1. řádu- neformální úvod- syntaxe, sémantika- důkaz, přirozená dedukce- rozšíření o identitu, deskriptivní operátor, funkce- salší výhledy: vyšší řády, modální a intenzionální logiky- formalizované teorie, aritmetika přirozených čísel, věty o neúplnosti- algoritmus- pojem, definice
Literatura
povinná literaturaŠTĚPÁN, Jan. Klasická logika. 1. vyd. Olomouc: Univerzita Palackého, 2001. 198 s. ISBN 80-244-0254-8. infodoporučená literaturaŠTĚPÁN, Jan. Logika a logické systémy. Vyd. 1. Olomouc: Votobia, 1992. 165 s. ISBN 80-85619-29-6. info
Požadavky
zápočet z předmětu Logika I
Garant
prof. PhDr. Josef Krob, CSc.
Vyučující
doc. PhDr. BcA. Jiří Raclavský, Ph.D.