Nächste Seite: (Haupt-) Seminare
Aufwärts: lehre
Vorherige Seite: lehre
WS-1986/87:
- LISP-II: Verarbeitungsmodelle für die Symbolische
Informationsverarbeitung.
SS-1990:
- Verarbeitungsmodelle für die symbolische Informationsverarbeitung
mit LISP.
- Einführung in die Logik-Programmierung.
WS-1990/91:
SS-1991:
- Grundlagen der Logik-Programmierung.
WS-1991/92:
- Reason-Maintenance-Systeme.
SS-1992:
- Aktuelle Probleme der Logik-Programmierung.
WS-1992/93:
- Reason-Maintenance-Systeme (stark überarbeitet und erweitert).
SS-1993:
- Grundlagen der Logik-Programmierung (überarbeitet).
SS-1994:
- Einführung in die Künstliche Intelligenz (Wahlpflichtveranstaltung
im Grundstudium).
WS-1994/95:
- Meta-Level-Systeme (überarbeitet).
SS-1995:
- Einführung in die Künstliche Intelligenz (überarbeitet und
thematisch erweitert zu voller Hauptstudiumsveranstaltung).
WS-1995/96:
- Begründungsverwaltung.
- Einführung in die Theorie der Neuronalen Netze.
SS-1996:
- Modelle für die symbolische Informationsverarbeitung.
- Metaebenen-Architekturen.
WS-1996/97:
- Einführung in die Künstliche Intelligenz.
SS-1997:
- Informatik II.
- Ausgewählte Kapitel der Künstlichen Intelligenz (Lehrer-Weiterbildung).
WS-1997/98:
- Einführung in die Theorie Künstlicher Neuronaler Netze.
- Modelle für die symbolische Informationsverarbeitung.
SS-1998:
- Informatik II.
- Ausgewählte Kapitel der Begründungsverwaltung.
WS-1998/99:
- Einführung in die Künstliche Intelligenz.
- Probleme der Kognitionswissenschaft -- am Beispiel der
Begriffsbildung (interdisziplinäre Ringvorlesung für Hörer aller
Fakultäten).
SS-1999:
- Grundlagen von Neuronalen Netzen und Fuzzy-Systemen.
- Modelle für die symbolische Informationsverarbeitung
mit LISP und PROLOG.
- Elektronischer Geschäftsverkehr (interdisziplinäre
Ringvorlesung für Hörer aller Fakultäten).
WS-1999/2000:
- Einführung in die Künstliche Intelligenz.
- Begriffsbildung als kognitive Leistung aus Sicht der
Informatik, Geistes- und Naturwissenschaften (interdisziplinäre
Vorlesung für Hörer aller Fakultäten).
SS-2000:
- Einführung in die Theorie Künstlicher Neuronaler Netze.
- Informatik II.
WS-2000/2001:
- Modelle für die symbolische Informationsverarbeitung
mit LISP und PROLOG (erweitert).
SS-2001:
- Einführung in die Theorie Künstlicher Neuronaler Netze.
WS-2001/2002:
- Einführung in die Künstliche Intelligenz.
SS-2002:
- Ausgewählte Kapitel der Begründungsverwaltung.
WS-2002/2003:
- Einführung in die Künstliche Intelligenz.
SS-2003:
- Einführung in die Theorie Künstlicher Neuronaler Netze.
WS-2003/2004:
- Einführung in die Künstliche Intelligenz.
SS-2004:
- Modelle für die symbolische Informationsverarbeitung
mit LISP und PROLOG.
WS-2004/2005:
- Einführung in die Künstliche Intelligenz.
SS-2005:
- Grundlagen und Techniken der Constraint-Programmierung.
WS-2005/2006:
- Einführung in die Theorie Künstlicher Neuronaler Netze.
SS-2006:
- Grundlagen und Techniken der automatischen Planung.
WS-2006/2007:
- Einführung in die Künstliche Intelligenz.
SS-2007:
- Modelle für die symbolische Informationsverarbeitung mit
LISP und PROLOG (nach Ausbau der Übungsteile zu
Kleinprojekten).
WS-2007/2008:
- Einführung in die Theorie Künstlicher Neuronaler Netze.
SS-2008:
- Grundlagen und Techniken der Constraint-Programmierung.
WS-2008/2009:
- Einführung in die Künstliche Intelligenz (neustrukturiert als
Bachelor-Veranstaltung).
- Ergänzungsveranstaltung zur Einführung in die Künstliche
Intelligenz für Studenten der Philosophe mit der Vertiefung ,,Integrative Anthropologie``.
- Regelbasierte Programmierung (für Informatik-Lehrer an Gymnasien, Aufbaustudium).
SS-2009:
- Deklarative Programmierung.
- Intelligente Systeme (Ergänzungsfach Informatik).
- Grundlagen und Techniken der automatischen Planung.
WS-2009/2010:
- Einführung in die Theorie Künstlicher Neuronaler Netze (neustrukturiert als
Bachelor-Veranstaltung).
Nächste Seite: (Haupt-) Seminare
Aufwärts: lehre
Vorherige Seite: lehre
Clemens Beckstein
2010-01-14