Poslední úprava: JANCARIK/PEDF.CUNI.CZ (19.05.2010)
Předmět se zabývá základy klasického výrokového počtu, jeho axiomatikou, sémantikou a metodami odvozování a dokazování. Do kurzu je zařazen i stručný úvod do modální výrokové logiky a seznámení s nerozhodnutelnými tvrzeními - Gödelovy věty.
Poslední úprava: JANCARIK/PEDF.CUNI.CZ (19.05.2010)
The course focuses on the basics of classical propositional calculus, its axiomatics, semantics, and methods of inference and proof theory. A brief introduction to modal propositional calculus is also included, and Gödel's theorems (undecidable propositions) are mentioned.
Cíl předmětu -
Poslední úprava: JANCARIK/PEDF.CUNI.CZ (19.05.2010)
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í.
Poslední úprava: JANCARIK/PEDF.CUNI.CZ (19.05.2010)
The goal is to introduce the basics of classical propositional calculus, especially its axiomatics and semantics, and main characteristics. The practice in inference and proofs is emphasized.
Literatura -
Poslední úprava: JANCARIK/PEDF.CUNI.CZ (19.05.2010)
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.
Poslední úprava: JANCARIK/PEDF.CUNI.CZ (19.05.2010)
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.
Metody výuky -
Poslední úprava: JANCARIK/PEDF.CUNI.CZ (19.05.2010)
Seminář.
Poslední úprava: JANCARIK/PEDF.CUNI.CZ (19.05.2010)
Seminar.
Požadavky ke zkoušce
Poslední úprava: ZHOUF/PEDF.CUNI.CZ (07.02.2012)
Docházka, aktivní účast a seminární práce.
Sylabus -
Poslední úprava: JANCARIK/PEDF.CUNI.CZ (19.05.2010)
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.
Poslední úprava: JANCARIK/PEDF.CUNI.CZ (19.05.2010)