Theoretische Informatik 1, SS10

Inhalt der Vorlesung

Die Vorlesung wird auf deutsch gehalten. Auf Wunsch kann die Prüfung in englisch (mündlich) abgelegt werden.

This course is held in german. It is, however, possible to take an (oral) exam in english on request.

Wichtige Neuigkeiten werden normalerweise in der Newsgroup tu-graz.lv.ti1 bekannt gegeben.

Datum	Neuigkeit
10.3.2011	Die Homepage geht online.

Diese Lehrveranstaltung wird vom Institut für Grundlagen der Informationsverarbeitung, Inffeldgasse 16b/1. Stock, A-8010 Graz abgehalten.

DI Bernhard Nessler
Sprechstunde: nach Vereinbarung, Zimmer IC01070.
email: nessler@igi.tu-graz.ac.at, Tel.: 873 5823, Homepage: www.igi.tu-graz.ac.at/nessler

Daniela Potzinger
Öffnungszeiten: Mo - Fr, 10:00- 12:00 Uhr, email: daniela@igi.tu-graz.ac.at, Tel.: 873 5811, Homepage: www.tu-graz.ac.at/igi

Falls Sie Fragen oder Probleme haben, scheuen Sie sich nicht, oben genannte Personen zu kontaktieren.

Vorlesungszeiten: Freitag, 11:15-12:45
Übungszeiten: Freitag, 13:15-14:00

Ort: HS i12

Bitte beachten Sie, daß jedes Buch nur einen Teil des Stoffgebietes abdeckt und daß manche Definition von der in der Vorlesung etwas abweichen kann.

U. Schöning, Theoretische Informatik kurz gefasst. BI-Wissenschaftsverlag, 1992.
Guter und tatsächlich sehr kurz gefasster Überblick über Formale Sprachen, Berechenbarkeit und Komplexität
M. Sipser, Introduction to the Theory of Computation. PWS Publishing, Boston, 1997.
Sehr schönes Buch, auch auf deutsch erhältlich. Turingmaschinen, Komplexitätstheorie, Approximationsalgorithmen, Probabilistische Algorithmen. Gute Wiederholung von formalen Beweismethoden.
Ch. H. Papadimitriou, Computational Complexity. Addison-Wesley Publishing Company 1994.
Sehr verständliches Buch, Turingmaschinen, Registermaschinen, Komplexitätstheorie, Approximationsalgorithmen, Probabilistische Algorithmen, sehr verständliche Klassendiagramme.
A. Asteroth, Ch. Baier, Theoretische Informatik. Pearson Studium, München 2003.
Verständliche Einführung in die Registermaschinen, Turingmaschinen und Komplexitätstheorie; formal teilweise nicht ganz vollständig.
K.R. Reischuk, Komplexitätstheorie. Band I: Grundlagen. Teubner, Stuttgart,Leipzig 1999.
Sehr gutes und theoretisch sehr sauber ausgearbeitetes Buch: Ausführliche Untersuchung von verschiedenen Maschinen- und Speichermodellen, Hierarchie-Sätze, Zeit-Platzkomplexität, Komplexitäsklassen
T.M. Mitchell, Machine Learning. McGraw-Hill 1997. NEU: 2.Auflage 2005.
Ausgezeichnete Einführung in das weite Gebiet des Maschinellen Lernens, inklusive Theorie des Maschinellen Lernens und PAC.

Dokumentation und Download von http://www.jflap.com/.