News
Verlegung der Vorlesung "Graphentheorie"
02/05/16 10:25
Die Vorlesung und das Praktikum wird nach Wunsch der Studenten von Freitag 6.5. auf Dienstag 3.5. verlegt. Wir treffen uns ab 15:15 im Hörsaal C405.
FPGA-Entwicklungstools
16/12/13 15:42
Innerhalb des Hochschulenetzes sind nun 20 Floatlizenzen für die FPGA-Tools der Firma Xilinx nutzbar. Bei Interesse helfe ich gerne weiter.
Auch Tote können nochmal sterben
10/06/12 14:28
- MD5 sollte noch wirklich nicht mehr verwendet werden.
Logik mit Bakterien
19/10/11 22:46
Wissenschaftler konnten "UND" und "NOT" mit Hilfe von Bakterien bauen. Das bedeutet, dass man alle Booleschen Formeln mit Hilfe von Bakterien nachstellen kann.
("UND" und "NOT" bilden eine Basis aller Booleschen Funktionen).
("UND" und "NOT" bilden eine Basis aller Booleschen Funktionen).
Masterprojekt
27/06/11 11:54
Naechstes Semester gibts ein kryptographisches Masterprojekt in Zusammenarbeit mit dem Cased in Darmstadt. Interessenten koennen bei mir näheres erfahren. Herr Kröger weiss für die Belegung am Donnerstag Bescheid.
Collatz-Vermutung gelöst?
06/06/11 11:14
Evtl. konnte ein Beweis für die Collatz-Vermutung gefunden werden. Diese Vermutung besagt, dass nach endlich vielen Schritten die 1 in der Folge c0, c1, c2, ... auftritt, wenn man mit einer beliebigen natürlichen Zahl n beginnt:
c0 = n
ci+1 = 3 * ci + 1, wenn ci ungerade
ci+1 = ci / 2, wenn ci gerade
c0 = n
ci+1 = 3 * ci + 1, wenn ci ungerade
ci+1 = ci / 2, wenn ci gerade
Übungsblatt "Komplexitätstheorie"
19/04/11 11:52
Das neue Übungsblatt ist online.
Aufgabenstellungen
24/03/11 11:12
Die Aufgabenstellungen für "Parallele und verteilte Algorithmen" sind online
Immer noch Rechenzeit gesucht
14/10/10 22:11
Vielleicht hat jemand Rechenzeit übrig, dann bitte hier mitmachen. Das Projekt ist im Rahmen einer Masterarbeit bei uns in der Informatik entstanden.
Blogs
17/08/10 14:06
P != NP weiter offen
09/08/10 10:40
Es sind größere Fehler aufgetaucht, d.h. so scheint es nicht zu gehen.
Rechenzeit gesucht
19/07/10 10:50
Vielleicht hat jemand Rechenzeit übrig, dann bitte hier mitmachen. Ist eine Masterarbeit bei uns in der Informatik.
Fragestunde Diskrete Mathematik
05/07/10 13:22
Die Fragestunde am Dienstag 6.7. kann erst um 11:30 und nicht um 11:00 starten!
Praktikum
21/06/10 10:15
Für ein Praktikum im Automobilumfeld (Autosar) werden so schnell wie möglich Interessenten gesucht. Das Ziel ist die Implementierung eines Prototypen eines Steuergeräts für ein KFZ. Voraussetzungen sind lediglich vernünftige C-Kenntnisse und Spass an technischen Fragestellungen. Dies ist eine sehr gute Möglichkeit im industriellen Umfeld Erfahrungen zu sammeln und ein spannendes Thema für eine Abschlußarbeit zu finden.
CHE-Befragung
14/06/10 23:41
Auf Bitte von Herrn Kröger die folgende Information:
In den nächsten Wochen wird die CHE-Befragung der Master-Studierenden durchgeführt. Dies ist eine
Ergänzungsbefragung.
Aus organisatorischen Gründen werden die Unterlagen (incl. Einmalpasswort) persönlich an die Studierenden übergeben. Dieses findet statt zusammen mit einer Einführung in die Umfrage und mit der Belegung der Lehrveranstaltungen fuer das WS 2010/11 am Do 1.07.2010 18:30 UdE D17 statt.
In den nächsten Wochen wird die CHE-Befragung der Master-Studierenden durchgeführt. Dies ist eine
Ergänzungsbefragung.
Aus organisatorischen Gründen werden die Unterlagen (incl. Einmalpasswort) persönlich an die Studierenden übergeben. Dieses findet statt zusammen mit einer Einführung in die Umfrage und mit der Belegung der Lehrveranstaltungen fuer das WS 2010/11 am Do 1.07.2010 18:30 UdE D17 statt.
Ausweichtermine "Diskrete Mathematik"
13/05/10 12:42
Wie besprochen finden die Ausweichtermine am 26. Mai um 11:15 und 13:30 in C102 wie besprochen statt.
Zusätzliche Unterlagen zur Veranstaltung "Theoretische Informatik"
26/04/10 12:38
Einige neue Unterlagen sind im geschützten Bereich online.
Raumverlegung zur Vorlesung Theoretische Informatik
20/04/10 21:46
Die Vorlesung wurde vom Raum A332 in C102 verlegt. Die Termine bleiben sonst gleich.
Theoretische Informatik
10/04/10 21:10
Die Räume für die Vorlesung zur Theoretischen Informatik stehen nun fest.
Cell-Bladecenter
25/03/10 23:29
Es steht nun ein Cell-Bladecenter mit einem 3TB NAS zur Verfuegung. Interessenten koennen gerne einen Account bekommen.
Klausur Automaten und Formale Sprachen
01/03/10 11:42
Die Korrektur verzögert sich, wird aber so schnell wie möglich erledigt.
RSA-768
08/01/10 09:53
Die Zahl RSA-768 wurde in ihre Primfaktoren zerlegt. D.h. man muss jetzt davon ausgehen, dass jede RSA-Signatur mit einer Schlüssellänge von 768-Bit unsicher ist und damit werden auch 1024-Bit Verschlüsselungen in absehbarer Zeit unsicher.
Mögliche Abschlussarbeit
27/12/09 09:12
Dies ist vielleicht eine unübliche aber sicherlich spannende Abschlussarbeit. Bei Fragen reicht eine kurze EMail an Steffen Reith.
Lehrbuch zum Thema "Theoretische Informatik"
10/12/09 20:27
In der Bibliothek sollten nun viele Exemplare von
zur Verfügung stehen. Eine ideale Weihnachtsbeschäftigung um der großen Langeweile zu entkommen.
- 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.
Neue Mersenneprimzahl gefunden
16/10/09 10:17
Das GIMPS-Projekt hat eine neue Mersenneprimzahl gefunden:
243,112,609-1 ist prim
Näheres findet sich auch der Seite des GIMPS-Projekt.
Rechnen mit Bakterien
26/07/09 20:19
Man kann auch mit Bakterien rechnen. Da stellt sich gleich die Frage, ob man auch mit Studenten rechnen kann.
ECC und Playstations
14/07/09 10:38
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.
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 "Grundlagen der Mathematik"
18/06/09 19:44
Das Skript der mathematischen Grundlagen wurde verbessert und einige Tippfehler entfernt.
Powerpoint & Folienpräsentationen
17/06/09 19:18
Interessante Einblicke über den Lernerfolg mit Folien.
Ein neuer Angriff auf SHA-1
11/06/09 13:52
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.
Ada Lovelace Day
25/03/09 00:04
Am 24. März war Ada Lovelace Day. Dies ist bemerkenswert, da Ada Lovelace als erster Mensch gilt, der
Programme entwickelt hat.
Programme entwickelt hat.
Selbstreproduzierende Programme
20/01/09 13:55
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.
Fachseminar
16/12/08 13:32
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.
Hashfunktionen
04/11/08 12:39
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
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.
Kryptographie & Medizintechnik
10/08/08 12:42
Auch in Herzschrittmacher sollten sichere kryptographische Algorithmen eingebaut werden.
Turing Award
05/02/08 20:43
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.
Cryptographic Hash Algorithm Competition
10/11/07 02:34
Die NIST hat einen Wettbewerb bezüglich einer neuen Hashfunktion ausgeschrieben.
Kleine universelle Turingmaschine gefunden (II)
01/11/07 15:57
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.
Kleine universelle Turingmaschine gefunden
25/10/07 19:57
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.
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.