Modeling

Course, bachelor, winter 2021, L.079.05102

Lecture

• Instructor. Henning Wachsmuth
• Location. L 1
• First date. October 11, 2021
• Last date. February 1, 2022
• Time. Monday, 11am – 1pm; Tuesday, 11am – 1pm

Tutorials

• Instructors. David Liedtke, Maximilian Spliethöver, Alexander Tornede, and others
• Location. Various
• First date. October 19, 2021
• Last date. February 4, 2022
• Time. Tuesday, 4pm – 6pm through Friday, 4pm – 6pm

• PANDA will be used for the course. Most information will be provided there.
• This course will take place in German.

Modeling is a fundamental method of computer science, which is applied in all areas. Tasks, problems, and structures are studied and described as a whole or in partial aspects, before they are solved or implemented by designing software, algorithms, data, and/or hardware.

Modeling a problem makes apparent whether and how the problem has been understood. Thus, modeling is a prerequisite and benchmark for solving the problem, and it usually also provides the key for a systematic design.  A wide range of problem and task specific calculi and notations are available as means of expression for modeling. Therefore, different modeling methods are used in different areas of computer science. The importance of modeling and the variety of its methods are naturally particularly pronounced in design-oriented areas such as software engineering and hardware design.

The course will cover lectures on the following topics:

1. Introduction
2. Foundations of formal calculi
3. Graphs
4. First order logic
5. Predicate logic
6. Uncertainty
7. Regular expressions
8. Finite state automata
9. Grammars
10. Petri nets

This is a 4+2 course, that is, two 2-hours lectures plus one 2-hours tutorial take place each week. Lecutre slides and other material will be provided via PANDA.