Harald Burgsteiner: TI I, KU

Theoretische Informatik I, SS2000
( )

Endergebnis - Noten

Auf dieser Seite finden Sie aktuelle Hinweise zu den Übungen. Diese Seite wird im Laufe des Semesters immer am neuesten Stand gehalten. Es lohnt sich also, nachzusehen ob es etwas Neues gibt.

Beratung Benotung Richtlinien Übungsblätter Tests Termine Literatur Übungsstunden Links Weitere Vorlesungen Forschung

Beratung

Prof. Maass: Sprechstunde im Anschluß an die Vorlesung und nach Vereinbarung, maass@igi.tu-graz.ac.at

Dipl.-Ing. Burgsteiner: Sprechstunde: Di 10:00-12:00 Uhr, harry@igi.tu-graz.ac.at, Tel.: 873.5824

Tutoren: (Sprechstunden: Montag, ab 27.3.2000, 12-13 Uhr, Seminarraum Klosterwiesgasse 32/II, rechte Tür)

Unter der e-mail adresse ti1-tutoren@igi.tu-graz.ac.at erreichen Sie gleichzeitig alle Tutoren. Einzeln sind sie erreichbar unter (in alphabetischer Reihenfolge):

Michael Dauer, mdauer@sbox.tu-graz.ac.at
Wolfgang Dautermann, dauti@oeh.tu-graz.ac.at
Arnulf Heller, aheller@igi.tu-graz.ac.at
Thomas Jaksch, tjaksch@igi.tu-graz.ac.at
Michael Pfeiffer, mitchp@sbox.tu-graz.ac.at

Sekretariat: Ingrid Preininger, iprein@igi.tu-graz.ac.at, Tel.: 873.5811

Newsgroup: Es gibt auch eine Newsgroup zu dieser Lehrveranstaltung. Diese Newsgroup wird in regelmäßigen Abständen von Prof. Maass und DI Burgsteiner gelesen und ist daher ein guter Platz um Fragen zu deponieren.

Zur Benotung in `Theoretischer Informatik I'

Die Note für die Übungen von Theoretischer Informatik I errechnet sich aus Punkten für die Lösungen zu den 4 Übungsblättern (66%) und aus den Punkten für die beiden Tests (34%). Es werden einige zusätzliche Punkte für aktive Mitarbeit in Vorlesung und Übungsstunden. vergeben. Für die Vorlesung wird ohne weitere Prüfung dieselbe Note wie für die Übung vergeben.

Bitte beachten Sie, daß das Gesetz keine Wiederholungsprüfung für die Übungen vorsieht und diese auch nicht angeboten werden können.

Richtlinien zur Abgabe von Lösungen für Übungsblätter in `Theoretische Informatik I'

Bitte schreiben Sie Ihre Lösungen übersichtlich gegliedert und gut lesbar auf. Schlecht verständliche oder unleserliche Lösungen müssen leider als falsch bewertet werden.
Zu spät abgegebene Lösungen können nicht gewertet werden.
Sie dürfen Teams bilden von bis zu 3 Studierenden, die gemeinsam die Ideen zur Lösung erarbeiten. Hierfür gelten die folgenden Regeln:

Sie müssen zu Beginn Ihrer Lösungen stets die Namen der anderen Mitarbeiter Ihres Teams aufführen.
Jedes Teammitglied muß die Lösungen in eigenen Worten formulieren und ein separates Lösungsblatt abgeben.

Falls Lösungen abgegeben werden bei denen offensichtlich abgeschrieben wurde, so werden alle beteiligten Lösungsblätter wie folgt bewertet (dies gilt auch für die Mitglieder eines ``Teams''): Für das betreffende Übungsblatt werden bei allen beteiligten Studenten keine Punkte vergeben, gleichgültig wer von wem abgeschrieben hat.
Lösungen von * - Aufgaben sind freiwillig. Diese Lösungen werden getrennt durchgesehen und unter Umständen später zurückgegeben.
Bitte heften Sie die Lösungen zu jeder Aufgabe separat zusammen und versehen Sie diese mit Ihrem Namen und den Namen der anderen Teammitglieder (weil die einzelnen Aufgaben von verschiedenen Tutoren korrigiert werden).

Übungsblätter

Ein dringender Hinweis: Beginnen sie gleich nach dem Erhalt mit dem Bearbeiten der Übungsprobleme. Nur dann können Sie die Beratungsmöglichkeiten sinnvoll nutzen, falls Sie Schwierigkeiten beim Lösen der Probleme haben.

