en | de

Logik

Bachelorstudium

VO3 + PS2  WS 2015/2016  703026 + 703027


Inhalt

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