Předmět Matematická logika (NMAG331)
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 NMAG331 - Matematická logika, Matematicko-fyzikální fakulta, Univerzita Karlova v Praze (UK).
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 je vyložit matematickou analýzu problému logických základů matematiky.
Sylabus
Zopakování základů logiky prvního řádu, včetně základů teorie modelů. Peanova aritmetika PA, formalizace syntaxe v PA. Godelovy věty. Turingovy stroje, universální stroj, nerozhodnutelnost tzv. halting problému.
Literatura
J.R.Shoenfield: Mathematical logic; Addison-Wesley Publishing Company, London . Don Mills, Ontario, 1967.
Garant
prof. RNDr. Jan Krajíček, DrSc.