Studium

© heipei

Seit dem Sommersemester 2006 studiere ich Informatik (Diplom) mit Nebenfach Mathematik an der RWTH-Aachen.

Wer wissen will was ich dort so an Veranstaltungen besuche, oder wen einfach nur generell interessiert, womit ein Informatiker sich so beschäftigt: hier eine kleine Zusammenfassung meines bisherigen Studienverlaufs. (Es bleibt anzumerken, dass das hier nicht der "normale" Studienverlauf ist. Das Informatik Studium in Aachen beginnt normalerweise im Winter. Ich habe aber im Sommer angefangen. Die Inhalte sind die selben, aber "meine" Reihenfolge ist, zumindest im Grundstudium, etwas anders :-)) Mehr Informationen gibt es bei Infostudium.de.

Seit Sommersemester 2008 studiere ich zusätzlich parallel Mathematik (Bachelor) mit Nebenfach Informatik.

Sortieren nach: Semester, Bereich, Lehrstuhl

• Grundstudium
  • Automatentheorie und Formale Sprachen (Katoen Prof. Dr. Joost-Pieter Katoen, i2 Lehrstuhl für Informatik 2: Software Modeling and Verification, 1. Sem.)
    Automatentheorie, Endliche Automaten, Kellerautomaten, Formale Sprachen
  • Rechnerstrukturen (Lakemeyer Prof. Ph.D. Gerhard Lakemeyer, KBSG Knowledge-Based Systems Group, 1. Sem.)
    Von-Neumann-Architektur, Boolesche Algebra, Addierwerke, Gleitpunktarithemtik
  • Diskrete Strukturen (Nebe Prof. Dr. Gabriele Nebe, LDfM Lehrstuhl D für Mathematik, 1. Sem.)
    Kombinatorik, Graphentheorie, Diskrete Mathematik, Algebraische Strukturen (Gruppentheorie, Theorie endlicher Körper), Kodierungstheorie
  • Datenstrukturen und Algorithmen (Ney Prof. Dr.-Ing. Hermann Ney, i6 Lehrstuhl für Informatik 6: Human Language Technology and Pattern Recognition, 1. Sem.)
    Datenstrukturen, Rekursionsgleichungen, Algorithmenentwurf und Analyse, Sortieralgorithmen, Suchalgorithmen, Graphenalgorithmen
  • Elektronische Grundlagen für Informatiker (Aach Prof. Dr.-Ing. Till Aach, LfB Lehrstuhl für Bildverarbeitung, 2. Sem.)
    Magnetismus, Komplexe Wechselstromrechnung, Elektrostatik, Elektrische Bauelemente, Halbleiterphysik, Elektromagnetische Induktion, Operationsverstärker
  • Programmierung (Bischof Prof. Ph.D. Christian Bischof, SC Institute for Scientific Computing, 2. Sem.)
    Objektorientierte Programmierung (Java), Funktionale Programmierung (Haskell), Logische Programmierung (Prolog)
  • Mathematische Logik (Grädel Prof. Dr. Erich Grädel, MGI Mathematische Grundlagen der Informatik, 2. Sem.)
    Mathematische Logik, Mengenlehre, Aussagenlogik, Prädikatenlogik, Modallogik, Computational Tree Logic, Modelltheorie, Gödelscher Vollständigkeitssatz, Unentscheidbarkeit der Prädikatenlogik
  • Systemprogrammierung (Spaniol Prof. Dr. Otto Spaniol, i4 Lehrstuhl für Informatik 4: Communication and Distributed Systems, 2. Sem.)
    Prozessverwaltung, Scheduling, Interprozesskommunikation, Deadlocks, Speicherverwaltung, Segmentierung, Paging
  • Analysis für Informatiker (Stens Prof. Dr. Rudolf Stens, MathA Lehrstuhl A für Mathematik: Analysis und Zahlentheorie, 2. Sem.)
    reelle Analysis, Folgen, Reihen, Funktionen, Stetigkeit, Differentiation, Riemannsche Integration, Mehrdimensionale Analysis
  • Berechenbarkeit und Komplexität (Vöcking Prof. Dr. Berthold Vöcking, i1 Lehrstuhl für Informatik 1: Algorithmen und Komplexität, 2. Sem.)
    Berechenbarkeitstheorie, Komplexitätstheorie, Turing Maschinen, NP-Vollständigkeit, Approximierbarkeit, Reduktion, P/NP Problem
  • Einführung in die Stochastik für Informatiker (Cramer Prof. Dr. Erhard Cramer, ISW Institut für Statistik und Wirtschaftsmathematik, 3. Sem.)
    Beschreibende Statistik, Wahrscheinlichkeitsrechnung, Schließende Statistik
  • Differentialgleichungen und Numerik (Esser Prof. Dr. Henning Esser, IGPM Institut für Geometrie und praktische Mathematik, 3. Sem.)
    Numerische Mathematik, LR Zerlegung, Cholesky Zerlegung, QR Zerlegung, Splitting Verfahren, Polynominterpolation, Gewöhnliche Differentialgleichungen, Runge Kutta Verfahren
  • Lineare Algebra I (Hanke Dr. Timo Hanke, LDfM Lehrstuhl D für Mathematik, 3. Sem.)
    Lineare Algebra, Vektorräume, Lineare Abbildungen, Matrizenrechnung, Kodierungstheorie
  • Softwarepraktikum: Implementierung heuristischer Algorithmen für Brettspiele (Kern Dipl.-Inform. Carsten Kern, i2 Lehrstuhl für Informatik 2: Software Modeling and Verification, 3. Sem.)
    Spielstarke Computergegner (KI) für eine erweiterte Version des Brettspiels Reversi programmieren.
  • Proseminar: Graphenalgorithmen (Unger Priv.-Doz. Dr. Walter Unger, i1 Lehrstuhl für Informatik 1: Algorithmen und Komplexität, 4. Sem.)
    Algorithmen für Graphenprobleme. Mein Thema: Traveling Salesman Problem
  • Hardwarepraktikum: Elektrotechnische Grundlagen der Informatik (Stollenwerk Dipl.-Ing. André Stollenwerk, i11 Lehrstuhl für Informatik 11: Software für eingebettete Systeme, 5. Sem.)
    Stromkreis, Widerstand, Diode, Kondensator, Spule, Transistoren, Logik Schaltungen, FPGA, AD- und DA-Wandler, Operationsverstärker, Mikrocontroller
