|
|
|
||
Last update: doc. Mgr. et Mgr. Jan Žemlička, Ph.D. (05.09.2013)
|
|
||
Last update: Mgr. et Mgr. Emil Jeřábek, Dr., Ph.D. (02.10.2023)
Cílem je nahlédnout do problematiky logických základů matematiky a vyložit zejména algoritmickou nerozhodnutelnost Halting problému a Gödelovu větu o neúplnosti. |
|
||
Last update: prof. RNDr. Jan Krajíček, DrSc. (14.07.2019)
Oral exam, see http://www.karlin.mff.cuni.cz/~krajicek/zk-mll.html |
|
||
Last update: Mgr. et Mgr. Emil Jeřábek, Dr., Ph.D. (02.10.2023)
Lou van den Dries: Lecture notes on mathematical logic, https://www.karlin.mff.cuni.cz/~krajicek/vddries.pdf Michael Sipser: Introduction to the theory of computation, Thomson, 2006. René Cori and Daniel Lascar: Mathematical logic: A course with exercises (Part I and Part II), Oxford University Press, 2000. Joseph R. Shoenfield: Mathematical logic; Addison-Wesley Publishing Company, London, 1967.
|
|
||
Last update: prof. RNDr. Jan Krajíček, DrSc. (14.07.2019)
Viz http://www.karlin.mff.cuni.cz/~krajicek/zk-mll.html |
|
||
Last update: Mgr. et Mgr. Emil Jeřábek, Dr., Ph.D. (02.10.2023)
A review of basics of first-order logic, including elements of model theory. Turing machines, the universal machine, the undecidability of the halting problem. Peano arithmetic PA, Gödel’s theorems, formalization of syntax in PA.
See also https://users.math.cas.cz/~jerabek/teaching/mathlog.html and https://www.karlin.mff.cuni.cz/~krajicek/mll.html |
|
||
Last update: doc. RNDr. David Stanovský, Ph.D. (25.09.2018)
This is an informal continuation of NMAG162 Introduction of mathematical logic. The students are expected to understand basic syntactic and semantic properties of propositional and predicate logics. |