Current Slide
Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.
Automatic theorem proving

Automatic theorem proving deals with the design and implementation of computer programmes that are capable of making mathematical proofs.

Theorem provers deduce new formulas from given formulas via logical deduction rules until the target formula is found.

Theoretical foundation of automated theorem proving: mathematical logic; typically firstorderlogic.

Formulas are mathematically precisely defined via interpretations (provide semantics for function and predicate symbols via mappings and relations respectively)
Speaker notes:
Content Tools
Tools
Sources (0)
Tags (0)
Comments (0)
History
Usage
Questions (0)
Playlists (0)
Quality
Sources
There are currently no sources for this slide.