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

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

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