… ist es meist so, dass ich in einer Vorlesung hocke und noch mit dem Schlaf kaempfe. Ja die Uni hat wieder richtig angefangen und da ich dadurch einen ganzen Haufen Arbeit habe, komme ich kaum noch zum Bloggen. Ich verspreche, dass ich mich bessern werde. Demnaechst steht erstmal ein Notebookkauf an. Dann kann ich auch endlich von der Uni aus bloggen.

Neben der Zeit, die ich in Vorlesungen rumsitze, fahre ich auch taeglich morgens mit der Strassen-/U-Bahn zur Uni. Auf dem Hinweg (o.B.d.A.) zwinge ich mich dazu – meist um wach zu werden/bleiben – meine Buecher zu lesen. Im Moment ist das “Einfuehrung in Automatentheorie, Formale Sprachen und Komplexitaetstheorie” von John E. Hopcroft et. al. (Addison-Wesley, 2. ueberarbeitete Auflage, 2003). Das ist ein echt gutes Buch. Es beginnt mit einer kurzen Einfuehrung in die Thematik und dann geht es erstmal knallhart durch Beweismethodik. Das hat mir aber sehr geholfen. Beweise durch Deduktion, vollstaendige Induktion, strukturelle Induktion, gegenseitige Induktion und Widerspruch habe ich jetzt wirklich intus. Das erleichtert vor allem das Verstaendnis von vielen Beweisen, die in anderen Modulen vorgekaut werden.

Danach sind uebrigens die Buecher Logik im Klartext (selber Verlag, 2003) von John Kelly und Angewandte Kryptographie von Bruce Schneier (John Wiley & Sons, 1996) an der Reihe.

Meine Buchsammlung ist im Moment noch relativ klein. Wer mir dabei helfen will, sie zu vergroessern, kann ja mal meine Amazon Wunschliste durchstoebern und mir daraus was schoenes bestellen: Mein Amazon Wunschzettel.

Da mein Wiki hauptsaechlich fuer Universitaetswissen gedacht war und immer mehr Leute mitgeschrieben und auch gelesen haben, wurde das Wiki zum offiziellen Wiki der Fachschaft Systems Engineering. Via mod_rewrite gehen im Moment noch alle Verweise von wiki.visusnet.de auf das neue Wiki.

Die vorlaeufige URL ist folgende: http://www.fse.uni-due.de/fsewiki

Irgendwann die Tage wird dann eine Subdomain fuer das Wiki eingerichtet.

Wie schon von Sebastian berichtet, braucht man vor allem im Informatikstudium haeufig Automaten und es ist nicht gerade einfach solche sauber zu konstruieren. Ausserdem kann man sie nicht automatisiert analysieren… Das ist fuer mich aber auch Vergangenheit, denn ich habe yEd gefunden. yEd ist ein wunderbares und sehr uebersichtliches Tool, mit dem sich sehr einfach Graphen zeichnen lassen. Es gibt auch so Sachen wie die automatische Anordnung, usw. Das ist echt lustig.

Ab zur yEd Webseite.

Das Sommersemester 2008 hat heute begonnen. Ich habe meinen Stundenplan schon grob zusammen und dieses Semester habe ich auch wirklich interessante Module. Da ist zum Beispiel das Modul Sicherheit in Kommunikationsnetzen, zu dem auch praktische Uebungen zu den Themen Angriffe und Intrusion Detection gehoeren. Ich wollte eigentlich Data Security/Cryptography noch aus einem hoeheren Semester vorziehen, aber irgendwie passt das nicht so recht in meinen Stundenplan. Naja, man kann halt nicht alles haben. Dennoch wird das Semester lustig.

Das naechste richtig lustige Modul ist Software Entwicklung und Programmierung (kurz: SEP), in dem wir (als erste Studenten der Uni) mit LEGO Mindstorms rumspielen werden. Das heisst soviel wie: Wir bauen uns kleine Roboter und programmieren sie in Java.

Das wird ein sehr interessantes Semester…

Nachtrag: Data Security geht doch. Da sind ein paar Informationen fehlerhaft publiziert worden… Sollte es jemanden interessieren: Meinen Studenplan gibt es in meinem Wiki.