Universität Rostock   |   Fakultät für Informatik und Elektrotechnik   |   Institut für Informatik  
Start - Home   |   Aktuelles - Announcements   |   Lehre - Teaching  |   Forschung - Research  |   Mitarbeiter - Staff  |   Kontakt - Contact
 
Lehre / Teaching
(nur in deutsch / only in German)



Lehrveranstaltungen

Übersicht

Diplom Informatik
Bachelor Informatik
Master Informatik

Studien- und Diplomarbeitsthemen

Übersicht über Lehrveranstaltungen


Diplomstudium Informatik


Hauptstudium

Vorlesung Dozent (vorauss.) nächstes Angebot
Compilerbau Prof. Dr. K. Wolf SS 09
Computergestützte Verifikation Prof. Dr. K. Wolf WS 08/09
Modelle für Geschäftsprozesse und Services Prof. Dr. K. Wolf SS 09

Seminare

Seminar Dozent (vorauss.) nächstes Angebot
Geschäftsprozessmodellierung Prof. Dr. K. Wolf WS 08/09
Modellierung und Analyse mit Petrinetzen Prof. Dr. K. Wolf WS 08/09
Statische Programmanalyse Prof. Dr. K. Wolf SS 09

Bachelor Informatik

Theoretische Informatik

Vorlesung Dozent (vorauss.) nächstes Angebot
Logik Prof. Dr. K. Wolf WS 10/11
Berechenbarkeit und Komplexität Prof. Dr. K. Wolf SS 11
Formale Sprachen Prof. Dr. K. Wolf WS 08/09
Semantik von Programmiersprachen Prof. Dr. K. Wolf SS 09
Formale Systeme Prof. Dr. K. Wolf ??

Kernstudium

Vorlesung Dozent (vorauss.) nächstes Angebot
Compilerbau Prof. Dr. K. Wolf WS 09/10

Master Informatik

Vertiefungsgebiet Modelle und Algorithmen

auch für Diplomstudiengang Informatik

Vorlesung Dozent (vorauss.) nächstes Angebot
Computergestützte Verifikation Prof. Dr. K. Wolf WS 08/09
Modelle für Geschäftsprozesse und Services Prof. Dr. K. Wolf SS 09


Impressum