Theoretische Informatik (Winter 2002/03)

Vorlesung 10603, Übung 10604 (Winter 2002/03)
Theoretische Informatik

[Aktuell] [Termine und Ort] [Übungsbetrieb] [Download] [Literatur]

Aktuell

Die Ausgabe der Scheine und Besprechung der Klausur war am Montag, 3. Februar, 10.00 Uhr im Turing-Hörsaal. Wer seinen Schein und die Klausur noch nicht abgeholt hat, möge das bitte umgehend nachholen und bei mir vorbeikommen.

Bitte beachten Sie auch die Ankündigungen des Lehrstuhls am schwarzen Brett (je ein solches befindet sich im Mathematikgebäude im Trakt des Lehrstuhls an der Wand neben Raum E12 sowie im Informatikgebäude im Foyer vor den oberen Eingängen zum Turing-Hörsaal).

Termine und Ort

Vorlesung:	Montag und Mittwoch 10.00-11.30 Uhr (Turing-Hörsaal) erste Veranstaltung: Montag, 14. Oktober, 10:00 Uhr
Übung:	Mittwoch 12:15-13:45, 14:00-15:30, 15:45-17:15 (ÜR I und ÜR II) in Gruppen
Klausur:	Mittwoch, 29. Januar 2003, 10.00-12.00 Uhr

Übungsbetrieb

Die Übung dient zur Ergänzung und Vertiefung der in der Vorlesung vermittelten Inhalte. Dazu werden einmal pro Woche Aufgaben gestellt, die in Kleingruppen schriftlich zu bearbeiten sind. Die Aufgaben werden korrigiert und bewertet und in den Übungsgruppen besprochen. Die regelmäßige Teilnahme wird anhand der Bewertung der Blätter festgestellt und ist Voraussetzung für die Zulassung zur Abschlussklausur am Ende des Semesters. Bei bestandener Abschlussklausur wird ein Übungsschein ausgestellt.

Die Anmeldung zu den Übungen ist abgeschlossen.
~~Die Gruppeneinteilung ist erfolgt: .ps .pdf~~
Nicht angemeldete Teilnehmer können keine Klausurzulassung erwerben. Nachmeldungen bitte direkt an mich richten.
Bis zu zwei Übungsteilnehmer dürfen gemeinsam ein Übungsblatt abgeben.
Für die Zulassung zur Klausur sind mindestens 40 Prozent der während des Semesters erreichbaren Punktesumme notwendig.

Bei organisatorischen Fragen zu den Übungen wenden Sie sich bitte per e-Mail oder persönlich an Hans-Christoph Wirth (Zimmer E14, Telefon 888-5058, Sprechstunde Mittwoch 11.45 bis 13.15 Uhr).

Download

Die in der Vorlesung ausgegebenen Übungsblätter werden gleichzeitig hier zum Download angeboten.
Abgabe der Übungsblätter jeweils bis Mittwoch 10:00 Uhr in den Briefkästen der Informatik (im Untergeschoß des Informatik-Neubaus vor der Türe zum ÜR I).

Übungsblatt Download
0. Blatt vom 21.10.02 Aufgaben .ps .pdf ~~Aufgaben mit Lösungen .ps .pdf~~
1. Blatt vom 23.10.02 Aufgaben .ps .pdf ~~Aufgaben mit Lösungen .ps .pdf~~
2. Blatt vom 30.10.02 Aufgaben .ps .pdf ~~Aufgaben mit Lösungen .ps .pdf~~
3. Blatt vom 06.11.02 Aufgaben .ps .pdf ~~Aufgaben mit Lösungen .ps .pdf~~
4. Blatt vom 13.11.02 Aufgaben .ps .pdf
~~Aufgaben mit Lösungen .ps .pdf~~
Just for fun: In der Woche vom 20.11.02 gibt es wegen des Feiertages »Buß- und Bettag« kein reguläres Übungsblatt. Wer sich nicht ausgelastet fühlen und Spaß daran haben sollte, möge sich an einigen etwas aufwändigeren Aufgaben versuchen: .ps .pdf. Diese Aufgaben werden nicht korrigiert und nicht bewertet und zählen insbesondere nicht als »Stoff der Übung« im Sinne des Klausurumfangs. Ich biete an, die von Ihnen gefundenen Lösungen am Mittwoch 27.11. um 15.45 Uhr im ÜR II zu diskutieren.
5. Blatt vom 27.11.02 Aufgaben .ps .pdf ~~Aufgaben mit Lösungen .ps .pdf~~
6. Blatt vom 04.12.02 Aufgaben .ps .pdf ~~Aufgaben mit Lösungen .ps .pdf~~
7. Blatt vom 11.12.02 Aufgaben .ps .pdf
~~Aufgaben mit Lösungen .ps .pdf~~
8. Blatt am 08.01.03 Aufgaben .ps .pdf ~~Aufgaben mit Lösungen .ps .pdf~~
9. Blatt am 15.01.03
(letztes Übungsblatt) Aufgaben .ps .pdf
~~Aufgaben mit Lösungen .ps .pdf~~