• Nebenfach: Mathematik (Grundstudium)
  • Analysis IV (Krieg Prof. Dr. Aloys Krieg, MathA Lehrstuhl A für Mathematik: Analysis und Zahlentheorie, 3. Sem.)
    Komplexe Analysis (Funktionentheorie), Holomorphie, Kurvenintegrale, Cauchysche Integralformel, Residuensatz, Möbius Transformationen, Riemannsche Zeta-Funktion, Riemannsche Zahlenkugel
  • Numerische Analysis I (Schöberl Prof. Dr. Joachim Schöberl, IGPM Institut für Geometrie und praktische Mathematik, 4. Sem.)
    Siehe Differentialgleichungen und Numerik
  • Lineare Algebra II (Zerz Prof. Dr. Eva Zerz, LDfM Lehrstuhl D für Mathematik, 4. Sem.)
    Modultheorie, Ringtheorie, Kommutative Algebra, Struktursatz für endlich erzeugte Moduln über Hauptidealbereichen, Jordansche Normalform, Quadratische Formen, Quadriken, Algebraische Geometrie, Gruppentheorie
• Theoretische Informatik
  • Cryptography I (Mathar Prof. Dr. Rudolf Mathar, TI Lehrstuhl für Theoretische Informationstechnik, 4. Sem.)
    Kryptographie, Kryptoanalyse, Fast Block Ciphers, Zahlentheorie, Public Key Kryptographie
  • Algorithmische Modelltheorie (Grädel Prof. Dr. Erich Grädel, MGI Mathematische Grundlagen der Informatik, 5. Sem.)
    Entscheidbare und unentscheidbare Fragmente der Prädikatenlogik, Rekursive Trennbarkeit, Registermaschinen, Turingmaschinen, Domino (Tiling) Systeme, Entscheidbarkeit und Komplexität von Logik Problemen, Graphinterpretationen, Unentscheidbare Theorien, Verbindung zwischen Logik und Automaten (SnS, MSO), Baumautomaten, Automatentheoretische Darstellung von Strukturen ("automatische Strukturen")
  • Cryptography II (Mathar Prof. Dr. Rudolf Mathar, TI Lehrstuhl für Theoretische Informationstechnik, 5. Sem.)
    Diskreter Logarithmus, kryptographisch sichere Hash Funktionen, Digitale Signaturen, Identifikation und Authentifizierung, Elliptic Curve Cryptography
  • Angewandte Automatentheorie (Thomas Prof. Dr. Wolfgang Thomas, i7 Lehrstuhl für Informatik 7: Logik und Theorie diskreter Systeme, 5. Sem.)
    Minimierung endlicher Automaten, Lernalgorithmen, Syntaktisches Monoid, Kleene Algorithmus, Abgeschlossene Halbringe, Baumautomaten (Top Down, Bottom Up, Tree Walking, ...), stochastische Automaten, reguläre Ausdrücke für Bäume, Tiling Sprachen, automatendefinierbare Relationen, endliche Automaten mit Ausgabefunktion, FO und MSO Logik über Wortstrukturen, Registermaschinen, Pushdownsysteme, Queue Systeme, Petrinetze
  • Effiziente Algorithmen (Vöcking Prof. Dr. Berthold Vöcking, i1 Lehrstuhl für Informatik 1: Algorithmen und Komplexität, 5. Sem.)
    Flussprobleme, Matchings, Lineare Programmierung, Approximationsalgorithmen, Scheduling Probleme, Online Algorithmen
  • Model Checking (Katoen Prof. Dr. Joost-Pieter Katoen, i2 Lehrstuhl für Informatik 2: Software Modeling and Verification, 6. Sem.)
    Model Checking, Büchi Automaten, LTL, CTL, CTL*, Bisimulation
  • Automaten auf unendlichen Wörtern (Löding Dr. Christof Löding, i7 Lehrstuhl für Informatik 7: Logik und Theorie diskreter Systeme, 6. Sem.)
    Im wesentlichen die Theorie von Omega-Automaten, analog zur Theorie endlicher Automaten (siehe ATFS, 1. Semester), aber auf unendlichen Wörtern
  • Unendliche Spiele (Thomas Prof. Dr. Wolfgang Thomas, i7 Lehrstuhl für Informatik 7: Logik und Theorie diskreter Systeme, 6. Sem.)
    Spieltheorie, Paritätsspiele, Mullerspiele, Staiger-Wagner-Spiele
  • Algorithmische Kryptographie (Unger Priv.-Doz. Dr. Walter Unger, i1 Lehrstuhl für Informatik 1: Algorithmen und Komplexität, 6. Sem.)
    Im wesentlichen das selbe wie Cryptography I+II
  • Seminar Logik, Komplexität, Spiele: Fixpunktlogiken (Grädel Prof. Dr. Erich Grädel, MGI Mathematische Grundlagen der Informatik, 7. Sem.)
    Deskriptive Komplexitätstheorie, endliche Modelltheorie, Fixpunktlogiken
  • Advanced Model Checking (Katoen Prof. Dr. Joost-Pieter Katoen, i2 Lehrstuhl für Informatik 2: Software Modeling and Verification, 7. Sem.)
    Summary of LTL and CTL model checking, Equivalences and abstraction, Partial-order reduction techniques, Binary decision diagrams, Timed automata, Model checking timed CTL, Probabilistic systems, Model checking probabilistic CTL
  • Seminar Kryptographie (Unger Priv.-Doz. Dr. Walter Unger, i1 Lehrstuhl für Informatik 1: Algorithmen und Komplexität, 7. Sem.)
    Verschlüsselungsverfahren, Public Key-Systeme, Kryptographische Protokolle, Zero-Knowledge Proofs, etc. Mein Thema: Der AKS Primzahltest (Primes is in P, s.u.)
  • Netzwerkalgorithmen (Vöcking Prof. Dr. Berthold Vöcking, i1 Lehrstuhl für Informatik 1: Algorithmen und Komplexität, 7. Sem.)
    Routing in Permutationsnetzen und Mesh Netzwerken, Sortiernetzwerke, Oblivious Routing Algorithmen, Spieltheorie (Congestion Spiele, Nash Gleichgewichte), Peer to Peer Systeme, ...
