Logik für Informatiker - Podcasts
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.

Latest Episodes

Comments & Reviews0

Write a Comment