Frühere Semester
sortiert nach Veranstaltung • sortiert nach Semester
Die Skripten auf dieser Seite sind nur von Rechnern innerhalb
der RWTH Aachen oder mittels VPN
auch von außerhalb zugänglich.
Die vorhandenen Folien liegen im pdf-Format vor; die restlichen Materialien sind gezippte Ordner, die jeweils pdf-Dokumente enthalten.
Vorlesungen
- Advanced Theory of Finite Automata
- Angewandte Automatentheorie
- Automaten und Reaktive Systeme
- Automaten, Logiken und Model-Checking
- Automata on infinite objects
- Automaten auf unendlichen Wörtern
- Automaten, Sprachen und Komplexität
- Automatentheorie und formale Sprachen
- Baumautomaten und Anwendungen
- Berechenbarkeit und Komplexität
- Chapters of Automata Theory
- Datenstrukturen und Algorithmen
- Ideengeschichte der Informatik
- Ideengeschichte der Informatik II
- Infinite-State System Verification
- Information und Datenschutz
- Model-Checking
- Modelle und Konstruktionen der Automatentheorie
- Paralleles Programmieren
- Parallelisierung logischer Sprachen
- Rekursionstheorie
- Strukturtheorie regulärer und kontextfreier Sprachen
- Temporal Logic and Model-Checking
- Unendliche Spiele
- Unendliche Spiele und Reaktive Systeme
- Unendliche Transitionssysteme
- Visualisierung von Prozessen
- Web- und Application-Server: Werkzeuge, Sprachen und Anwendungen
- Websprachen: Konzepte und Tools
Vorlesungen von Prof. Oberschelp
- Alcuins Rechenbuch - eine karolingische Quelle zur mathem. Algorithmik (SS 1998)
- Algorithmik und Mathematik im Mittelalter (WS 2003/04)
- Alte Prinzipien und neue Ideen für die Rechnerarchitektur (WS 2002/03)
- Bahnen am Himmel - Beobachtungen und Deutungen aus der Geschichte der Astronomie (SS 2003)
- Beobachtungen von Sonne, Mond und Sternen im Mittelalter und ihre geometrische Deutung (WS 1998/99)
- Das Weltbild der Astronomie - von der Moderne zurück zu den Ursprüngen (SS 2004)
- Die Bewegung der Gestirne im Sonnensystem - historische Beobachtungen und Deutungen (SS 2001)
- Gesetze des Nachthimmels (SS 2006)
- Globen und Karten (SS 2007)
- Kontroverse Paradigmen der Wissenschaftsgeschichte (WS 2007/08)
- Methoden und Ergebnisse der Bio-Informatik (Methods and results of bio-informatics) (WS 2001/02)
- Methoden zur Berechnung der Bahnen von Himmelskörpern (SS 1999)
- Planeten und Sterne (SS 2005)
- Präsentationstechniken für Kernthemen der Informatik (Presentation techniques) (WS 2001/02)
- Rechnen und Rechner - Die Ideen und ihre Geschichte (WS 2005/06)
- Sprache und Information (von den Modellen zu Wahrnehmung und Wirklichkeit) (WS 2004/05, Lösungen zum Test vom 26.01.2005 (2480kB))
- Themen ohne Grenzen (WS 2006/07)
Seminare
- Seminar Angewandte Automatentheorie (WS 2000/01)
- Seminar Logische Sprachen und ihre parallele Implementierung (SS 1998)
- Seminar Message Sequence Charts (WS 1999/2000)
- Seminar über Automatentheorie (SS 2007, WS 2006/07, SS 2006, SS 2005, WS 2004/05, SS 2004, SS 2003, WS 2002/03, SS 2002, SS 2001 SS 2000)
- Seminar über Automaten für XML (WS 2005/06)
- Seminar über Baumautomaten WS 2007/08
- Seminar über Bildsprachen (SS 1999)
- Seminar über hybride und Echtzeit-Systeme (gemeinsam mit Prof. Kowalewski, Lehrstuhl Informatik XI) (SS 2004)
- Seminar über Theoretische Informatik: Automaten und semistrukturierte Daten (XML) (WS 2003/04)
- Seminar Verifikationstools (WS 1998/99)
- Seminar Visualisierung von Prozessen (SS 1999)
- Lehrstuhlseminar (SS 2004, WS 2002/03, SS 2002)
Proseminare
- Proseminar 3D-Grafik und Bildverarbeitung mit Open GL (WS 2000/01)
- Proseminar Datenkompression (SS 2000)
- Proseminar: Effiziente Algorithmen (WS 2002/03)
- Proseminar: Effiziente Datenstrukturen für große Mengen (WS 2003/04)
- Proseminar: Internet-Protokolle (WS 2004/05)
- Proseminar Pattern-Matching mit Anwendungen in der Bio-Informatik (WS 2001/02)
- Proseminar Petri-Netze (WS 2006/07, SS 1999)
- Proseminar Prozeß-Visualisierung (WS 1998/99)
- Proseminar über Berechenbarkeit und Komplexität (SS 2005)
- Proseminar Universelle Algorithmenmodelle und Unentscheidbarkeit (SS 1998)
- Proseminar Visualisierung von Algorithmen (SS 2001)
Praktika
- Informatikpraktikum für Mathematiker (WS 2007/08, WS 2006/07, WS 2005/06, WS 2004/05, WS 2003/04, WS 2002/03, WS 2001/02, SS 2001, WS 2000/01, SS 2000, WS 1999/2000, SS 1999, WS 1998/99, SS 1998)
- Praktikum Java Programme für Layout, Visualisierung und Simulation (SS 2001)
- Praktikum Visualisierung von Algorithmen in Java (WS 1999/2000)
- Praktikum Visualisierung zellularer Automaten in Java (WS 2000/01)
- Software-Praktikum - Automaten, Graphen, Simulation (WS 1998/99)
- Softwarepraktikum: Plattform für automatentheoretische Algorithmen (SS 2002)
- Softwarepraktikum: Visualisierung von Algorithmen (SS 2003)
- Softwarepraktikum: Webprogrammierung und das Satzsystem LaTeX (für Studiengang Technik-Kommunikation) (SS 2007, SS 2006, SS 2005, SS 2004)