|
|
|
||
Poslední úprava: ZHOUF/PEDF.CUNI.CZ (21.02.2009)
|
|
||
Poslední úprava: ZHOUF/PEDF.CUNI.CZ (29.10.2008)
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: ZHOUF/PEDF.CUNI.CZ (29.10.2008)
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: ZHOUF/PEDF.CUNI.CZ (29.10.2008)
Seminář. |
|
||
Poslední úprava: ZHOUF/PEDF.CUNI.CZ (07.02.2012)
Docházka, aktivní účast a seminární práce. |
|
||
Poslední úprava: ZHOUF/PEDF.CUNI.CZ (29.10.2008)
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. |