Literature for courses   (Literatur zu Vorlesungen)


Computer Science
  1. Informatics basic courses   (Vorlesungen Informatik Grundstudium)
  2. Informatics core courses   (Vorlesungen Informatik Hauptstudium)
  3. Informatics advanced courses / seminars   (Vertiefungsvorlesungen / Seminare Informatik Hauptstudium)
  4. Bioinformatics courses   (Vorlesungen der Bioinformatik)
Language Science and Technology
  1. Language Science and Technology courses   (Vorlesungen Sprachwissenschaft und Sprachtechnologie)
Mathematics
  1. Mathematics basic courses   (Vorlesungen Mathematik Grundstudium)
  2. Mathematics core courses   (Vorlesungen Mathematik Hauptstudium)
  3. Mathematik Didaktik   (Mathematik Didaktik)

Computer Science    
   
I. Informatics basic courses   (Vorlesungen Informatik Bachelor)    
Big Data Engineering (vormals Informationssysteme) (Dittrich)
Grundlagen der Cybersicherheit (Stock)
Grundlagen der Cybersicherheit II (Rossow)
Grundzüge der Theoretischen Informatik (Bläser)
Grundzüge von Algorithmen und Datenstrukturen (Seidel)
Interactive Systems (Steimle)
Mathematik für InformatikerInnen I - III (Hartz, Groves, Schreyer)
Nebenläufige Programmierung / Concurrent Programming (Hermanns)
Programmieren für Ingenieure (Steimle)
Programmierung 1 (Smolka)
Programmierung 2 (Hack)
Softwarepraktikum (Apel)
Systemarchitektur (Reineke)
 
 
II. Informatics core courses   (Informatik Stammvorlesungen)    
Algorithms and Data Structures (Seidel)
Artificial Intelligence (Hoffmann, Koehler)
Automated Reasoning (Waldmann)
Compiler Construction (Hack)
Complexity Theory (Bläser)
Computer Algebra (Schreyer)
Computer Architecture (Paul)
Computer Graphics (Slussalek)
Cryptography (Döttling)
Database Systems (Dittrich)
Digital Transmission, Signal Processing (Telecommunications I) (Herfet)
Distributed Systems (Lenzen)
Embedded Systems (Maggio)
Geometric Modeling (Seidel, Zayer)
Grundlagen der Medieninformatik (Krüger)
Human-Computer Interaction (Steimle)
Image Processing and Computer Vision (Weickert)
Information Retrieval and Data Mining (Vreeken, Strötgen)
Introduction to Computational Logic (Smolka)
Machine Learning (Ochs)
Operating Systems (Druschel, Brandenburg)
Optimization (Karrenbauer)
Security (Rossow)
Semantics (Smolka, Dreyer)
Software Engineering (Apel)
Verification (Finkbeiner, Hermanns)
 
 
III. Informatics advanced courses / seminars   (Vertiefungsvorlesungen / Seminare Informatik Hauptstudium)    
Algorithms and Complexity (Joux)
Algorithms for Cryptanalysis (Joux)
Architectural Thinking for Intelligent Systems (Köhler)
Computer-Algebra: Gröbner Basen und Anwendungen (Schreyer)
Einführung in Eingebettete Systeme (Hermanns)
Elements of Machine Learning (Valera Martinez, Vreeken)
Formal Verification in Security (Künnemann)
GPU Programming (Membarth)
Interpolation and Approximation for Visual Computing (Augustin)
Model Checking: Techniques and Applications (Jacobs)
Perception for Computer Graphics (Myszkowski)
Practical Foundations for Programming Languages (Hack)
Probabilistic Graphical Models and their Applications (Schiele)
Probabilistic Machine Learning (Valera Martinez)
Program Analysis (Reineke)
Quantum Computing (Schreyer)
Realistic Image Synthesis (Slusallek)
Software Engineering at Google, Microsoft, Facebook & Co. (Apel)
Topics in Algorithmic Game Theory and Economics (Kleer)
 
 
IV. Bioinformatics courses   (Vorlesungen der Bioinformatik)    
Algorithms for Sequence Analysis (Kalinina)
Bioinformatik 1 (Lenhof)
Bioinformatik 2 (Lenhof)
Bioinformatik 3 (Helms)
Computational Chemistry 1 (Hutter)
Modern Methods in Drug Discovery (Hutter)
Structural Bioinformatics (Kalinina)
 
 
 
Language Science and Technology    
   
A. Language Science and Technology   (Sprachwissenschaft und Sprachtechnologie)    
Einführung in die Phonetik und Phonologie (Möbius, Werner)
Explainability Methods for Neural Networks (Pylypenko)
Mathematical Logic (Saurer)
Mathematische Grundlagen der Computerlinguistik II (Saurer, Thater)
Semantic Theory (Venhuizen, Brouwer)
Speech Science (Möbius)
Statistical Natural Language Processing (Klakow)
 
 
 
Mathematics    
   
i. Mathematics basic courses   (Vorlesungen Mathematik: Erster Studienabschnitt und Hörer anderer Fachrichtungen)    
Analysis 1 (Bender)
Analysis 2 (Bender)
Einführung in die Numerik (Rjasanow, Seibel)
Höhere Mathematik für Ingenieure 1-4 (Bildhauer, Schuster, Speicher, Rjasanow)
Lineare Algebra 1-2 (Lazić)
Mathematik für Naturwissenschaftler 1-2 (Lazić)
Mathematik für Studierende der Biologie und des Lehramtes Chemie (Schillo)
Programmierung (Schuster)
 
 
ii. Mathematics core courses   (Vorlesungen Mathematik Hauptstudium)    
Algebra (Lazić)
Algebraische Geometrie III (Lazić)
Algebraische Zahlentheorie (Brandhorst)
Analytische Geometrie (Brandhorst)
Complex Analysis (Funktionentheorie) (Eschmeier)
Continuous Optimization (Ochs)
Funktionalanalysis I (Eschmeier)
Funktionalanalysis II (Hartz)
Funktionentheorie 2: Hardyräume (Eschmeier)
Inverse Problems (Schuster)
K3 Flächen (Brandhorst)
Mathematical Aspects of Quantum Mechanics (Speicher)
Topologie II (Eschmeier)
 
 
iii. Mathematics didactics   (Mathematik Didaktik)    
Elementarmathematik (Lambert)
Grundschuldidaktik (Dziubany)
Höhere Mathematik (Lambert)