automated theorem proving in first order and higher order
play

Automated Theorem Proving in First-Order and Higher-Order Logic - PowerPoint PPT Presentation

Automated Theorem Proving in First-Order and Higher-Order Logic Christoph Benzm uller Department of Computer Science, Saarland University Lecture Course Saarbr ucken, Germany Lecture Course c Benzm uller 2004 Module


  1. Automated Theorem Proving in First-Order and Higher-Order Logic Christoph Benzm¨ uller Department of Computer Science, Saarland University Lecture Course Saarbr¤ ucken, Germany Lecture Course �

  2. � c Benzm¤ uller 2004

  3. � Module Outline (To be discussed) ATP in FOL and HOL Pr o p o s it io na l Lo g ic a nd F ir s t -O r d e rLo g ic ( F O L) � I c Benzm¤ uller 2004

  4. � Pre-Test ATP in FOL and HOL T a k e a sh eet of pa per a nd t r y t o a nsw er t h e f ol l ow i ng q u est i ons: 1 . E ncode t h e f ol l ow i ng st a t em ent i n a set of pr oposi t i ona l l og i c f or m u l a s S : c Benzm¤ uller 2004

  5. � c Benzm¤ uller 2004

Recommend


More recommend