Sie können mich meistens in meinem Büro in Trier erreichen oder telefonisch unter: 0651 201 2827.
Sekretariat: ... 2836; Fax: ... 3954
Sprechstunde: DO 9-10 Uhr.
Eindrücke von Trier finden Sie z.B. hier. FB 4 - Abteilung
Informatik
Universität
Trier
D-54286 Trier
Germany
Ältere Arbeiten finden Sie teilweise auf der Tübinger Homepage.
Meine Kopiensammlung finden Sie als Bibtex-Datei.
Dazu brauchen Sie noch eine Hilfsdatei.
Falls Sie Schwierigkeiten haben, die Kopie einer bestimmten zitierten Arbeit zu bekommen, fragen Sie mich bitte.
Weitere wissenschaftliche Tätigkeiten:
Mitglied in verschiedenen Programmkomitees: ICGI 2002, ICGI 2004, SOFSEM 2006, IWPEC 2006, ICGI 2006, ALT 2006, STACS 2007, LATA 2008, ICGI 2008
Organisatorisches:
Vertrauensdozent der Gesellschaft für Informatik an der Universität Trier
Dazu finden Sie nähere Informationen bei den einzelnen Vorlesungen weiter unten.
Konkret gibt es Skripten zu Näherungsalgorithmen, Lernalgorithmen, Datenkompression.
Außerdem finden Sie zumeist Foliensätze zu den Vorlesungen.
Dennoch empfehle ich, persönlich in die Vorlesungen zu gehen, da dort immer einiges mehr gemacht wird, als unmittelbar in den Skripten und Foliensätzen steht.
Bitte schauen Sie ab sofort (nur noch) auf die „offiziellen“ Seiten, die Sie über www.uni-trier.de erreichen. Dort liegen auch die aktualisierten Foliensätze.
Vorkurs: Formale Grundlagen der Informatik
Die Vorlesungen 8.10.-12.10.2007 finden Sie hier: Montag, Dienstag, Mittwoch, Donnerstag, Freitag
Haben Sie Anmerkungen / Kritik / Verbesserungsvorschläge ? Schicken Sie uns einfach eine E-Mail !
Grundstudiumsvorlesung: Diskrete Strukturen und Logik (DSL)
Vorlesungsfolien: finden Sie im Folgenden ! Interesse an Übungen ? Folgen Sie diesem Link...
Achtung ! Da ich auch mit der Tafel und mündlich arbeite, enthalten Sie durch bloße Durchsicht der Folien nicht alle Informationen.
NEU: Die Montags-Vorlesung entfällt ab der vierten Woche; dafür treffen wir uns ab jetzt mittwochs von 12.25 bis 13.55 im H406 (Campus II).
1. Vorlesungswoche: VL 1 (mit allgemeinen Hinweisen), VL 2
7. Vorlesungswoche: VL 13, Hinweis: Bis hierhin Stoff der Zwischenklausur am DI, 11.12. VL 14
8. Vorlesungswoche: am DI 11.12. Zwischenklausur, also keine VL; bei der Klausur sind keine Unterlagen zulässig; VL 15
Weihnachtsferien
Hauptstudiumsvorlesung (auch für Master): Parameterisierte Algorithmen
Vorlesungsfolien: finden Sie im Folgenden ! Interesse an Übungen ? Folgen Sie diesem Link...
1. Vorlesungswoche: VL 1 (mit allgemeinen Hinweisen)
2. Vorlesungswoche: VL 2 (teilweise für Vorlesungswoche 3)
3. Vorlesungswoche: VL 3
4. Vorlesungswoche: VL 4
5. Vorlesungswoche: VL 5
6. Vorlesungswoche: VL 6
7. Vorlesungswoche: VL 7
8. Vorlesungswoche: VL 8
9. Vorlesungswoche: VL 9
Weihnachtsferien
10. Vorlesungswoche: VL 10
(Pro-)Seminar über Graphenzeichnen
(Grund- und Hauptstudium, je nach Niveau, auch für Bachelor/Master)
Seminarankündigung (Anmeldung jederzeit per Email möglich)
Das Seminar findet in Blockform statt, alles Nähere, inklusive der Vorbesprechungsankündigung, hier
Forschungsseminar Theoretische Informatik (sollte für forschungsorientierte theoriebegeisterte Studierende ebenfalls interessant sein)
Wir treffen uns immer Dienstags ab 10.15 im H 412; Näheres finden Sie hier.
Grundstudiumsvorlesung: Automaten und Formale Sprachen (AFS)
Die Vorlesung gibt eine kompakte Einführung in das Gebiet der Automatentheorie und formalen Sprachen, das sowohl für die theoretische Informatik (Berechenbarkeitstheorie, Komplexitätstheorie, formale Systeme und Semantik) als auch für die praktische Informatik (Programmiersprachen, Syntaxanalyse, Compilerbau usw.) von grundlegender Bedeutung ist.
NEU: Wer hat wie bestanden ? Leider konnten wir nicht alle KandidatInnen für die mündliche Nachprüfung per Email erreichen (z.B., weil Mailboxen überlaufen...)
Daher hier noch eine neue Liste mit Prüfungsterminen ! Bitte bestätigen Sie Ihren Termin !
VL (Beginn erste Vorlesungswoche) Freitags 12-14 Uhr HS 13, ab 2. Woche 12.25-13.55
Übungen (Raible; Beginn dritte Vorlesungswoche) Montags 14-16 HS13 und Mittwochs 14-16 HS13, jeweils vierzehntägig.
NEU: Veränderter Prüfungstermin (schriftlich) DO, 26.7.2007, 9.15-11.15 im HS 11/12. Zugelassene Hilfsmittel: Im Wesentlichen Ihr Kopf ;-)
Sie können jederzeit Ihre Klausuren einsehen (wenn jemand „von uns“ da ist) und Ihre benoteten Scheine im Sekretariat (Frau Gindorf) abholen.
Folien: Die ersten 6 Foliensätze behandeln reguläre Sprachen. Danach geht es um kontextfreie Sprachen.
1. Vorlesungswoche: VL 1 (mit allgemeinen Hinweisen; bitte beachten Sie insbesondere unsere Angebote für Tutoren-, Assistenten- und Dozentensprechstunden),
2. Vorlesungswoche: VL2
3. Vorlesungswoche: VL3
bis zur 5. Vorlesungswoche: VL4
6. Vorlesungswoche: VL5
7. Vorlesungswoche: VL6 (sowie den Anfang des folgendes Foliensatzes)
8. Vorlesungswoche: VL7-8
9. Vorlesungswoche: Ende des letzten Foliensatzes sowie VL9
10. Vorlesungswoche: VL10
11. Vorlesungswoche: VL11
12. Vorlesungswoche: VL12
13. Vorlesungswoche: VL13 (Revision)
Hauptstudiumsvorlesung: Formale Sprachen (Parallele Grammatiken und regulierte Ersetzung)
Formale Sprachen und Komplexitätstheorie sind die klassischen Säulen der Theoretischen Informatik. Nach der allgemeinen Vorstellung der Fragestellungen im Bereich der Formalen Sprachen schließt sich die Diskussion verschiedener Sprachklassen an, insbesondere gesteuerte und parallele Ersetzungsverfahren. Abschließend behandeln wir algebraische Ansätze wie abstrakte Sprachfamilien und formale Potenzreihen.
VL (Beginn erste Vorlesungswoche) Mittwochs 12-14 Uhr HZ 203, Ausnahmen: 25.4., 12.00-13.00, dann: 12.25-13.55.; sowie statt 18.07.: 19.07., 14-16 Uhr
Übungen (Gulan; Beginn zweite Vorlesungswoche) Montags 16-18 Uhr HZ 204
Folien:
Hauptstudiumsvorlesung: Komplexitätstheorie
Die Komplexitätstheorie ist neben den Formalen Sprachen eine der klassischen Säulen der Theoretischen Informatik. Behandelt werden u.a. die Berechnungsressourcen Zeit und Speicherplatz, verschiedene Komplexitätsklassen wie L, NL, P, NP, PSPACE, die Klassifikation konkreter Probleme, Reduzierbarkeit und Vollständigkeit, harte Probleme der obigen Komplexitätsklassen sowie Hierarchiesätze.
VL (Beginn erste Vorlesungswoche) Dienstags 14-16 Uhr F 55
Übungen (Raible; Beginn dritte Vorlesungswoche) Mittwochs 8-10 Uhr H 11
Folien:
1. Vorlesungswoche: VL 1 (mit allgemeinen Hinweisen),
danach folgen wir weitgehend dem Foliensatz von Herrn Müller, siehe stud.ip (oder persönliche Nachfrage)
8. Vorlesungswoche, Zusatzmaterialien aus Newcastle: Complexity, Reductions, NP-Completeness , Artikel aus EATCS Bulletin, siehe auch Publikationsliste
In der 12. Vorlesungswoche findet die Vorlesung leider nicht statt. In der 13. Vorlesungswoche ist die Vorlesung ausnahmsweise DO, 10-12. Wir treffen uns vor meinem Büro.
Seminar: Exakte und approximative Algorithmen für Logik-Probleme
Im Gegensatz zur ersten Ankündigung werden wir das (Pro)Seminar in Blockform Ende Juni veranstalten.
Forschungsseminar Theoretische Informatik
Wir treffen uns immer Dienstags ab 10.00 im H 412; Näheres finden Sie hier.
Grundstudiumsvorlesung: Diskrete Strukturen und Logik (DSL)
NEU: Auf der Übungsseite von Herrn Gulan finden Sie die DSL-Klausurergebnisse; die Scheine können Sie bei Frau Gindorf abholen. Einige Nachprüfungen werden wir in der ersten Sommersemestervorlesungswoche 2007 ansetzen. Dazu erfolgt eine individuelle Einladung per Email. Die offizielle Klausureinsicht erfolgt in meiner Sprechstunde MO 14-15 Uhr am 16.04.07 in meinem Büro.
1. Vorlesung: MO, 23.10., 10 Uhr c.t., im HS 12.
Die 1. Vorlesung wird ausnahmsweise wiederholt, und zwar MI, 25.10., 14 Uhr c.t., im HZ 204.
Vorlesungstermine: MO, 10 Uhr c.t., im HS 12, DI, 12.25, im HS 13
Vorlesungsfolien: finden Sie im Folgenden !
Achtung ! Da ich auch mit der Tafel und mündlich arbeite, enthalten Sie durch bloße Durchsicht der Folien nicht alle Informationen.
1. Vorlesungswoche: VL 1 (mit allgemeinen Hinweisen), VL 2
9. Vorlesungswoche: VL 16
Nach den Weihnachtsferien:
14. Vorlesungswoche: VL 25 sowie eine : englische Ergänzung , „geborgt“ von http://www.eng.fsu.edu/~mpf/, VL 26
15. Vorlesungswoche: VL 27 , VL 28 (Rückschau und Ausblick)
Übungen: Hier ist der entsprechende Link für die Aufgaben.
Am 19.12.2006 findet in der normalen Vorlesungsstunde, also 12.25-13.55, unsere Zwischenklausur statt. Bitte beachten Sie auch immer die laufend aktualisierten Folien. Als Hilfsmittel zugelassen sind Füller und Kugelschreiber mit blauer oder schwarzer Farbe. Bitte vergessen Sie nicht Ihren Studentenausweis.
Wir hatten für das „eigentlich“ am 20.12. abzugebene Übungsblatt die Vereinbarung getroffen, dass Sie das auch noch bis zum 10.1. abgeben können, da am 20.12. noch ein Teil des alten Übungsblattes neben der Zwischenklausur vorgerechnet werden wird.
Bitte reservieren Sie sich Freitag, den 16.02.2007, von 8 bis 11.30 für die DSL-Abschlussklausur. Sie findet im H 11/12 statt.
Als Hilfsmittel zugelassen sind Füller und Kugelschreiber mit blauer oder schwarzer Farbe. Bitte vergessen Sie nicht Ihren Studentenausweis.
(Pro-)Seminar über Graphenzeichnen
(Grund- und Hauptstudium, je nach Niveau)
Das Seminar findet in Blockform statt, alles Nähere, inklusive der Vorbesprechungsankündigung, hier !
Das Seminar findet am 15. und 16.02.2007 statt.
Hauptstudiumsvorlesung: Näherungsalgorithmen (Approximationsalgorithmen)
1. Vorlesung: MO, 23.10., 16 Uhr c.t., im H 6.
Vorlesungstermin: MO, 16 Uhr c.t., im H 6
Vorlesungsfolien: finden Sie im Folgenden !
Überarbeitetes Skript gibt es hier.
Achtung ! Da ich auch mit der Tafel und mündlich arbeite, enthalten Sie durch bloße Durchsicht der Folien nicht alle Informationen.
Nach den Weihnachtsferien:
Übungstermin: DI, 10 c.t., im H 7. Die erste Übung findet in der zweiten Vorlesungswoche statt. NEU: ab der 7. Vorlesungswoche findet die Übung im H412 MI, 14-16 c.t., statt.
Hier ist der entsprechende Link für die Aufgaben.
Forschungsseminar Theoretische Informatik
Wir treffen uns immer Dienstags ab 10.15 im H 412; Näheres finden Sie hier.
Die Folien zu meinem Vortrag im Rahmen des Informatik-Kolloquiums finden Sie hier .
Automaten und Formale Sprachen
Klausurtermin: Donnerstag, 27.7., 8.15-9.45, HS 11-12. Zur Klausur sind keine Hilfsmittel zugelassen. Kommen Sie daher am besten mit einem blauen und schwarzen Stift (nicht Bleistift) "bewaffnet" zum Termin. Die Klausur- und Gesamtergebnisse finden Sie hier . Dort sind die Klausurteilnehmer in alphabetischer Reihenfolge ihrer Vornamen aufgelistet; Studierende, die nicht an der Klausur teilnahmen, kommen nicht vor. Ich habe mir erlaubt, die Gesamtpunktzahl bei den Übungen um 26 Punkte (entspricht dem niedrigst maximalbepunktete Übungsblatt) zu reduzieren. Die benoteten Scheine können Sie ab 6.9. im Sekretariat bei Frau Gindorf abholen. Einsichtnahme in die Klausur ist immer möglich, sobald ich da bin.
Informationen zu den Vorlesungen sind hier versteckt.
Die aktuellen Informationen zu den Übungen zu AFS finden Sie hier .
Das Seminar wird in Blockform an den letzten beiden Tagen im Semester (DO/FR) im F 55 stattfinden. Genauer Start: DO, 27.7., 11.00.
Wir haben mittlerweile eine Themenbesprechung gehabt. Im Wesentlichen werden wir uns auf folgende Themen konzentrieren:
(a) Automaten mit Ausgabe / (b) stochastische Automaten / (c) Automaten zur Bildbeschreibung / (d) formale Potenzreihen.
Ich bitte, dass sich diejenigen, die sich bislang zwar bei mir angemeldet haben, aber nicht zur Vorbesprechung erschienen sind, sich für Themen (a) oder (b) oder die Lernalgorithmen entscheiden, damit das Proseminar nicht allzu inhomogen verläuft. Bitte teilen Sie mir Ihre Entscheidung baldmöglichst mit!
Scheinkriterien: Es gibt einen benoteten Schein. Die Note setzt sich wie folgt zusammen: Vortrag 50%, Ausarbeitung 40%, aktive Teilnahme an Vortragsdiskussion 10%.
Mittlerweile können Sie sich Ihre Scheine bei Frau Gindorf abholen.
Datenkompression
Informationen zu den Vorlesungen und Übungen sind hier versteckt.
Lernalgorithmen
Vorlesungszeit: MI 14.10 - 15.40.
Informationen zu den Vorlesungen und Übungen sind hier versteckt.
Diskrete Strukturen und Logik Übungen
Die von Ihnen erzielten Punkte aus den Übungsbättern können Sie hier entnehmen! (jetzt aktualisierte Version 8.3.06). Die verspätete Veröffentlichung bitte ich uns nachzusehen. Die Gesamtnote, Gesamtprozent, Abschlussklausurprozent und -punkte entnehmen Sie bitte hier . Fast alle 5er sind bedingt durch die Tatsache, dass etliche Kommilitonen gar nicht an der Abschlussklausur teilgenommen hatten, wie ersichtlich aus der Angabe, in welchem Raum die Klausur geschrieben wurde. Ich werde in einer der ersten beiden Wochen des Sommersemesters eine Klausureinsicht organisieren. Sie können sich die Scheine im Sekretariat von Frau Gindorf abholen (vormittags). (Da hier üblich, sind die Scheine doch unbenotet ausgestellt worden: auf Wunsch wird aber die Note eingetragen.)
Ein konkretes Beispiel für solch eine Arbeit wäre folgender Vorschlag für eine Studienarbeit
Vorschlag für eine Diplomarbeit aus dem Bereich Graphenzeichnen: Das Bicrossing-Problem
Vorschlag für eine Diplomarbeit aus dem Bereich Datenkompression: Lauflängenkodierung im Mehrdimensionalen
Umfangreichere Implementierungsarbeiten alleine können auch Diplomarbeiten ergeben: Ein Beispiel aus dem VLSI-Bereich. (abgeschlossene Arbeit)
Natürlich ist es auch immer möglich, mit eigenen Vorschlägen auf uns zuzukommen. Weitere Ankündigungen finden Sie auch auf den Seiten der Mitarbeiter oder als Papieraushang.
Es kann sich niemand für praktisch bewandert in einer Wissenschaft ausgeben und doch die Theorie verachten, ohne sich bloß zu geben, dass er in seinem Fach ein Ignorant sei.
(Immanuel Kant, Abhandlung über den Spruch: Das mag zwar in der Theorie richtig sein, taugt aber nicht für die Praxis)