Wintersemester 2024/2025

Lehre im Fachgebiet AL im Wintersemester 2024/2025

• Automaten und formale Sprachen
• Automatische Strukturen
• Logik und Logikprogrammierung
• Verification