Hofmann, Martin

Algorithmen und Datenstrukturen

31.05.2016 Video aufrufbar Hashtabellen
02.07.2009 Video aufrufbar Kürzeste Wege
14.05.2009 Video aufrufbar Rot-Schwarz-Bäume

Grundlagen der Analysis

Formale Spezifikation und Verifikation

01.07.2015 Video aufrufbar 18. Programmlogik
13.05.2015 Video aufrufbar 8. Das System SMV
27.04.2015 Video aufrufbar 5. BDDs
22.04.2015 Video aufrufbar 4. BDDs
20.04.2015 Video aufrufbar 3. Aussagenlogik

Programmierung und Modellierung (sose14)

03.07.2014 Video aufrufbar 16. Semantik
23.06.2014 Video aufrufbar 14. Monaden
16.06.2014 Video aufrufbar 13. IO & Funktoren
05.06.2014 Video aufrufbar 12. Typinferenz
22.05.2014 Video aufrufbar 9. Algorithmen
07.04.2014 Video aufrufbar 1. Einführung

Logik und Diskrete Strukturen

13.06.2012 Video aufrufbar Aussagenlogik
12.06.2012 Video aufrufbar Endliche Körper
23.05.2012 Video aufrufbar Gruppen