Logika - OPBM1M134A
|
|
|
||
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é seznámení s nerozhodnutelnými tvrzeními - Gödelovy věty. Poslední úprava: Kvasz Ladislav, prof. RNDr., DSc., Dr. (16.09.2022)
|
|
||
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: Kvasz Ladislav, prof. RNDr., DSc., Dr. (16.09.2022)
|
|
||||||||||||||||||
Poslední úprava: Kvasz Ladislav, prof. RNDr., DSc., Dr. (16.09.2022)
|
|
||
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. Kleene: Mathematical logic, John Wiley 1967. Poslední úprava: Kvasz Ladislav, prof. RNDr., DSc., Dr. (16.09.2022)
|
|
||
Seminář Poslední úprava: Kvasz Ladislav, prof. RNDr., DSc., Dr. (16.09.2022)
|
|
||
Aktivní účast na semináři. Poslední úprava: Kvasz Ladislav, prof. RNDr., DSc., Dr. (16.09.2022)
|
|
||
Výrok. Výrokový počet. Logické operace. Vlastnosti logických operací. Souvislost s teorií množin. Booleova algebra. Matematické důkazy. Predikátový počet. Nerozhodnutelná tvrzení - Gödelovy věty. Poslední úprava: Kvasz Ladislav, prof. RNDr., DSc., Dr. (16.09.2022)
|