Dies ist vielleicht eine unübliche aber sicherlich spannende Abschlussarbeit. Bei Fragen reicht eine kurze EMail an Steffen Reith.

Eine neue Version des Skripts ist online.

Verteiltes Rechnen mit BOINC könnte eine kurzweilige Art sein, in das Thema Cloud Computing einzusteigen. Nicht nur Seti@Home, sondern auch eine Vielzahl von anderen Projekten verwendet diese API, was zeigt, dass eine Einarbeitung nicht zu viel Arbeit bedeuten sollte.

Das neue Übungsblatt ist online.

Das neue Übungsblatt als besonderes Weihnachtsgeschenk ist online.

Hier gibts die Manpage zu einem neuen rm-Befehl.

In der Bibliothek sollten nun viele Exemplare von

• Michael Sipser, Introduction to the Theory of Computation, Thompson, 2006

zur Verfügung stehen. Eine ideale Weihnachtsbeschäftigung um der großen Langeweile zu entkommen.

Das neue Übungsblatt ist online.

Das neue Übungsblatt ist online.

Das neue Übungsblatt ist online.

Das neue Übungsblatt ist online.

Nun ist das richtige Übungsblatt online!

Ein sehr schönes Tool zum Arbeiten mit endlichen Automaten und Grammatiken ist JFLAP. Hier ein paar Bilder.

Eine neue Version ist online. Bitte berichten Sie alle Fehler die Sie beim Durcharbeiten finden.

Das neue Übungsblatt ist online.

Eine leicht verbesserte Version ist online. Bitte arbeiten Sie besonders das Kapitel "Folgern und Schliessen" durch um evtl. Fehler zu finden.

Das neue Übungsblatt ist online.

Das neue Übungsblatt ist online.

Das neue Übungsblatt ist online.

Nun sehe ich Vorlesungen in einem ganz neuen Licht.

Es wurde das falsche Übungsblatt hochgeladen. Nun ist das richtige online.

Eine erste Version des Skripts ist online.

Das neue Übungsblatt ist online.

Das neue Übungsblatt ist online.

Einige Erfahrungen mit Powerpoint in der Lehre:

Carolyn Blogs
Why do people make bad slides?
Visual attention: a psychologist's perspective

Das neue Übungsblatt ist online.

Das neue Übungsblatt ist online.

Das neue Übungsblatt ist online.

Das neue Übungsblatt ist online.

Einige neue Beispiel finde Sie auf der Homepage der Vorlesung.

Das neue Übungsblatt ist online.

Das neue Übungsblatt ist online.

Das GIMPS-Projekt hat eine neue Mersenneprimzahl gefunden:

2^43,112,609-1 ist prim

Näheres findet sich auch der Seite des GIMPS-Projekt.

Das neue Übungsblatt ist online.

Das neue Übungsblatt ist online.

Das TSP scheint auch für Comiczeichner wichtig zu sein.

Man kann auch mit Bakterien rechnen. Da stellt sich gleich die Frage, ob man auch mit Studenten rechnen kann.

Der Zeitplan für die Vorträge ist nun online. Sollten Sie für Ihren Vortrag Folien verwenden, so finden Sie eine LaTeX-Beispiel auf der
Seite der Vorlesung. Bitte beachten Sie auch den Spiegel-Artikel bei der Erstellung Ihrer Folien und finden Sie eine Balance zwischen
„alles und nichts“ für Ihren Vortrag.

Im Sommer gibt es mal richtige Mathematik. Die Teilnahme ist meines Wissens kostenlos.

Mit Hilfe von vielen Playstations wurde eine Instanz des diskreten Logarithmusproblems für Elliptische Kurven
gelöst. Dazu wurde etwa eine Rechenzeit von 6 Monaten benötigt. Anscheinend ist das so interessant, dass sogar die
c’t davon berichtet.

Das finale Skript ist online.

Das Skript der mathematischen Grundlagen wurde verbessert und einige Tippfehler entfernt.

