To complete a module you have to select courses with a total of at least 12 ECTS from the corresponding list. For individual changes contact the local coordinator, Gernot Salzer.
| Module | Number | |
|---|---|---|
| Computational Logic for Information Technology | EMCL-A-CLIT | Reinhard Pichler |
| Knowledge
Representation |
EMCL-A-KR | Thomas Eiter |
| Logical Foundations | EMCL-A-LF | Alexander Leitsch |
| Modeling and
Verification |
EMCL-A-MV | Helmut Veith |
| Principles of Computation | EMCL-A-PC | Thomas Eiter |
| Principles of Inference | EMCL-A-PI | Alexander Leitsch |
At least one lecture (type VO or VU) has to be selected, and at most two seminars (type SE) can be selected.
At least one lecture (type VO or VU) has to be selected, and at most two seminars (type SE) can be selected.
At least one lecture (type VO or VU) has to be selected, and at most two seminars (type SE) can be selected.
At least one lecture (type VO or VU) has to be selected, and at most two seminars (type SE) can be selected.
Note:The lectures Model Checking (195.011) and Computer Aided Verification (181.145) are mutually exclusive, you cannot choose both.
At least one lecture (type VO or VU) has to be selected, and at most two seminars (type SE) can be selected.
At least one lecture (type VO or VU) has to be selected, and at most two seminars (type SE) can be selected.