Předmět Logika (OKB1310N02)
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 OKB1310N02 - Logika, 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áklady klasického výrokového počtu, především s jeho axiomatikou a sémantikou a základními charakteristikami. Důraz je kladen především na odvozování a dokazování.
Sylabus
Výrok. Výrokový počet.Logické operace. Vlastnosti logických operací.Souvislost s teorií množin. Booleova algebra.Matematické důkazy.Modální výroková logika.Nerozhodnutelná tvrzení - Gödelovy věty.
Literatura
Sochor, Logika pro všechny ochotné myslet. Praha : Karolinum 2011.Smullyan, Jak se jmenuje tahle knížka? Praha : Mladá fronta 1986 (nebo Praha : Portál 2015).Bendová, Sylogistika. Praha : Karolinum 1998.Peregrin, Logika a logiky. Praha : Academia 2004.Smullyan, Navěky nerozhodnuto. Praha : Academia 2003.Barwise, Handbook of Mathematical logic. Nort-Holland, 1977.
Požadavky
Docházka, aktivní účast a seminární práce.
Garant
RNDr. Antonín Jančařík, Ph.D.
Vyučující
Mgr. Bc. Karel Zavřel