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
- Algorithmisches Lernen
- 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
- Baumautomaten
- Berechenbarkeit und Komplexität
- Chapters of Automata Theory
- Datenstrukturen und Algorithmen
- Formale Systeme, Automaten, Prozesse
- Ideengeschichte der Informatik
- Ideengeschichte der Informatik II
- Infinite Computations
- Infinite Games
- Infinite-State System Verification
- Information und Datenschutz
- Model-Checking
- Modelle und Konstruktionen der Automatentheorie
- Paralleles Programmieren
- Parallelisierung logischer Sprachen
- Regular and Context-Free Languages: Advanced Results
- 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 Geschichte der Weltbeschreibung (SS2010)
- Die Bewegung der Gestirne im Sonnensystem - historische Beobachtungen und Deutungen (SS 2001)
- Die Vermessung von Raum und Zeit (WS 2009/10)
- Erkenntniswege in der Erfahrungswissenschaft (SS 2008)
- Gesetze des Nachthimmels (SS 2006)
- Globen und Karten (SS 2007)
- Ideengeschichte der Informatik (WS 2008/09, SS 2000)
- Ideengeschichte der Informatik II (WS 2000/01)
- Kontroverse Paradigmen der Wissenschaftsgeschichte (WS 2007/08)
- Mathematik und Wirklichkeit (WS 2010/11)
- 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)
- Orientierung in Raum und Zeit (SS 2011)
- Planeten und Exoplaneten (WS 2008/09)
- Planeten und Sterne (SS 2005)
- Präsentationstechniken für Kernthemen der Informatik (Presentation techniques) (WS 2001/02)
- Rätsel und Vermutung in der Wissenschaft (WS 2011/12)
- 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))
- Sternstunden der neuzeitlichen Astronomie (SS 2009)
- Themen ohne Grenzen (WS 2006/07)
- Weltsichten und Raumreisen - Fakten und Fiktion (SS 2012)
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 2012, WS 2011/12, SS 2011, WS 2010/11, SS2010, WS 2009/10, SS 2009, WS 2008/09, SS 2008, 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 Automatentheorie (WS 2011/12), (WS2010/11), (WS 2008/09)
- Proseminar 3D-Grafik und Bildverarbeitung mit Open GL (WS 2000/01)
- Proseminar: Automaten, Grammatiken und ihre Anwendungen (WS 2009/10)
- 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 ( SS 2012, SS 2011, SS 2010, SS 2009, SS 2008, 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) ( WS 2011/12, WS 2010/11, WS 2009/10, WS 2008/09, SS 2008, SS 2007, SS 2006, SS 2005, SS 2004)