Předmět Logika pro filozofii 2 (KFI / NLG2)
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 KFI / NLG2 - Logika pro filozofii 2, Fakulta filozofická, 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
Probíraná témata: vyplývání, odvozování, dokazování; syntax a sémantika výrokové a predikátové logiky; teorie množin; Turingovy stroje, rekurzivní funkce; modely teorií; Hilbertovský a Gentzenovský kalkul; Peanova aritmetika; úplnost a neúplnost teoriíInovace tohoto kurzu je spolufinancována Evropským sociálním fondem a statním rozpočtem České republiky. Projekt ESF OPVK reg. č. CZ.1.07/2.2.00/07.0217 "ORGANON - Learning Management System (LMS) pro výuku logiky"
Získané způsobilosti
Studenti dokáží platnost úsudků v různých formálních kalkulech. Předvedou neplatnost tvrzení pomocí formálních modelů (konstrukce protipříkladu). Vytvoří formální zápis rekurzivní funkce. Popíšou princip fungování Turingova stroje. Formulují důkazy úplnosti predikátové logiky a neúplnosti Peanovy aritmetiky.
Literatura
Tugendhat, Ernst; Wolf, Ursula. Logicko-sémantická propedeutika. [1. vyd.]. Praha : Petr Rezek, 1997. ISBN 80-86027-02-3.Cmorej, Pavel. Úvod do logické syntaxe a sémantiky. Praha : Triton, 2002. ISBN 80-7254-294-X.Gaher, F. Logika pre každého. Bratislava : Iris, 1995. ISBN 80-967013-9-8.Russell, Bertrand. Logika, věda, filozofie a společnost. 1. vyd. Praha : Svoboda-Libertas, 1993. ISBN 80-205-0219-X.Popper, Karl Raimund; Fiala, Jiří. Logika vědeckého zkoumání. Praha, 1997. ISBN 80-86005-45-3.
Požadavky
Zápočtový test, písemná a ústní zkouška.
Garant
Mgr. Ludmila Dostálová, Ph.D.
Vyučující
Mgr. Ludmila Dostálová, Ph.D.Mgr. Ludmila Dostálová, Ph.D.