
Podcast
Logik für Informatiker
0 Plays
Diese Vorlesung wurde von Prof. Dr. Till Tantau an der Universität zu Lübeck im Wintersemester 2008 gehalten. Inhaltlich geht es um eine Einführung in die mathematische Logik speziell für Informatik-Studierende in den ersten Semestern.