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

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

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