Předmět Logika II (PHK1201)
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 PHK1201 - 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
Student je uveden do základních pojmů predikátové logiky prvního řádu, potom vyšších řádů, informativně pak do neklasických logik a dalších pojmů moderní logiky. Student je učen uplatnění technik prvořádové predikátové logiky, např. pro kontrolu platnosti ú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. infoneurčenoŠTĚPÁN, Jan a Jaromír HRUBEŠ. Logika : terminologický a výkladový slovník. Ostrava: Ateliér Milata, 1994. 115 s. 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.