• Praktische Informatik
  • Praktikum: Mobile Communication Systems Engineering (Heer Dipl.-Inform. Tobias Heer, LuFGI4 Distributed Systems Group, 6. Sem.)
    Implementierung von ALPHA, einem am Lehrstuhl entwickelten Protokoll für "Hop-by-Hop Authentication" für mobile Endgeräte (konkret: Linux Netzwerkprogrammierung mittels tun/tap Devices mit ein bisschen Kryptographie oben drauf)
  • Computergrafik I (Kobbelt Prof. Dr. Leif Kobbelt, i8 Lehrstuhl für Informatik 8: Computer Graphics and Multimedia, 6. Sem.)
    Geometry Representations, Local Illumination, Global Illumination, Image Processing, OpenGL API
  • Einführung in eingebettete Systeme (Kowalewski Prof. Dr.-Ing. Stefan Kowalewski, i11 Lehrstuhl für Informatik 11: Software für eingebettete Systeme, 6. Sem.)
    Einführung in Mikrocontroller am Beispiel der Atmel AVR Serie, Programmable Logic Controller, sehr viel rauschen
  • Data Mining Algorithmen (Seidl Prof. Dr. Thomas Seidl, i9 Lehrstuhl für Informatik 9: Data Management and Data Exploration, 6. Sem.)
    k.A., nach einigen Wochen aus mangelndem Interesse abgebrochen
  • Communication Systems Engineering (Wehrle Prof. Dr. Klaus Wehrle, LuFGI4 Distributed Systems Group, 7. Sem.)
    Im wesentlichen einmal das komplette OSI Modell durchkauen.
  • Mobile Communication & Sensor Networks (Wehrle Prof. Dr. Klaus Wehrle, LuFGI4 Distributed Systems Group, 7. Sem.)
    Sensornetzwerke, UMTS, GPRS, WLAN, etc.
