|
|
|
||
Last update: doc. Mgr. et Mgr. Jan Žemlička, Ph.D. (05.09.2013)
|
|
||
Last update: prof. RNDr. Jan Krajíček, DrSc. (10.09.2019)
Cílem je nahlédnout do problematiky logických základů matematiky a vyložit zejména algoritmickou nerozhodnutelnost Halting problému a Godelovu 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: doc. RNDr. David Stanovský, Ph.D. (25.09.2018)
Lou van den Dries: Lecture notes on mathematical logic, http://www.karlin.mff.cuni.cz/~krajicek/vddries.pdf J.R.Shoenfield: Mathematical logic; Addison-Wesley Publishing Company, London . Don Mills, Ontario, 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: prof. RNDr. Jan Krajíček, DrSc. (14.07.2019)
A review of basics of first-order logic, including elements of model theory. Peano arithmetic PA, formalization of syntax in PA. Godel's theorems. Turing machines, the universal machine, the undecidability of the halting problem.
See also http://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. |