The course will provide the students with an in-depth introduction to Boolean networks, a discrete dynamical model of interacting entities, commonly employed in life science applications, predominantly gene regulation networks.
The students will learn not only about modelling with Boolean networks, but also about analysis methods, including an introduction to model checking.
No formal requirements. The course touches up on the following topics, the prior knowledge of can be beneficial, but is not necessary: formal (mathematical) logic, formal languages and automata, graph theory, complexity theory.
Frequency | Weekday | Time | Format / Place | Period | |
---|---|---|---|---|---|
weekly | Fr | 12-14 | U10-146 | 13.10.2025-06.02.2026 |
Module | Course | Requirements | |
---|---|---|---|
39-Inf-WP-CLS Computational Life Sciences (Basis) | Einführende Vorlesung | Student information | |
- | Graded examination | Student information |
The binding module descriptions contain further information, including specifications on the "types of assignments" students need to complete. In cases where a module description mentions more than one kind of assignment, the respective member of the teaching staff will decide which task(s) they assign the students.