Instructors: Prof. Dr. rer. nat. Martin Otto; M.Sc. Simon Vincent Raßmann
Event type:
Lecture & Exercise
Org-unit: Dept. 04 - Mathematics
Displayed in timetable as:
Logic/Foundations
Subject:
Crediting for:
Hours per week:
3
Language of instruction:
German
Min. | Max. participants:
- | -
Course Contents:
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
Preconditions:
recommended: basic mathematical knowledge from the first semester
Online Offerings:
moodle
|