Automated Reasoning
Part 1: Propositional Logic and First-Order Predicate Logic (Tudor Jebelean)
Basic proof methods and their automation in propositional logic and first-order predicate logic.
7 seminars and 7 lectures online
Seminars take place
Part 2: Equational Logic (Teimuraz Kutsia)
- Teacher: Tudor Jebelean
- Teacher: Teimuraz Kutsia