Readspeaker Menü

Lehrveranstaltungen

Aktuelles Semester (Winter 2015/16)

  • V: Einführung in die Theorie Künstlicher neuronaler Netze (Prof. C. Beckstein)
  • Ü: Einführung in die Theorie Künstlicher neuronaler Netze (Prof. C. Beckstein)
  • V/Ü: Grundlagen und Techniken der Constraint-Programmierung (Prof. C. Beckstein)
  • V/Ü: Modelle der symbolischen Informationsverarbeitung mit LISP und Prolog (Prof. C. Beckstein)

Vergangene Semester

  • Ü: Deklarative Programmierung (Prof. C. Beckstein)
  • S: Wissen(schaft) in Zeiten von Big Data  (PD Dr. S. Artmann, Prof. C. Beckstein)
  • WS 2013/14: Ü: Einführung in die Theorie der Künstlichen Intelligenz  (Prof. C. Beckstein)
  • SS 2014: S: Philosophie der Verkörperung - aktuelle Thesen über das Wesen von Geist und Kognition (mit Prof. C. Beckstein, Dr. S. Artmann)
  • SS 2014: Ü: Deklarative Programmierung (Prof. C. Beckstein)
  • WS 2013/14: Hauptseminar Schwarmintelligenz
  • WS 2013/14: Einführung in die Theorie Künstlicher Neuronaler Netze
  • SS 2013: Übung: Deklarative Programmierung (Prof. C. Beckstein)
  • SS 2013: Hauptseminar: CosRe: Computer Supported Research (mit Prof. C. Beckstein, Dr. S. Artmann)
  • SS 2010 bis WS 2012/13: Übung: Einführung in die Logik (Institut für Philosophie, Dr. S. Schlotter, PD Dr. W. Kienzler)
  • WS 2009/10 Übung: Grundlagen der Modellierung und Programmierung
  • SS 2008 Hauptseminar: Theorien der Wissensevolvierung (mit Prof. C. Beckstein, Institut für Informatik; Prof. B.O. Küppers, Dr. S. Artmann, Institut für Philosophie)
  • SS 2007 Übung: Modelle der symbolischen Informationsverarbeitung in Lisp und Prolog (Institut für Informatik, Prof. Dr. C. Beckstein) [Übungsmaterialien]
  • SS 2003 Übung: Einführung in die Logik (Institut für Philosophie, Dr. P. Gold)
  • SS 2001 Tutorium: Einführung in die Medienphilosophie und Medienethik (Bereich Medienwissenschaften, Dr. M. Sandbothe)