Posts Tagged ‘Theorem provers’

An Overview of Temporal Logic at Advanced Course of Applied Logics at Tallinn University of Technology

Saturday, March 12th, 2011

This week was prominent because of a mandatory assignment being completed at university. An overview of Temporal logic was a duty for Advanced Course of Applied Logics. A common notion of a logic is explained. A formal grammar and a difference of expressiveness is addressed. Application techniques and fields for utilization are specified.

(more…)

An Overview of Automated Theorem Provers at Advanced Course of Applied Logics at Tallinn University of Technology

Wednesday, April 14th, 2010

Today is a due date for presenting a completed assignment at university. The course is Advanced Course of Applied Logics and its mandatory assignment is an overview of Automated Theorem Provers. The meaning of Automated Theorem Provers (ATP) is clarified, if it is known what Automated Theorem Proving means. Particularly, it is the proving of some statement (theorem) on the basis of previously proved (other theorems) or accepted other statements (axioms).

(more…)