Das neue Skript ist online. Es wurden ein Vielzahl von Tippfehlern und Unklarheiten entfernt. Ich würde mich über Verbesserungsvorschläge, Anregungen und die Meldung von Fehlern sehr freuen!

Das neue Übungsblatt ist online.

Das neue Übungsblatt ist online.

Das neue Übungsblatt ist online.

Das 10. Übungsblatt ist online.

Die Begriffe "Wald" und "Baum" wurden durch ein Bild veranschaulicht.

Das 10. Übungsblatt ist online.

Das 8. Übungsblatt ist online.

Eine Tippfehler im Grundlagenskript verbessert.

Eine neue Version des Grundlagenskripts ist online. Es findet sich nun auch ein kurzer Abschnitt in dem der Existenz- und Allquantor genauer erklärt wird.

Das 9. Übungsblatt ist online.

Das 9. Übungsblatt ist online.

Das 7. Übungsblatt ist online.

Das 8. Übungsblatt ist online.

Das 8. Übungsblatt ist online.

Das 6. Übungsblatt ist online.

Es wurden Tippfehler in Aufgabe 3 verbessert. Nun sollte diese Aufgabe leicht lösbar sein.

Das 7. Übungsblatt ist online.

Das 7. Übungsblatt ist online.

Das 5. Übungsblatt ist online.

Das 6. Übungsblatt ist online.

Das 6. Übungsblatt ist online.

Das 4. Übungsblatt ist online.

Die NIST hat einen Wettbewerb bezüglich einer neuen Hashfunktion ausgeschrieben.

Das 5. Übungsblatt ist online.

Das 5. Übungsblatt ist online.

Das 4. Übungsblatt ist online.

Das 4. Übungsblatt ist online.

Das 3. Übungsblatt ist online.

Im Moment sieht es so aus, dass der angekündigte Beweis einen Fehler enthält, der nicht repariert werden kann. D.h. der Preis bleibt weiter ausgesetzt.

Das neue Übungsblatt ist online.

Eine Turingmaschine heißt universell, wenn sie jede andere Turingmaschine simulieren kann, die ihr als Eingabe übergeben wurde. D.h. eine solche Turingmaschine ist ein Interpreter für andere solche Maschinen.

Nun wurde eine neue sehr kleine universelle Turingmaschine gefunden, für die vor fünf Monaten ein Preis ausgelobt wurde.

Genaueres unter http://www.wolframscience.com/prizes/tm23/solution_news.html.

Das neue Übungsblatt ist online.

Das neue Übungsblatt ist online.

Das 1. Übungsblatt zu "Logik, Berechenbarkeit und Komplexität" ist online.

Das 2. Übungsblatt zur Vorlesung "Kryptographische Algorithmen" ist online

Das 2. Übungsblatt zur Vorlesung "Formale Sprachen und Automatentheorie" ist online.

Der subversion Server für die Vorlesung "Kryptographische Algorithmen" ist online. Genaueres gibt es auf der Projektseite.

Einige Folien zur Einführungsveranstaltung sind online

Ein neues Skript ist online. Es wurden Verbesserungsvorschläge von Hörern eingearbeitet.

Anreise:
http://www.mi.fh-wiesbaden.de/~weitz/anreise/

(Hinweis: Dort ist der Weg zu "unserem" Gebäude D farbig gekennzeichnet. Das ist am Klausurtag nicht Ihr primäres Ziel.)

Betreten Sie das Gebäude B1 durch den auf dem Lageplan mit "Medienwirtschaft" bezeichneten Eingang ("links unten"). Sie
gelangen dort in ein Treppenhaus. Gehen Sie ins 2. Obergeschoss. Hinter der Etagentür finden Sie gleich auf der rechten Seite die beiden Hörsäle.

Eine Einteilung, wer in welchem Raum schreibt, hängt dort aus.

Bitte geben Sie diese Einleuchtungen an Kommilitoninnen und Kommilitonen weiter, die sich nachlässigerweise nicht wie Sie auf unserem Verteiler angemeldet haben.

Der Raum für die Klausur wird noch über die Medieninformatik-Mailingliste bekannt gegeben.

Siehe Vorlesungsseite

Kleine Verbesserungen von Tippfehlern im Abschnitt "Binäre Suche". Hier wurden "links/rechts" und "min/max" vermischt.

Die Termine für die schon angekündigten Fragestunden liegen nun fest:

Medieninformatik: 21.9. 11:00 im grossen Hörsaal
Allgemeine Informatik: 21.9. 14:30 im Hörsaal 101

Weitere Informationen finden sich auf der Seite der Vorlesung.

Es wurden neue Seiten für die Vorlesungen "Logik, Berechenbarkeit und Komplexität" und "Kryptographische Algorithmen" angelegt.

Das neues Skript ist auf der Seite der Vorlesung online

Das neues Skript ist auf der Seite der Vorlesung online

Das neues Skript ist auf der Seite der Vorlesung online

Ab sofort besteht die Möglichkeit einer zusätzlichen Online-Sprechstunde via IM (Jabber). Meine Adresse lautet streit@jabber.org. Die Sprechzeiten liegen nicht fest, sondern orientieren sich an meinen Rechnerarbeitszeiten.