Direkt zum Inhalt

Eine algebraische Fläche vom Grad 6 (eine "Sextik"), die 65 Singularitäten besitzt.

Philipps-Universität Marburg

Studium

Forschung

Mathematik

Informatik

Aktuelles

» Universität » Mathematik und Informatik » Formale Methoden » Lehre

Lehrveranstaltungen

Sommersemester 2013

Praktische Informatik II
Model Checking
Fortgeschrittenes Praktikum: Implementierung eines Editors für allgemeine Transitionssysteme (noch zu vergeben)

Wintersemester 2012/2013

Sommersemester 2012

Wintersemester 2011/2012

Logik

Zuletzt aktualisiert: 26.04.2013 · fohry

Fb. 12 - Mathematik und Informatik, Hans-Meerwein-Straße, D-35032 Marburg
Tel. 06421/28-21514, Fax 06421/28-25466, E-Mail: dekanatfb12@mathematik.uni-marburg.de

URL dieser Seite: http://www.uni-marburg.de/fb12/formalemethoden/vorlesungen