185.A54 Theoretical Computer Science and Logics
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2015S, VU, 2.0h, 3.0EC, to be held in blocked form


  • Semester hours: 2.0
  • Credits: 3.0
  • Type: VU Lecture and Exercise

Aim of course

Learning  concepts and methods of theoretical computer science, augmenting and deepening the skills acquired in the course "Formale Modellierung". To this aim basic mathematical skills have to be mastered and trained, respectively. (e.g., structural induction, instantiation of abstract concepts in various different examples, using formal languages to specify different forms of information.) Moreover knowledge of important basic results in formal languages as well as propositional and predicate logics is to be achieved.

Subject of course

Specification of of formal languages: regular and context free languages (deepening), Chomsky hierarchy, finite automata (deepening), push-down auomata, Turing machines; elements of complexity theory; syntax-semantic interface, model structures, terms and boolean expressions; classical propositional and first order logic: logical consequence and implication, normal forms.

Additional information

This course is given for students of the bachelor in Business Informatics.

Further informations concerning this lecture see:

185.A55 VU Theoretische Informatik und Logik für Wirtschaftsinformatik

Yet next winter I'll provide the course Theoretische Informatik und Logik für Lehramt Informatik, Teil 2, supplementing this one to the full extent of the course Theoretical Computer Science and Logics needed in any bachelor of Informatics.

ECTS-Breakdown (sum=75h, corresponding to 3 ECTS):

12h: attending lectures
12h: reflecting lectures
24h: preparing solutions for exercises
4h:  presenting solutions for exercises
21h: preparation for final exam
2h:  final written exam



Course dates

Tue16:00 - 18:0010.03.2015EI 3 Sahulka HS 185.A54: Theoretische Informatik und Logik für Lehramt Informatik, Teil 1
Course is held blocked

Examination modalities

  • various sets of excerises
  • two verbal examinations
  • wrtten examination

Course registration

Begin End Deregistration end
16.02.2015 12:00 06.03.2015 12:00 07.03.2015 12:00



No lecture notes are available.

Previous knowledge

  • Basic concepts of formal languages: regular languages, finite automata, formal grammers
  • Syntax and semantics of classic logics

Preceding courses