BTU overview
Faculty 1
Study programme Computer Science Master of Science (M.Sc.)

The three pillars (complexes) of computer science

The following table outlines the contents of the three pillars (complexes) of computer science. In the Teaching Information Portal, the level and the affiliation to the pillars are noted in the module directory ("Modules" button) for the computer science modules, namely in the module descriptions in the Remarks field.

Basics of Computer SciencePractical Computer ScienceApplied and Technical Computer Science
Theoretical foundations
  • algebraic and logical concepts
  • Logic
  • recursion theory
  • automata theory
  • replacement systems
  • formal languages
  • program schemas
  • process theory
  • networks
  • type theory
  • complexity theory
Algorithmic basics
  • Data Structures
  • Design and analysis of algorithms
  • Verification
  • Special algorithms (cryptology, discrete transformations, arithmetic algorithms)
  • Theory of information systems
Fundamentals of programming languages
  • Semantics of programming languages
  • Compiler techniques
  • Specification languages and techniques
  • programming language paradigms (imperative, logical, functional, object-oriented, ...)
databases and information systems
  • models and modeling
  • database languages
  • Security concepts
  • Federated databases
  • Knowledge bases
  • Implementations
Graphical Systems
  • Graphical algorithms
  • geometric transformations
  • algorithmic geometry
  • graphics hardware
  • graphical surfaces
  • graphical-interactive simulation
design methods and tools
  • design methodology for large systems
  • specification, simulation and verification
  • automatic synthesis
  • HW/SW codesign
  • systematic system design
  • test-friendly design
  • fault tolerance
  • software reliability
distributed systems
  • Performance evaluation
  • Modeling
  • Concurrency
  • Synchronization
  • Client-Server Systems
  • Distribution platforms
  • Transactional systems
Multimedia services
  • video conferencing
  • interactive television
  • computer cooperative work
Hardware
  • Semiconductors
  • integration techniques
  • Circuit Design
  • Computer Architecture
  • Failure behavior, reliability
  • Testability
computer based systems
  • embedded HW/SW systems
  • digital signal processing
  • real-time systems
computer networks and communication systems
  • architecture and standards
  • protocol engineering
  • High-performance communications