Es wird 4 Übungsblätter geben. Die Beispiele werden wieder von den Tutoren korrigiert. Richten Sie daher Anfragen bezüglicher der Punktevergabe in erster Linie an sie. Bitte beachten Sie auch, daß nachfolgende Termine vorläufig sind und sich evtl. noch ändern können!

Zu Ergebnissen: Ergebnislisten stellen eine vorlaeufige Version dar, in denen Fehler enthalten sein koennen. Vergleichen Sie deshalb die Punkte am Uebungszettel mit denen in der Tabelle! "AG" bedeutet abgeschrieben und das gesamte Uebungsblatt wird mit 0 Punkten bewertet.

1. Übungsblatt: Angabeblatt zipped, gzipped; Musterlösungen zipped, gzipped.

Ergebnis des 1. Uebungsblattes

2. Übungsblatt (Ausgabe am 5.4.00, Abgabe am 18.5.00): Angabeblatt zipped, gzipped; Musterlösungen zipped, gzipped, Programmierter Roboter des 5. Beispiels

Ergebnis des 2. Uebungsblattes

3. Übungsblatt (Ausgabe am 10.5.00, Abgabe am 8.6.00): Angabeblatt zipped, gzipped; Musterlösungen zipped, gzipped.

Ergebnis des 3. Uebungsblattes

4. Übungsblatt (Ausgabe am 31.5.00, Abgabe am 21.6.00): Angabeblatt zipped, gzipped; Musterlösungen zipped, gzipped.

Ergebnis des 4. Uebungsblattes

Alte Übungsblätter vom SS99 und deren Lösungen:

1. Übungsblatt: Angabeblatt zipped, gzipped; Musterlösungen zipped, gzipped.
2. Übungsblatt: Angabeblatt zipped, gzipped; Musterlösungen zipped, gzipped.
3. Übungsblatt: Angabeblatt zipped, gzipped); Musterlösungen zipped, gzipped.
4. Übungsblatt: Angabeblatt zipped, gzipped); Musterlösungen zipped, gzipped.

Tests

Es wird 2 Tests geben:

1. Test am 25.5.2000, 8¹⁵, HS G: Angabeblatt zipped, gzipped; Musterlösung (nur Gruppe A) zipped, gzipped.

Ergebnis des 1. Tests

2. Test am 21.6.2000, 18¹⁵, HS P1: Angabeblatt zipped, gzipped; Musterlösung (nur Gruppe A) zipped, gzipped.

Ergebnis des 2. Tests

Alte Tests vom SS99 und SS98 und deren Lösungen:

1. Test vom 27.5.1999: Angabeblatt (nur Gruppe A) zipped, gzipped; Musterlösung (nur Gruppe A) zipped, gzipped.
2. Test vom 8.6.1998: Angabeblatt und Musterlösung (nur Gruppe A) zipped, gzipped.
2. Test vom 1.7.1999: Angabeblatt (nur Gruppe A) zipped, gzipped; Musterlösung (nur Gruppe A) als JPG.

Termine

Hier werden für VO und KU relevante Termine bekanntgegeben.

Anmeldung

...

Literatur

Ergänzungen zur Theoretischen Informatik I: Dieses "Scriptum" ist als Postscript-File (komprimiert mit gzip: TI1-Ergänzungen.ps.gz, komprimiert mit pkzip: TI1-Ergänzungen.zip) sowie als Hardcopy im Sekretariat am Institut für Grundlagen der Informationsverarbeitung, Klosterwiesgasse 32/II erhältlich. Zusätzlich liegt eine ungeheftete Masterkopie zum Kopieren bei der Basisgruppe Telematik (ebenfalls Klosterwiesgasse 32/II; Sprechstunden siehe Aushang der Basisgruppe) auf.

Vorlesung und Übung lehnen sich an folgendes Buch an:

Michael Sipser, Introduction to the Theory of Computation, PWS Publishing Company, Boston, 1997. Wir empfehlen dringend, daß sich jeder Studierende dieses Buch besorgt! Das Buch ist sowohl in der Lehrbuchsammlung als auch in der MEX-Technikbuchhandlung erhältlich. Es gibt auch eine Homepage, sowie diverse Errata zum diesem Buch

Vielleicht ist es für Sie von Nutzen, den Stoff der Vorlesung zusätzlich in einem anderen Buch nachzulesen. Dafür kommen in Frage:

