Předmět Matematická logika (KMT / ML)
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 KMT / ML - Matematická logika, Fakulta pedagogická, Západočeská univerzita v Plzni (ZČU).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
| Materiál | Typ | Datum | Počet stažení |
|---|
Další informace
Obsah
1. Výrokový kalkul budovaný klasickou tabulkovou metodou. 2. Sémantické vyplývání v rámci výrokového kalkulu. Pravidla dedukce. 3. Odvozovací pravidla sémantického vyplývání. Schéma přímého důkazu a důkazu sporem sémantického vyplývání. Hilbertova metoda řádků a schéma Gentzenova stromu.4. Úsudková forma ve výrokovém kalkulu. 5. Klasické budování predikátového kalkulu metodou množinové interpretace. 6. Sémantické vyplývání v rámci predikátového kalkulu. 7. Odvozovací pravidla pro sémantické vyplývání v rámci predikátového kalkulu. 8. Úsudek v rámci predikátového kalkulu. 9. Předpokladová metoda v matematické logice. 10. Úvod do neklasických logik.
Získané způsobilosti
1. Získat dovednosti v důkazech sémantického vyplývání ve výrokovém i predikátovém kalkulu. 2. Získat schopnost prověřovat úsudkové formy ve výrokovém i predikátovém kalkulu.3. Získat základní informace o neklasických logikách (Lukasewicova logika, intuicionistická logika).
Literatura
Kleene, S.C. Mathematical Logic. New-York-London-Sydney, 1967. Drábek, Jaroslav. Světonázorové problémy v matematice. Díl 1., Matematická logika a formální teorie ; Světonázorové problémy spojené s formalizací matematiky ; 3. metodologická krize matematiky : Určeno pro posl. 5. roč. učitelství všeobec. 2., přeprac. vyd. Plzeň : Pedagogická fakulta, 1987.
Požadavky
Aktivní účast na seminářích. Vypracování 2 písemných bodovaných prací se získáním 75% bodů.
Garant
Doc. RNDr. Jaroslav Drábek, CSc.
Vyučující
Mgr. Martina Kašparová, Ph.D.