Lehrinhalte
Elementary logic: propositional logic and first order logic; syntax, semantics and deductive calculi. Basic axiomatic set theory; set-theoretic construction of basic mathematical entities; ordinal and cardinal numbers. Computability, decidability and recursive enumerability based on a simple model of computation
Literature
(examples include) Forster, T.: Logic, Induction and Sets. CUP, 234pp., 2003
Kay, R.: The Mathematics of Logic. CUP, 204pp., 2007
Voraussetzungen
recommended: basic mathematical knowledge from the first semester
Online-Angebote
moodle
Elementary logic: propositional logic and first order logic; syntax, semantics and deductive calculi. Basic axiomatic set theory; set-theoretic construction of basic mathematical entities; ordinal and cardinal numbers. Computability, decidability and recursive enumerability based on a simple model of computation
Literature
(examples include) Forster, T.: Logic, Induction and Sets. CUP, 234pp., 2003
Kay, R.: The Mathematics of Logic. CUP, 204pp., 2007
Schindler, R.: Logische Grundlagen der Mathematik. Springer, 203pp., 2009
Hamkins, J.: Lectures on the Philosophy of Mathematics, MIT Press, 230pp., 2021
Voraussetzungen
recommended: basic mathematical knowledge from the first semester
Online-Angebote
moodle
- Lehrende: Martin Otto
Semester: Verão 2022