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 first-order-logic.
-
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)
Sources
There are currently no sources for this slide.