4.6. Specialization "Mathematical logic and theoretical informatics"

Basic courses, specialization "Logic"

• 250434 VO Introduction to Mathematical Logic
• 250436 PS Proseminar to Introduction to Mathematical Logic
• 250443 SE Project Seminar in Mathematical Logic
• 250444 SE Research Seminar: Mathematical Logic

Advancede courses, specialization "Logic"

• 250363 VO Category theory
• 250435 VO Applications of Mathematical Logic
• 250438 VO Axiomatic Set Theory 2
• 250441 VO Modal Logic
• 250442 VO Selected Topics im Mathematical Logic