2009

Mögliche Abschlussarbeit

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

Skript "Formale Sprachen und Automatentheorie"

Eine neue Version des Skripts ist online.

BOINC

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.

Übungsblatt "Formale Sprachen und Automatentheorie"

Das neue Übungsblatt ist online.

Übungsblatt "Logik, Berechenbarkeit und Komplexität"

Das neue Übungsblatt als besonderes Weihnachtsgeschenk ist online.

Neue fileutils

Hier gibts die Manpage zu einem neuen rm-Befehl.

Lehrbuch zum Thema "Theoretische Informatik"

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.

Übungsblatt "Formale Sprachen"

Das neue Übungsblatt ist online.

Übungsblatt "Logik, Berechenbarkeit und Komplexität"

Das neue Übungsblatt ist online.

Übungsblatt "Formale Sprachen und Automatentheorie"

Das neue Übungsblatt ist online.

Übungsblatt "Logik, Berechenbarkeit und Komplexität"

Das neue Übungsblatt ist online.

Übungsblatt "Formale Sprachen und Automatentheorie"

Nun ist das richtige Übungsblatt online!

JFLAP

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

Skript "Formale Sprachen und Automatentheorie"

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

Übungsblatt "Formale Sprachen und Automatentheorie"

Das neue Übungsblatt ist online.

Skript "Logik, Berechenbarkeit und Komplexität"

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

Übungsblatt "Logik, Berechenbarkeit und Komplexität"

Das neue Übungsblatt ist online.

Übungsblatt "Formale Sprachen und Automatentheorie"

Das neue Übungsblatt ist online.

Übungsblatt "Logik, Berechenbarkeit und Komplexität"

Das neue Übungsblatt ist online.

Neue Einsichten

Nun sehe ich Vorlesungen in einem ganz neuen Licht.

Übungsblatt "Logik, Berechenbarkeit und Komplexität"

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

Skript "Formale Sprachen und Automatentheorie"

Eine erste Version des Skripts ist online.

Übungsblatt "Logik, Berechenbarkeit und Komplexität"

Das neue Übungsblatt ist online.

Übungsblatt "Formale Sprachen und Automatentheorie"

Das neue Übungsblatt ist online.

Powerpoint

Einige Erfahrungen mit Powerpoint in der Lehre:

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

Übungsblatt "Formale Sprachen und Automatentheorie"

Das neue Übungsblatt ist online.

Übungsblatt "Logik, Berechenbarkeit und Komplexität"

Das neue Übungsblatt ist online.

Übungsbatt "Formale Sprachen und Automatentheorie"

Das neue Übungsblatt ist online.

Übungsblatt "Logik, Berechenbarkeit und Komplexität"

Das neue Übungsblatt ist online.

L-Systeme

Einige neue Beispiel finde Sie auf der Homepage der Vorlesung.

Übungsblatt "Formale Sprachen und Automatentheorie"

Das neue Übungsblatt ist online.

Übungsblatt "Logik, Berechenbarkeit und Komplexität"

Das neue Übungsblatt ist online.

Neue Mersenneprimzahl gefunden

Das GIMPS-Projekt hat eine neue Mersenneprimzahl gefunden:

243,112,609-1 ist prim

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

Übungsblatt "Formale Sprachen und Automatentheorie"

Das neue Übungsblatt ist online.

Übungsblatt "Logik, Berechenbarkeit und Komplexität"

Das neue Übungsblatt ist online.

TSP

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

Rechnen mit Bakterien

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

Vorträge zum Fachseminar

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.

Sommerschule

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

ECC und Playstations

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.

Skript "Security AI"

Das finale Skript ist online.

Skript "Grundlagen der Mathematik"

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

Skript "Diskrete Mathematik"

Das neue Skript ist online.

Fragestunde "Security AI"

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

Skript "Security AI"

Das neue Skript ist online.

Powerpoint & Folienpräsentationen

Interessante Einblicke über den Lernerfolg mit Folien.

Übungsblatt "Diskrete Mathematik"

Das neue Übungsblatt ist online.

Übungsblatt "Security AI"

Das neue Übungsblatt ist online.

Ein neuer Angriff auf SHA-1

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.

Termin der "Fragestunde für Diskrete Mathematik"

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

Fragestunde "Diskrete Mathematik"

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

Fragestunde "Security AI"

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

Übungsblatt "Security AI"

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

Übungsblatt "Diskrete Mathematik"

Das neue Übungsblatt ist online.

Termine für das Bachelorseminar

Termine für das Bachelorseminar geändert.

Übungsblatt "Security AI"

Das neue Übungsblatt ist online.

Das Pascalsche Dreieck

Eine Sammlung einiger Zusammenhänge im Pascalschen Dreieck.

Turing-Machinen in der realen Welt

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

Bachelor-Seminar

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

Skript "Security AI"

Das neue Skript ist online.

Übungsblatt "Diskrete Mathematik"

Das neue Übungsblatt ist online.

Übungsblatt "Security AI"

Das neue Übungsblatt ist online.

Übungsblatt "Diskrete Mathematik"

Das neue Übungsblatt ist online.

Nachholveranstaltung "Diskrete Mathematik"

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

Übungsblatt "Security AI"

Das neue Übungsblatt ist online.

Skript "Diskrete Mathematik"

Das Skript ist online.

Skript "Security AI"

Eine neuere Version ist online.

Übungsblatt "Diskrete Mathematik"

Das neue Übungsblatt ist online.

Übungsblatt "Security AI"

Das neue Übungsblatt ist online.

Übungsblatt "Security AI"

Das neue Übungsblatt ist online.

Übungsblatt "Security AI"

Das neue Übungsblatt ist online.

Übungsblatt "Diskrete Mathematik"

Das neue Übungsblatt ist online.

Wie man Abschlußarbeiten nicht schreibt

Siehe aktuelle Ausgabe von PhD-Comics.

Ausfall Vorlesung

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.

Übungsblatt "Diskrete Mathematik"

Das 4. Übungsblatt ist online.

Übungsblatt "Security AI"

Das 4. Übungsblatt ist online.

Skript "Mathematische Grundlagen"

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

Übungsblatt "Diskrete Mathematik"

Das 3. Übungsblatt ist online.

Übungsblatt "Security AI"

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

Skript "Security AI"

Das aktuelle Skript ist online.

Übungsblatt "Security AI"

Das 2. Übungsblatt ist online.

Übungsblatt "Diskrete Mathematik"

Das 2. Übungsblatt ist online.

Ada Lovelace Day

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

Übungsblätter Security und Diskrete Mathematik

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

Übungsblatt "Security AI"

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

Übungsblatt "Diskrete Mathematik"

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

Überschneidungen

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.

Selbstreproduzierende Programme

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.