en | de

Logic

bachelor program

VO3 + PS2  SS 2021  703026 + 703027


Content

The course provides an introduction to logic and model checking.