Modeling
Course, bachelor, winter 2021, L.079.05102
General
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
Announcements
- PANDA will be used for the course. Most information will be provided there.
- This course will take place in German.
Description
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.
Syllabus
The course will cover lectures on the following topics:
- Introduction
- Foundations of formal calculi
- Graphs
- First order logic
- Predicate logic
- Uncertainty
- Regular expressions
- Finite state automata
- Grammars
- 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.