Předmět Logika pro matematiky (01LOM)
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 01LOM - Logika pro matematiky, Fakulta jaderná a fyzikálně inženýrská, Č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
Znalosti:Ujasnit vztah logiky a matematiky; logika jako jazyk i objekt matematiky; základy teorie důkazů a modelů; aplikace v jiných oblastech matematiky; formalizovaná matematika. Schopnosti:Orientovat se v základních disciplínách matematické logiky a umět je použít v dalších disciplinách matematiky.
Literatura
Povinná literatura:[1] P. Pudlák: Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction. Springer, 2014. Doporučená literatura:[1] J. D. Barrow: Pí na nebesích. Mladá fronta, Praha, 2000.[2] Y. I. Manin: A Course in Mathematical Logic for Mathematicians. Springer-Verlag, New York, 2010.[3] V. Švejdar: Logika: neúplnost, složitost a nutnost. Academia, Praha, 2002.
Garant
Petr Cintula
Vyučující
Petr Cintula