Lehr- und Forschungseinheit für Programmier- und Modellierungssprachen, Institut für Informatik
print

Sprachumschaltung

Dies sind die archivierten Webseiten der Lehr- und Forschungseinheit für Programmier- und Modellierungssprachen (PMS). Die Seiten der Lehr- und Forschungseinheit für Programmiersprachen und KI (PLAI) finden Sie auf https://www.plai.ifi.lmu.de.


Navigationspfad


Inhaltsbereich
Hans Jürgen Ohlbach

Prof. Dr. (i.R) Hans Jürgen Ohlbach

Extra-Ordinarius

Kontakt

Ludwig-Maximilians-Universität München
Institut für Informatik
Lehr- und Forschungseinheit für Programmier- und Modellierungssprachen
Oettingenstraße 67
D-80538 München


Weitere Informationen

Ein neues Buch:

Ohlbach, Eisinger: Design Patterns für mathematische Beweise: Ein Leitfaden insbesondere für Informatiker

Das Buch gibt es auch innerhalb des Instituts für Informatik der LMU unter
Teil 1 und Teil 2

Eine Sammlung von Miniskripten zu Themen der Informatik, insbesondere, aber nicht nur, für Studierende, die Informatik im Nebenfach belegen:

https://www.pms.ifi.lmu.de/NFModule/