2008
Fachseminar
16/12/08 13:32 Filed in: News
Im Sommersemester 2009 wird auf Wunsch der Studenten ein Bachelor Fachseminar (Nr. 3170) von mir angeboten werden. Die Themen werden aus dem Bereich „Algorithmik und deren Grenzen“ vergeben. Eine Vorbesprechung, bei der über mögliche Themen und Inhalte gesprochen werden kann, wird am Freitag, 9. Januar 2009 um 11:00-12:00 stattfinden. Treffpunkt ist mein Büro im Raum C304 (Gebäude C). Sollten Sie Interesse haben, dann melden Sie sich bitte schon vorab via EMail bei mir.
PhD Comics
12/12/08 22:54 Filed in: Allgemein
Einige Einsichten in das Leben eines Doktoranden. Schön sind auch die Zeitangaben von Professoren und eine Anleitung zur Erfindung von Akronymen.
Chomsky Hierarchie
07/12/08 19:31 Filed in: Aktuell
Der Linguist und Erfinder der gleichnamigen Hierarchie (reguläre Sprachen, kontextfreie Sprache, kontextsensitive Sprachen und rekursiv aufzählbare Sprachen) wird heute 80 Jahre. Seine grundlegende Arbeit Three Models For The Description Of Language findet sich auf seiner Homepage. Interessant sind auch die Comics.
Neues Skript "Algorithmen und Datenstrukturen" ist online
09/11/08 14:33 Filed in: Skript
Einige Tippfehler wurden aufgrund der Rückmeldung eines Hörers verbessert. Vielen Dank!
Hashfunktionen
04/11/08 12:39 Filed in: News
Einige Vorschläge für den zukünftigen Hash-Standard SHA3 sind im „The SHA-3 Zoo“ zu finden.
Neue Primzahlen
26/09/08 11:14 Filed in: News
Am 23. August wurde die 45. bekannte Mersenne Primzahl
243 112 609-1
gefunden. Diese Zahl hat 12 978 189 Dezimalstellen. Aufgrund dieser Größe wurde von der Electronic Frontier Foundation ein Preis von $100 000 ausgezahlt (für die erste bekannte Primzahl mit mehr als 10 Millionen Dezimalstellen).
Witzigerweise wurde am 6. September die 46. bekannte Mersenne Primzahl
237 156 667-1
gefunden. Diese Zahl hat „nur“ 11 185 272 Dezimalstellen. Näheres findet sich unter Mersenne.org.
Neues ADS-Skript
07/09/08 09:59 Filed in: Skript
Eine neue Version des ADS-Skripts wurde hochgeladen. Im Anhang finden sich nun ein paar Tipps zum Thema All- und Existenzquantor, nachdem dies am Freitag in der Vorbesprechung als Problem erkannt wurde.
Neues Skript online
14/08/08 14:13 Filed in: Skript
NP-Vollständigkeit
12/08/08 14:40 Filed in: News
Theoretische Informatik ist auch im echten Leben unverzichtbar.
Kryptographie & Medizintechnik
10/08/08 12:42 Filed in: News
Auch in Herzschrittmacher sollten sichere kryptographische Algorithmen eingebaut werden.
Bachelor-Seminar SS09
06/08/08 21:13 Filed in: Vorlesung
Aufgrund der Nachfrage einiger Studenten laufen Planungen über ein mögliches Bachelor-Seminar im SS 2009 zu den Themen “Algorithmen & Komplexität”. Um dieses Seminar durchführen zu können, werden mindestens 8 Teilnehmer benötigt. Sollte Interesse bestehen, so wird um eine EMail gebeten, um den Kreis der möglichen Teilnehmer abschätzen zu können.
Vorbesprechung zu Algorithmen und Datenstrukturen
06/08/08 12:54 Filed in: Vorlesung
Die Vorbesprechung zur ADS-Prüfung findet am Freitag, 5. September 2008 um 11:00 im Raum C101 statt.
Hinweis: Bitte bringen Sie Ihre Fragen zur Übungsstunde mit! Es macht keinen Sinn, wenn vom Dozenten irgendwelche Klausuraufgaben an der Tafel gelöst werden, da unklar ist, ob diese dann die bei den Hörern bestehenden Probleme beseitigen.
Hinweis: Bitte bringen Sie Ihre Fragen zur Übungsstunde mit! Es macht keinen Sinn, wenn vom Dozenten irgendwelche Klausuraufgaben an der Tafel gelöst werden, da unklar ist, ob diese dann die bei den Hörern bestehenden Probleme beseitigen.
FPGAs & Kryptographie
03/08/08 05:32 Filed in: Arbeiten
Es werden interessierte Studenten gesucht, die sich gerne in das Gebiet der FPGA Programmierung mit VHDL einarbeiten möchten und auch Spass an der Kryptographie haben. VHDL-Vorkenntnisse werden keine benötigt, lediglich Spass an andersartigen Programmiersprachen. Genauere Informationen können via EMail erfragt werden.
Neue Themen für Bachelor und Masterarbeiten
03/08/08 05:07 Filed in: Arbeiten
Es wurden neue Themen für Bachelor und Masterarbeiten eingestellt.
Skript "Grundlagen"
06/07/08 16:16 Filed in: Skript
Es wurden einige Fehler bei den Rechenregeln mit Produkten entfernt.
Skript "Diskrete Mathematik"
06/07/08 16:14 Filed in: Skript
Einige Tippfehler und Kleinigkeiten wurden entfernt. Die Hörer werden aufgefordert mehr Fehlerberichte zu liefern.
Vorlesung "Diskrete Mathematik"
26/06/08 21:44 Filed in: Vorlesung
Die Fragestunde wurde auf Freitag, 4. Juli 2008 um 9:00 im HS A112 verlegt.
Übungsblatt "Algorithmen und Datenstrukturen"
24/06/08 23:26 Filed in: Übungsblatt
Eine kleine Ungenauigkeit bei der Definition der Hashfunktion wurde verbessert. Der mod-Operator bezieht sich natürlich auf die gesammte Summe!
Vorlesung "Logik, Berechenbarkeit und Komplexität
18/06/08 21:50 Filed in: Übungsblatt
Vorlesung "Algorithmen und Datenstrukturen"
16/06/08 00:02 Filed in: Übungsblatt
Vorlesung "Diskrete Mathematik"
12/06/08 21:23 Filed in: Vorlesung
Auf Wunsch der Hörer findet eine Vorbesprechung zur Klausur am 3. Juli 2008 um 13:30 im Raum A112 statt.
Vorlesung "Diskrete Mathematik"
12/06/08 21:14 Filed in: Vorlesung
Am 19. Juni 2008 findet wie besprochen um 12:00 eine Nachholvorlesung im Raum A112 statt.
Übungsblatt "Diskrete Mathematik"
12/06/08 21:11 Filed in: Übungsblatt
Übungsblatt "Logik, Berechenbarkeit und Komplexität"
12/06/08 20:56 Filed in: Übungsblatt
Fragestunde "Formale Sprachen"
11/06/08 21:05 Filed in: Vorlesung
Am Freitag den 13. Juni findet um 14:00 eine Fragestunde zum Thema "Automatentheorie und Formale Sprachen" statt. Treffpunkt ist mein Büro im C-Gebäude.
Übungsblatt "Algorithmen und Datenstrukturen"
08/06/08 15:24 Filed in: Übungsblatt
Übungsblatt "Diskrete Mathematik"
05/06/08 22:05 Filed in: Übungsblatt
Übungsblatt "Logik, Berechenbarkeit und Komplexität"
05/06/08 21:53 Filed in: Übungsblatt
Übungsblatt "Algorithmen und Datenstrukturen"
01/06/08 00:48 Filed in: Übungsblatt
Übungsblatt "Diskrete Mathematik"
29/05/08 22:56 Filed in: Übungsblatt
Übungsblatt "Logik, Berechenbarkeit und Komplexität"
29/05/08 22:14 Filed in: Übungsblatt
Vorlesung "Diskrete Mathematik"
28/05/08 23:53 Filed in: Vorlesung
Wie schon besprochen treffen wir uns zur Vorlesung "Diskrete Mathematik" schon um 12:00 im Hörsaal A112.
Vorlesungen "Algorithmen und Datenstrukturen"
26/05/08 11:16 Filed in: Vorlesung
Neue Folien für die Vorlesung am Freitag, 30. Mai 2008 sind auf der Passwort-geschützen Vorlesungsseite online.
Übungsblatt "Diskrete Mathematik"
19/05/08 15:13 Filed in: Übungsblatt
Übungsblatt "Algorithmen und Datenstrukturen"
19/05/08 00:27 Filed in: Vorlesung
Vorlesung "Algorithmen und Datenstrukturen"
15/05/08 22:00 Filed in: Vorlesung
Auf der passwortgeschützten Seite zur Vorlesung finden sich Folien zum Thema "lineare Datenstrukturen".
Algorithmen und Datenstrukturen an der Uni Freiburg
15/05/08 13:12 Filed in: Vorlesung
Einige Informationen gibts auch als Podcast (suchen Sie im iTunes-Store nach Informatik II) oder folgenden Sie diesem Link.
Organisation Grillfest
15/05/08 13:01 Filed in: Info
Die Organisatoren des Grillfests bitten um tatkräftige Mithilfe. Bitte nehmen Sie Kontakt mit Herrn Ralf Erik Rossel (rros@gmx.net) auf.
Übungsblatt "Logik, Berechenbarkeit und Komplexität"
14/05/08 22:37 Filed in: Übungsblatt
Das neue Übungsblatt ist online.
Algorithmen und Datenstrukturen am MIT
14/05/08 21:00 Filed in: Vorlesung
Viele Vorlesungen des MIT werden im Internet veröffentlicht. Interessant ist die Vorlesung von Charles Leiserson (vgl. Literaturempfehlung) zum Thema Algorithmen und Datenstrukturen.
Verlegung des Praktikums "Algorithmen und Datenstrukturen"
14/05/08 11:40 Filed in: Vorlesung
Die Termine des Praktikums zu "Algorithmen und Datenstrukturen" in KW 21 wurde verlegt. Näheres findet sich auf der Vorlesungsseite.
Skript "Algorithmen und Datenstrukturen"
12/05/08 11:29 Filed in: Skript
Ein leicht verbessertes Skript ist verfügbar.
Grillfest
12/05/08 01:43 Filed in: Info
Von studentischer Seite wird ein Grillfest am 21. Mai organisiert.
Übungsblatt "Algorithmen und Datenstrukturen"
12/05/08 01:32 Filed in: Übungsblatt
Das neue Übungsblatt ist online.
Neues Grundlagenskript online
11/05/08 09:40 Filed in: Skript
Es wurde ein Abschnitt über Logarithmen- und Potenzgesetze eingebaut.
Übungsblatt "Diskrete Mathematik"
08/05/08 23:18 Filed in: Übungsblatt
Das neue Übungsblatt ist online.
Übungsblatt "Logik, Berechenbarkeit und Komplexität"
07/05/08 23:06 Filed in: Übungsblatt
Das neue Übungsblatt ist online.
Skript "Logik, Berechenbarkeit und Komplexität"
01/05/08 22:05 Filed in: Skript
Eine neue Version des Skripts mit minimalen Verbesserungen ist online.
Übungsblatt "Logik, Berechenbarkeit und Komplexität"
01/05/08 22:04 Filed in: Übungsblatt
Das neue Übungsblatt ist online.
Nachholtermin "Algorithmen und Datenstrukturen"
01/05/08 21:33 Filed in: Vorlesung
Wie besprochen wird die Vorlesung vom 2. Mai nachgeholt. Neuer Termin: 13. Mai (Dienstag) um 13:30 im Raum C104.
Neuer Termin
27/04/08 15:34 Filed in: Vorlesung
Wie besprochen wird die Vorlesung "Algorithmen und Datenstrukturen" am Freitag, 2. Mai 2008 auf Dienstag nachmittag verlegt. Der genaue Termin wird noch bekannt gegeben.
Neuer Termin: 13. Mai (Dienstag) um 13:30 im Raum C104.
Neuer Termin: 13. Mai (Dienstag) um 13:30 im Raum C104.
Übungsblatt "Algorithmen und Datenstrukturen"
27/04/08 15:33 Filed in: Übungsblatt
Das neue Übungsblatt ist online. Bitte beachten Sie die geänderten Abnahmetermine für das 4. Übungsblatt.
Übungsblatt "Diskrete Mathematik"
27/04/08 15:13 Filed in: Übungsblatt
Das neue Übungsblatt ist online.
Übungsblatt "Logik, Berechenbarkeit und Komplexität"
24/04/08 22:21 Filed in: Übungsblatt
Das neue Übungsblatt ist online.
Übungsblatt "Algorithmen und Datenstrukturen"
20/04/08 12:51 Filed in: Übungsblatt
Das neue Übungsblatt ist online.
Übungsblatt "Diskrete Mathematik"
17/04/08 21:53 Filed in: Übungsblatt
Das neue Übungsblatt ist online.
Übungsblatt "Logik, Berechenbarkeit und Komplexität"
17/04/08 21:45 Filed in: Übungsblatt
Das neue Übungsblatt ist online.
Anmerkungen zum Übungsblatt "Algorithmen und Datenstrukturen"
13/04/08 18:55 Filed in: Übungsblatt
Hinweis: Die Verwendung der pow-Funktion aus math.h führt beim 2. Übungsblatt zu keinen brauchbaren Ergebnissen! Einige weitere Bemerkungen gibt es auf der Seite zur Vorlesung.
Übungsblatt "Algorithmen und Datenstrukturen"
13/04/08 12:33 Filed in: Übungsblatt
Das neue Übungsblatt ist online.
Übungsblatt "Diskrete Mathematik"
10/04/08 21:48 Filed in: Übungsblatt
Das neue Übungsblatt ist online.
Übungsblatt "Logik, Berechenbarkeit und Komplexität"
10/04/08 13:00 Filed in: Vorlesung
Das neue Übungsblatt ist online.
Verschiebung der Vorlesung "Logik, Berechenbarkeit und Komplexität"
05/04/08 16:07 Filed in: Vorlesung
Der Vorlesungstermin wurde wie besprochen verschoben.
Übungsblatt "Algorithmen und Datenstrukturen"
05/04/08 15:20 Filed in: Übungsblatt
Das neue Übungsblatt ist online.
Übungsblatt "Diskrete Mathematik"
03/04/08 22:43 Filed in: Übungsblatt
Das neue Übungsblatt ist online.
Übungsblatt "Logik, Berechenbarkeit und Komplexität"
03/04/08 21:58 Filed in: Übungsblatt
Das neue Übungsblatt ist online.
Übungsblatt "Algorithmen und Datenstrukturen"
30/03/08 22:30 Filed in: Übungsblatt
Die Abnahme der Lösungen der Aufgaben des ersten Übungsblatts wurden auf die KW 15 (7.4.2008 - 11.4.2008) verlegt (siehe Übungsblatt).
Änderung der Einleitungsfolien zu Algorithmen und Datenstrukturen
29/03/08 22:54 Filed in: Skript
Die Print-Version des Einleitung von Algorithmen und Datenstrukturen wurde auf Hörerwunsch "druckerfreundlicher" gemacht und der farbige Hintergrund entfernt.
Übungsblatt "Algorithmen und Datenstrukturen"
28/03/08 22:30 Filed in: Übungsblatt
Das neue Übungsblatt ist online.
Übungsblatt "Diskrete Mathematik"
27/03/08 20:39 Filed in: Übungsblatt
Das neue Übungsblatt ist online.
Übungsblatt "Logik, Berechenbarkeit und Komplexität"
26/03/08 20:19 Filed in: Übungsblatt
Das neue Übungsblatt ist online.
Turing Award
05/02/08 20:43 Filed in: News
Die ACM (Association for Computing Machinery) hat den Turing Award (vergleichbar mit dem Nobelpreis) an die Forscher Edmund M. Clarke, E. Allen Emerson und Joseph Sifakis auf dem Gebiet des Model Checking vergeben. Eine Liste der Preisträger findet sich hier. Vielleicht auch interessant ist der Preis für den Erfinder der Klasse NP.
Termine für Kryptographie online
04/02/08 10:10 Filed in: Vorlesung
Die Termine sind auf der Praktikumsseite online.
Raum für Nachholvorlesung
28/01/08 09:42 Filed in: Vorlesung
Die Nachholvorlesung für "Kryptographische Algorithmen" am Donnerstag, 31. 1. 2008 um 13:00 findet im Raum C104 statt.
Nachholvorlesung
26/01/08 22:58 Filed in: Vorlesung
Am Donnerstag den 31. 1. 2008 findet von 13:30 - 15:00 eine Nachholvorlesung für "Kryptographische Algorithmen" statt. Der Raum wird noch bekannt gegeben.
Übungsblatt "Automatentheorie und Formale Sprachen"
24/01/08 21:40 Filed in: Übungsblatt
Das neue Übungsblatt ist online.
Übungsblatt "Logik, Berechenbarkeit und Komplexität"
24/01/08 00:02 Filed in: Übungsblatt
Das neue Übungsblatt ist online.
Nachholvorlesungen
21/01/08 17:52 Filed in: Vorlesung
Morgen, Dienstag 21.1.2008 finden Nachholvorlesungen für "Automatentheorie und Formale Sprachen" und "Logik, Berechenbarkeit und Komplexität" statt. Näheres findet sich auf den Homepages der jeweiligen Vorlesungen.