• Nebenfach: Mathematik
  • Computeralgebra (Zerz Prof. Dr. Eva Zerz, LDfM Lehrstuhl D für Mathematik, 5. Sem.)
    Ringtheorie, Gröbnerbasistheorie, Körpertheorie (algebraische und transzendente Körpererweiterungen, Endliche Körper, verschiedene Formulierungen des Hilbertschen Nullstellensatz), Polynomfaktorisierungsalgoritmen, Gruppentheorie (Sylowsätze, ...)
  • Algebraische Zahlentheorie (Krieg Prof. Dr. Aloys Krieg, MathA Lehrstuhl A für Mathematik: Analysis und Zahlentheorie, 6. Sem.)
    Algebraische Zahlkörper (insbesondere quadratische Körpererweiterungen von Q), Ganzheitsring eines Zahlkörpers, Gitter in Zahlkörpern, Idealtheorie, Primidealzerlegung, Klassenzahl, Gitterpunktsatz
  • Kommutative Algebra (Zerz Prof. Dr. Eva Zerz, LDfM Lehrstuhl D für Mathematik, 6. Sem.)
    Ringtheorie, Modultheorie, (Kurze) Exakte Folgen, Kategorientheorie, Funktoren, Hom-Funktor, Tensor Produkt, Lokalisierung, Lokale Ringe, Fitting Invarianten, Dimensionstheorie