Das neue Skript ist online.

Die Fragestunde zur Klausur findet wie besprochen am Mittwoch, 24. Juni 2009 um 9:30 im Raum C104 statt.

Das neue Skript ist online.

Interessante Einblicke über den Lernerfolg mit Folien.

Das neue Übungsblatt ist online.

Das neue Übungsblatt ist online.

Ein verbesserter Angriff auf die Hashfunktion SHA-1. Sogar die c’t berichtet von diesem verbesserten Angriff, der nun evtl. sogar praktische Angriffe ermöglicht.

Wie besprochen findet die Fragestunde am 24.6.2009 um 17:00 im Raum C104 und ersetzt die eigentlich stattfindende Übung.

Bitte machen Sie sich Gedanken bzgl. eines Termins für die Fragestunde.

Bitte machen Sie sich Gedanken über einen Termin für die Fragestunde.

Ein Tippfehler in Aufgabe 1 des 10. Übungsblatts wurde verbessert.

Das neue Übungsblatt ist online.

Termine für das Bachelorseminar geändert.

Das neue Übungsblatt ist online.

Eine Sammlung einiger Zusammenhänge im Pascalschen Dreieck.

Da soll mal einer sagen, dass es keine Turing-Maschinen gibt.

Auf der Seite zur Vorlesung ist eine Demo für die Erstellung von Folien mit der Hilfe von LaTeX online.

Das neue Skript ist online.

Das neue Übungsblatt ist online.

Das neue Übungsblatt ist online.

Das neue Übungsblatt ist online.

Die besprochene Nachholveranstaltung findet am Mittwoch den 20. Mai 2009 um 13:30 im Raum C104 statt

Das neue Übungsblatt ist online.

Das Skript ist online.

Eine neuere Version ist online.

Das neue Übungsblatt ist online.

Das neue Übungsblatt ist online.

Das neue Übungsblatt ist online.

Das neue Übungsblatt ist online.

Das neue Übungsblatt ist online.

Siehe aktuelle Ausgabe von PhD-Comics.

Aufgrund von Krankheit müssen die Vorlesungen Security AI und Diskrete Mathematik einschliesslich Übungen am 15. April 2009 ausfallen. Ersatztermine werden mit den Hörern abgestimmt. Auch das Fachseminar ist betroffen. Die entsprechenden Termine werden um genau eine Woche nach hinten geschoben.

Das 4. Übungsblatt ist online.

Das 4. Übungsblatt ist online.

Ein neues Skript ist online. Es wurde ein Abschnitt über Ringschlüsse eingebaut.

Das 3. Übungsblatt ist online.

Das neue Übungsblatt ist online. Auch diesmal gibt es was zu programmieren.

Das aktuelle Skript ist online.

Das 2. Übungsblatt ist online.

Das 2. Übungsblatt ist online.

Am 24. März war Ada Lovelace Day. Dies ist bemerkenswert, da Ada Lovelace als erster Mensch gilt, der
Programme entwickelt hat.

ACHTUNG: Das Besprechungdatum auf den Übungsblättern war falsch! Richtig ist natürlich der 25. März 2009

Das 1. Übungsblatt ist auf der Seite der Vorlesung online.

Das 1. Übungsblatt ist auf der Seite zur Vorlesung online.

Ich wurde darauf aufmerksam gemacht, dass es evtl. zeitliche Überschneidungen mit der Vertiefung „webbasierte Anwendungen“ von Frau Behrens gibt. Nun die Frage: Wieviele Studenten betrifft das? Ich bitte um schnelle Rückmeldung via EMail.

Ein Quine (benannt nach Willard van Orman Quine) ist ein Programm, dass sich selbst ausgibt, ohne etwas aus der Eingabe zu lesen. Man kann zeigen, dass in jeder Turing-vollständigen Programmiersprache Quines existieren müssen. Einige schöne Beispiele finden sich auf der Quine-Page von Gary P. Thompson II.