Předmět Logika (OB1310N002)
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 OB1310N002 - 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, Klasická matematická logika. Praha : Karolinum 2001.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.