04-00-0148-vu Introduction to Mathematical Logic

Instructors: Prof. Dr. rer. nat. Martin Otto; Marius Fabian Tritschler

Event type: Lecture & Exercise

Org-unit: Dept. 04 - Mathematics

Displayed in timetable as: Intr. Math. Logic

Subject:

Crediting for:

Hours per week: 6

Language of instruction: Englisch

Min. | Max. participants: - | 25

Course Contents:
Syntax and semantics of first order logic; formal proofs in a calculus; completeness; compactness theorem; the logical and set-theoretical foundations of mathematics; elementary recursion theory; undecidability and incompleteness.

Literature:
examples of useful literature:
Ebbinghaus, Flum, Thomas: Einführung in die mathematische Logik;
Shoenfield: Mathematical Logic;
Cori, Lascar: Mathematical Logic;
Poizat: A Course in Model Theory, an Introduction to Contemporary Mathematical Logic;
van Dalen: Logic and Structure

Preconditions:
recommended: solid mathematical foundations in Analysis and Linear Algebra

Online Offerings:
moodle