• Hiwi Job
  • Tutor für Lineare Algebra I (Hiwi) (Hanke Dr. Timo Hanke, LDfM Lehrstuhl D für Mathematik, 4. Sem.)
    Übungsgruppen leiten, Lösungen erstellen und vorrechnen, Klausur beaufsichtigen und korrigieren
  • Tutor für Lineare Algebra I (Hiwi) (Hanke Dr. Timo Hanke, LDfM Lehrstuhl D für Mathematik, 5. Sem.)
    Musterlösungen erstellen, Skript TeXen, Klausur beaufsichtigen und korrigieren
  • Rechen- und Kommunikationszentrum (Abteilung NOC) (Hiwi) (Hektor Dipl.-Phys. Jens Hektor, RZ Rechen- und Kommunikationszentrum, 7. Sem.)
    C, Ruby und Ruby on Rails programmieren, z.B. zum Erkennen von Portscans auf Basis von Netflow Daten und zur Administration von DHCP Servern und VoIP Geräten.
  • Rechen- und Kommunikationszentrum (Abteilung NOC) (Hiwi) (Hektor Dipl.-Phys. Jens Hektor, RZ Rechen- und Kommunikationszentrum, 8. Sem.)
    C, Ruby und Ruby on Rails programmieren, z.B. zum Erkennen von Portscans auf Basis von Netflow Daten und zur Administration von DHCP Servern und VoIP Geräten.
  • Rechen- und Kommunikationszentrum (Abteilung NOC) (Hiwi) (Hektor Dipl.-Phys. Jens Hektor, RZ Rechen- und Kommunikationszentrum, 9. Sem.)
    C, Ruby und Ruby on Rails programmieren, z.B. zum Erkennen von Portscans auf Basis von Netflow Daten und zur Administration von DHCP Servern und VoIP Geräten.
• Just for Fun
  • Elementare Zahlentheorie (Krieg Prof. Dr. Aloys Krieg, MathA Lehrstuhl A für Mathematik: Analysis und Zahlentheorie, 4. Sem.)
    Zahlentheorie, Primfaktorzerlegung, Chinesischer Restsatz, Kongruenzen, Irrationalität, Transzendenz, Primzahltests, Struktur des Rings der ganzen Zahlen, Struktur der primen Restklassengruppe, Algorithmische Zahlentheorie
  • Undergraduate Research Opportunities Programme (UROP) (Heer Dipl.-Inform. Tobias Heer, LuFGI4 Distributed Systems Group, 7. Sem.)
    Studentisches Forschungsprojekt Implementation and improvement of the ALPHA protocol im Rahmen der Exzellenzinitiative.
• Mathematik (Bachelor)
  • Stochastik I (Cramer Prof. Dr. Erhard Cramer, ISW Institut für Statistik und Wirtschaftsmathematik, 7. Sem.)
    Im wesentlichen das gleiche wie "Stochastik für Informatiker", nur mehr in die Tiefe
  • Numerische Analysis II (Dahmen Prof. Dr. Wolfgang Dahmen, IGPM Institut für Geometrie und praktische Mathematik, 7. Sem.)
    Siehe "Differentialgleichungen und Numerik".
  • Algebraische Zahlentheorie II (Krieg Prof. Dr. Aloys Krieg, MathA Lehrstuhl A für Mathematik: Analysis und Zahlentheorie, 7. Sem.)
    Quadratische Kongruenzen, Dirichlet Charaktere, Kettenbrüche, Reelle Divisionsalgebren und der Schiefkörper der hamiltonschen Quaternionen, p-adische Zahlen
  • Begleitpraktikum I (Plesken Prof. Dr. Wilhelm Plesken, MathB Lehrstuhl B für Mathematik, 7. Sem.)
    Computeralgebrasystem Maple
  • Begleitpraktikum II (Plesken Prof. Dr. Wilhelm Plesken, MathB Lehrstuhl B für Mathematik, 7. Sem.)
    Computeralgebrasystem Maple
  • Analysis III (Bemelmans Prof. Dr. Josef Bemelmans, MathC Lehrstuhl C für Mathematik, 8. Sem.)
    Maßtheorie, mehrdimensionale Integrationstheorie (Lebesgue-Integral), Kurvenintegrale, Vektoranalysis, Gaußscher Integralsatz, Satz von Stokes, ...
  • Stochastik II (Cramer Prof. Dr. Erhard Cramer, ISW Institut für Statistik und Wirtschaftsmathematik, 8. Sem.)
    Stetige Wahrscheinlichkeitsverteilungen, Maßtheorie (insbesondere Integrationstheorie nach Lebesgue)
  • Analysis I (Führ Prof. Dr. Hartmut Führ, MathA Lehrstuhl A für Mathematik: Analysis und Zahlentheorie, 8. Sem.)
    Das gleiche wie Analysis für Informatiker (siehe 2. Semester), nur viel vertiefter
  • Modellierung und Simulation (Noelle Prof. Dr. Sebastian Noelle, IGPM Institut für Geometrie und praktische Mathematik, 8. Sem.)
    Implementierung bestimmter "Real World"-Probleme im Computeralgebrasystem Maple, z.B. Räuber-Beute-Modelle, Straßenausleuchtungen, Verkehrs- und Stausimulationen, etc.
  • Mathematisches Praktikum (Dahmen Prof. Dr. Wolfgang Dahmen, IGPM Institut für Geometrie und praktische Mathematik, 9. Sem.)
    C++, numerische Auslöschung, Regula falsi und andere einschlusserhaltende Verfahren zur numerischen Nullstellenapproximation, Programmablaufpläne, Sortieralgorithmen, Potenzmethode,Dijkstra Algorithmus, RSA, Bildverarbeitung (Laplace und andere Bildfilter, Huffman Kompression, ...), Tabu-Suche
  • Analysis II (Führ Prof. Dr. Hartmut Führ, MathA Lehrstuhl A für Mathematik: Analysis und Zahlentheorie, 9. Sem.)
    Integration, Mehrdimensionale Analysis, Vektoranalysis, normierte Vektorräume, implizite Funktionen, Lagrange Multiplikatoren