Schöning, Theoretische Informatik kurz gefaßt. (30 Exemplare in der Lehrbuchsammlung)
Lewis/Papadimitriou, Elements of the Theory of Computation. (30 Exemplare in der Lehrbuchsammlung)
Hopcroft/Ullmann, Einführung in die Automatentheorie.
Schöning, Logik für Informatiker, Wissenschaftsverlag, Mannheim/Wien/Zürich, 1992.

Übungsstunden

Aus derzeitiger Sicht gibt es in diesem Semester folgende Stunden:

Die 1. Übungsstunde findet Do, 23.3.2000 um 9¹⁵ Uhr im Hörsaal G statt.
Die 2. Übungsstunde findet Do, 30.3.2000 um 9¹⁵ Uhr im Hörsaal G statt.
Die 3. Übungsstunde findet Do, 6.4.2000 um 9¹⁵ Uhr im Hörsaal G statt.
Die 4. Übungsstunde findet Do, 13.4.2000 um 9¹⁵ Uhr im Hörsaal G statt.
Die 5. Übungsstunde findet Do, 11.5.2000 um 9¹⁵ Uhr im Hörsaal G statt.
Die 6. Übungsstunde findet Do, 18.5.2000 um 9¹⁵ Uhr im Hörsaal G statt.
Die 7. Übungsstunde findet Do, 8.6.2000 um 9¹⁵ Uhr im Hörsaal G statt.
Die 8. Übungsstunde findet Do, 15.6.2000 von 8¹⁵ bis 9⁴⁵ Uhr im Hörsaal G statt.

In der VO oder UE verwendete Folien

Syntax der Prädikatenlogik: Aufgabe und Lösung
Struktur in der Prädikatenlogik
Umformen in Pränexform
Definition des Hamilton-Kreis Problems
Definition des Traveling Salesman Problem

Diverse Links

Beispiel fuer einen NEA

Das Kartenspiel Patience als Beispiel fuer einen NEA.

Game of Life

Game of Life Java-Online-Demo
Game of Life (kann mit Netscape benutzt werden)
GetALife (komfortablere Win95-Version mit zahlreichen Beispielen zum Laden)
JFLAP Java-Online-Demo
JFLAP Version 1.0 (kann mit Netscape benutzt werden)
JFLAP Version 2.0 (benötigt Java 1.1, J.D.K. 1.1.4)
die originale Homepage von JFLAP

Neuronale Netzwerke

Klicken Sie hier, um zu Links zu kommen, die auf Pages verweisen die sich mit Neuronalen Netzwerken befassen.

Robotik

Im WS98 fand an unserem Institut ein Robotikseminar statt. In den Unterlagen darin können Sie Beispiele zu DEAs finden.

Weiterführende Lehrveranstaltungen im Rahmen des Studienclusters "Maschinelle Intelligenz"

Theoretische Informatik II
Maschinelles Lernen A (WS99): In dieser Vorlesung wurde ein Ansatz für Lernen besprochen den man "Reinforcement Learning" nennt. Dieser Ansatz ist auch einer der vielversprechendsten für den Bereich von autonomen Robotern. Im Seminar B (WS98) und Seminar D (SS99) unseres Instituts wurden bereits solche Lernversuche auf dem Miniaturroboter Khepera durchgeführt.
Maschinelles Lernen B (SS00): In dieser Vorlesung werden Klassifikationsalgorithmen besprochen, wie sie z. B. eingesetzt werden um handgeschriebene Ziffern zu erkennen. In der Übung dazu werden Sie selbständig Computerexperimente mit den besprochenen Algorithmen durchführen.
Neuronale Netzwerke A (WS00)
Neuronale Netzwerke B (SS01)
Einführung in die Künstliche Intelligenz (WS00)

Forschungsarbeit am Institut für Grudlagen der Informationsverarbeitung

Rechnen in biologischen neuronalen Systemen: Die folgenden zwei Artikel geben einen Einblick in dieses Forschungsgebiet: Das Menschliche Gehirn - nur ein Rechner und Netzwerke von ,,spiking`` Neuronen: Die dritte Generation von Modellen für Neuronale Netzwerke. Weiters siehe die Publikationen von Prof. W. Maass, Dr. T. Natschläger, Dr. B. Ruf und Dr. M. Schmitt
Maschinelles Lernen: Dr. Peter Auer, Prof. W. Maass (einführender Artikel: "Lernende Maschinen")
Mobile Roboter, Reinforcement Learning: DI H. Burgsteiner
Rechnerische Geometrie: Prof. F. Aurenhammer, Dr. O. Aichholzer