Lehramt für Informatik

• Fundamentals of Theoretical Computer Science

  0086bA3.1
  • 19301201 Lecture
    Foundations of Theoretical Computer Science (Günther Rothe)
    Schedule: Mo 10:00-12:00, zusätzliche Termine siehe LV-Details (Class starts on: 2025-10-20)
    Location: T9/Gr. Hörsaal (Takustr. 9)
    

    Comments

    Contents:

    • models of computation
      • automata
      • formal languates
      • grammars and the Chomsky-hierarchy
      • Turing-machines
      • computabilty
    • introduction to the complexity of computational problems

    Suggested reading

    • Uwe Schöning, Theoretische Informatik kurzgefasst, 5. Auflage, Spektrum Akademischer Verlag, 2008
    • John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman, Einführung in die Automatentheorie, Formale Sprachen und Komplexität, Pearson Studium, 3. Auflage, 2011
    • Ingo Wegener: Theoretische Informatik - Eine algorithmenorientierte Einführung, 2. Auflage, Teubner, 1999
    • Michael Sipser, Introduction to the Theory of Computation, 2nd ed., Thomson Course Technology, 2006
    • Wegener, Kompendium theoretische Informatik - Eine Ideensammlung, Teubner 1996

  • 19301202 Practice seminar
    Practice seminar for Foundations of Theoretical Computer Science (Günther Rothe)
    Schedule: Mo 12:00-14:00, Di 16:00-18:00, Mi 08:00-10:00, Mi 14:00-16:00, Mi 16:00-18:00, Fr 14:00-16:00, zusätzliche Termine siehe LV-Details (Class starts on: 2025-10-13)
    Location: A7/SR 031 (Arnimallee 7)
    

• Database Systems

  0086bA3.3
  • 19301501 Lecture
    Database Systems (Katharina Baum)
    Schedule: Di 10:00-12:00, Di 12:00-13:00, Di 14:00-16:00, Do 10:00-12:00, zusätzliche Termine siehe LV-Details (Class starts on: 2025-10-14)
    Location: T9/SR 005 Übungsraum (Takustr. 9)
    

    Additional information / Pre-requisites

    Requirements

    • ALP 1 - Functional Programming
    • ALP 2 - Object-oriented Programming
    • ALP 3 - Data structures and data abstractions
    • OR Informatik B

    Comments

    Content

    Database design with ERM/ERDD. Theoretical foundations of relational database systems: relational algebra, functional dependencies, normal forms. Relational database development: SQL data definitions, foreign keys and other integrity constraints, SQL as applicable language: essential language elements, embedding in programming language. Application programming; object-relational mapping. Security and protection concepts. Transaction subject, transactional guaranties, synchronization of multi user operations, fault tolerance features. Application and new developments: data warehousing, data mining, OLAP.

    Project: the topics are deepened in an implementation project for student groups.

    Suggested reading

    • Alfons Kemper, Andre Eickler: Datenbanksysteme - Eine Einführung, 5. Auflage, Oldenbourg 2004
    • R. Elmasri, S. Navathe: Grundlagen von Datenbanksystemen, Pearson Studium, 2005

  • 19301502 Practice seminar
    Practice seminar for Database systems (Pascal Iversen)
    Schedule: Mi 12:00-14:00 (Class starts on: 2025-10-15)
    Location: T9/049 Seminarraum (Takustr. 9)
    

• Modules w/o courses in this semester

  7 Modules
  • Software Lab 0087bA1.6
  • Computer Science A 0132bA1.1
  • Computer Science B 0132bA1.2
  • Proseminar: Computer Science 0086bA3.2
  • Logic and Discrete Mathematics 0086bA4.1
  • Application Systems (The Impact of Computer Science) 0159bA1.1
  • Software Technology 0159bA1.2