Automated Reasoning (326.0AR)
The course is an introduction to automated reasoning. Students get acquainted with automated reasoning techniques and tools from the point of view both of theoretical foundations and practical application, as well as selected advanced topics.
Summer Semester 2026.
| Number: | 326.0AR |
| Title: | Automated Reasoning |
| Lecturers: | Tudor Jebelean and Temur Kutsia |
| Time and place: | Tuesday, 09:15 - 11:45, online (Zoom link in Moodle)
|
| Language: | English |
| First meeting: | March 3 |
| Registration: | Via the KUSSS system |
| Grading: | Written exam (physical presence) at the end of the semester |
