The exercises are related to the lecture Foundations of Informatics I.

Multiple exercises are held that capture the topics, held in the lecture Foundations of Informatics I, and discuss them in detail. Thereby, practical examples are given to the students in order to transfer theoretical aspects into practical implementation.

The following topics are covered:

• Object Oriented Modeling
• Logic (Propositional Calculus, Predicate Logic, Boolean Algebra)
• Algorithms and Their Properties
• Sort-and Search-Algorithms
• Complexity Theory
• Problem Specification
• Dynamic Data Structures

Learning objectives:

The student

• is able to formalise tasks in the domain of informatics and is able to identify solution methods
• knows the basic terminology of computer science and is capable of applying these terms to different problems.
• knows basic programming structures and is able to apply them (particularly simple data structures, object interaction and implementation of basic algorithms).

• H. Balzert. Lehrbuch Grundlagen der Informatik. Spektrum Akademischer Verlag 2004.
• U. Schöning. Logik für Informatiker. Spektrum Akademischer Verlag 2000.
• T. H. Cormen, C. E. Leiserson. Introduction to Algorithms, MIT Press 2001.