en | de

Automatisches Theorembeweisen

Masterstudium

VO2 + PS1  WS 2015/2016  703608 + 703609

Description

This lecture is part of the elective module "Automated Reasoning". The lecture introduces the concepts of automated theorem proving. The following topics will be discussed in the course:


Automated Theorem Provers (including Equality) for First-Order Logic
Resolution and Paramodulation
Application of Automated Theorem Provers for First-Order Logic

Lecture Notes

Lecture Notes (3rd edition, double-sided)    pdf    errata

Additional Material

Further Reading

Source