en | de

Logic

bachelor program

VO3 + PS2  WS 2015/2016  703026 + 703027


Content

The course provides an introduction to logic and model checking. The following topics are discussed: