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.
Posts Tagged ‘Logics’
An Overview of Temporal Logic at Advanced Course of Applied Logics at Tallinn University of Technology
Saturday, March 12th, 2011An Overview of Automated Theorem Provers at Advanced Course of Applied Logics at Tallinn University of Technology
Wednesday, April 14th, 2010Today 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).
Programming Languages Presentation at Preparatory Course for English for Science and Research at Tallinn University of Technology
Thursday, November 19th, 2009Yesterday I gave a presentation at a lesson of the English language. It took place in the evening at the end of the lesson. As a student of Tallinn University of Technology, I was failed in a compliance to an English test, so now it is necessary to attend the Preparatory Course for English for Science and Research. In order to pass an examination, it is needed of a few tasks and the one of those tasks is the presentation.