Předmět Matematická logika (BI-MLO)
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 BI-MLO - Matematická logika, Fakulta informačních technologií, České vysoké učení technické v Praze (ČVUT).
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 popsat základní vyjadřovací a dokazovací aparát predikátové logiky jakožto universálního jazyka matematiky a informatiky.Kromě základní syntaxe a sémantiky se zkoumají pojmy pravdivosti a dokazatelnosti a nejjednodušší axiomatické systémy.Booleova algebra je předvedena jednak ve své souvislosti s logikou, jednak jako matematický aparát sloužící k popisu číslicových systémů.
Literatura
Trlifajová, K., Vašata, D., Matematická logika, ČVUT, Praha, 2013.Starý, J., Úvod do matematické logiky, studijní textŠvejdar, V., Logika - neúplnost, složitost a nutnost, Academia, Praha, 2002.Sochor, A., Klasická matematická logika, Karolinum, Praha, 2001.Demlová, M., Mathematical Logic, Kernberg Publishing, 2008.Mendelson, E. Introduction to Mathematical Logic, Chapman and Hall, 1997.Copi, I.M. Symbolic Logic, The Macmilian Company, London, 1967.
Požadavky
Předpokládá se schopnost práce s matematickou abstrakcí na úrovni získané středoškolským studiem matematiky.
Garant
Kateřina Trlifajová
Vyučující
Jan Starý, Kateřina Trlifajová