Prüfungsprotokolle

• Bachelor Mathematik: Mathematisches Praktikum
  
• Informatik Hauptstudium: Vertiefungsgebiet (Automaten, Logik und Verifikation)
  Inhalt: Angewandte Automatentheorie, Automaten und reaktive Systeme, Model Checking
  Prüfer: Prof. Dr. Wolfgang Thomas
• Informatik Hauptstudium: Praxis
  Inhalt: Sichere verteilte Systeme, Peer-to-Peer Systeme, IT Security I+II
  Prüfer: Prof. Dr. Klaus Wehrle, Prof. Dr. Ulrike Meyer
• Informatik Hauptstudium: Theorie
  Inhalt: Effiziente Algorithmen, Netzwerkalgorithmen, Kryptographie
  Prüfer: Prof. Dr. Berthold Vöcking, Prof. Dr. Rudolf Mathar
• Bachelor Mathematik: Algebraische Zahlentheorie II
  Prüfer: Prof. Dr. Aloys Krieg
• Informatik Hauptstudium: Nebenfach Mathematik
  Inhalt: Computeralgebra, Kommutative Algebra, Algebraische Zahlentheorie
  Prüferin: Frau Prof. Dr. Eva Zerz
• Informatik Grundstudium: Nebenfach Mathematik
  Inhalt: Analysis IV, Lineare Algebra II, Numerische Analysis I
  Prüfer: Prof. Dr. Aloys Krieg und Prof. Dr. Joachim Schöberl

Seminare

• Fixpunktlogiken mit Zählquantoren (Ausarbeitung, Folien)
  Seminar Logik, Komplexität, Spiele: Fixpunktlogiken (SS09)
  Lehr- und Forschungsgebiet für Mathematische Grundlagen der Informatik
• Primes is in P - Der AKS Primzahltest (Ausarbeitung, Folien)
  Seminar zur Kryptographie (SS09)
  Lehrstuhl für Informatik I - Algorithmen und Komplexität
• Traveling Salesman Problem (Ausarbeitung, Folien)
  Proseminar Graphenalgorithmen (WS07/08)
  Lehrstuhl für Informatik I - Algorithmen und Komplexität

Anderes

• Implementation and improvement of ALPHA (Folien, Abschlussbericht)
  Vortrag für das UROP Kolloquium (Undergraduate Research Opportunities Program) am 27. Januar 2010