Description
The course discusses automated theorem proving (including equality) for first-order logic, resolution and paramodulation, application of automated theorem provers to first-order logic.
Schedule
| week | date | slides | solutions | remarks |
|---|---|---|---|---|
| 1 | 19.05 | |||
| 2 | 26.05 | |||
| 3 | 02.06 | 3.tgz | ||
| 4 | 09.06 | 4.ml | ||
| 5 | 16.06 | 5.tgz | ||
| 6 | 23.06 | the assignments for the last lecture are the (virtual) exam |