Lehre
Winter 2009/10
Künstliche Intelligenz I
Seminar
Projektpraktikum
Oberseminar
Ulrich Furbach, Bernhard Beckert,
(Oberseminar) Weitere Informationen...
Oberseminar
Ulrich Furbach, Bernhard Beckert, Ralf Lämmel
(Oberseminar) Weitere Informationen...
Sommer 2009
Formale Spezifikation und Verifikation von Software
(Vorlesung, Übung) Weitere Informationen...
Seminar "Software-Zertifikation"
(Seminar) Weitere Informationen...
Künstliche Intelligenz II
Logik für Informatiker
Oberseminar
Ulrich Furbach, Bernhard Beckert,
(Oberseminar) Weitere Informationen...
Oberseminar (Adapt)
Furbach, Beckert, Lämmel, Ebert, Steigner, Staab
(Oberseminar) Weitere Informationen...
Winter 2008/09
Einführung in die formale Spezifikation von Software
(Vorlesung, Übung) Weitere Informationen...
Künstliche Intelligenz
Programmierparadigmen
Seminar
Oberseminar
Ulrich Furbach, Bernhard Beckert,
(Oberseminar) Weitere Informationen...
Sommer 2008
Logik für Informatiker
(Vorlesung, Übung) Weitere Informationen...
Automated Reasoning and Knowledge Reprasentation
(Vorlesung) Weitere Informationen...
Formale Spezifikation und Verifikation
Bernhard Beckert, Christoph Gladisch
(Vorlesung, Übung) Weitere Informationen...
Aktuelle Schwerpunkte der deutschen Informatik-Forschung
Ulrich Furbach, Bernhard Beckert
(Seminar) Weitere Informationen...
Oberseminar
Ulrich Furbach, Bernhard Beckert,
(Oberseminar) Weitere Informationen...
Projektpraktikum Eco-Be 2
(Projektpraktikum) Weitere Informationen...
Winter 2007/08
Künstliche Intelligenz
Theoretische Informatik II
Programmierparadigmen
KI-Programmierung
Proseminar
Oberseminar
Sommer 2007
Logik für Informatiker
Theoretische Informatik
Grundlagen der Theoretischen Informatik (BSc) / Einführung in die Theoretische Informatik I (Dipl)
(Vorlesung, Übung) Weitere Informationen...
Semantik von Programmiersprachen
Formal Methods in Software Engineering
Bernhard Beckert
(Lecture in English) July 2, 2007 - July 20, 2007, as part of the Summer Academy
More Informations...
Oberseminar: Künstliche Intelligenz
Grundlagen der Informatik
(Seminar) Erstes Treffen: Freitag, 20.4. 2007 um 14 c.t. in B 233
(Keine weiteren Informationen)
Winter 2006/07
Oberseminar: Künstliche Intelligenz
KI-Programmierung
Künstliche Intelligenz
Vorlesung: Mittwoch 8 Uhr und Montag 14 Uhr
Übung: Donnerstag 8 Uhr, F313
Nichtklassische Logiken
(Vorlesung) Donnerstag 10 Uhr, E016
Programmverifikation
(Seminar) Donnerstag 12 Uhr, E016
zuletzt verändert: 05.11.2009 17:14
Kontakt