Übungsblatt	Download
0. Blatt vom 21.10.02	Aufgaben .ps .pdf	~~Aufgaben mit Lösungen .ps .pdf~~
1. Blatt vom 23.10.02	Aufgaben .ps .pdf	~~Aufgaben mit Lösungen .ps .pdf~~
2. Blatt vom 30.10.02	Aufgaben .ps .pdf	~~Aufgaben mit Lösungen .ps .pdf~~
3. Blatt vom 06.11.02	Aufgaben .ps .pdf	~~Aufgaben mit Lösungen .ps .pdf~~
4. Blatt vom 13.11.02	Aufgaben .ps .pdf	~~Aufgaben mit Lösungen .ps .pdf~~
Just for fun: In der Woche vom 20.11.02 gibt es wegen des Feiertages »Buß- und Bettag« kein reguläres Übungsblatt. Wer sich nicht ausgelastet fühlen und Spaß daran haben sollte, möge sich an einigen etwas aufwändigeren Aufgaben versuchen: .ps .pdf. Diese Aufgaben werden nicht korrigiert und nicht bewertet und zählen insbesondere nicht als »Stoff der Übung« im Sinne des Klausurumfangs. Ich biete an, die von Ihnen gefundenen Lösungen am Mittwoch 27.11. um 15.45 Uhr im ÜR II zu diskutieren.
5. Blatt vom 27.11.02	Aufgaben .ps .pdf	~~Aufgaben mit Lösungen .ps .pdf~~
6. Blatt vom 04.12.02	Aufgaben .ps .pdf	~~Aufgaben mit Lösungen .ps .pdf~~
7. Blatt vom 11.12.02	Aufgaben .ps .pdf	~~Aufgaben mit Lösungen .ps .pdf~~
8. Blatt am 08.01.03	Aufgaben .ps .pdf	~~Aufgaben mit Lösungen .ps .pdf~~
9. Blatt am 15.01.03 (letztes Übungsblatt)	Aufgaben .ps .pdf	~~Aufgaben mit Lösungen .ps .pdf~~

Literatur

Hartmut Noltemeier · Informatik I, Einführung in Algorithmen und Berechenbarkeit · Carl Hanser Verlag
Uwe Schöning · Theoretische Informatik kurzgefasst · Spektrum Akademischer Verlag

Ein offizielles Skript zur Vorlesung existiert derzeit nicht.

Zum Test von URM-Programmen gibt es meinen URM-Simulator wurm-1.2.6b zum Download als Sourcecode (getestet unter Linux mit gcc, flex und bison). Außerdem gibt es mein Perl-Skript markov-1.0 zum Test von Markov-Algorithmen.

Weitere Informationen über den Stoff der Vorlesung hinaus:

Die Demonstration des Game of Life in der Vorlesung am 6.11. wurde mit dem Java-Applet von Alan Hensel durchgeführt. Weitere Informationen zu diesem zellularen Automaten gibt es zum Beispiel bei math.com oder im Google-Directory.

Verantwortlich für diese WWW-Seite:

Hans-Christoph Wirth (e-Mail: wirth@informatik.uni-wuerzburg.de)

Letzte Änderung: 09.10.2003. Bei Problemen: webmaster@optix.informatik.uni-wuerzburg.de

Vorlesung 10603, Übung 10604 (Winter 2002/03) Theoretische Informatik