4.6. Specialization "Mathematical logic and theoretical informatics"

Basic courses, specialization "Logic"

• 250077 VO [ en ] Introduction to theoretical computer science
• 250078 VO Introduction to mathematical logic
• 250079 PS [ en ] Introductory seminar: "Introduction to mathematical logic"
• 250080 SE [ en ] Research Seminar (Mathematical logic)
• 250081 SE [ en ] Seminar (mathematical logic)

Advancede courses, specialization "Logic"

• 250082 VO [ en ] Selected topics in mathematical logic
• 250083 VO [ en ] Model theory of arithmetic
• 250084 VO Reading Course Mengenlehre
• 250101 VO Artificial Intelligence