LFU:online

Logic is defined as the study of the principle of reasoning. The lecture extends the introductory logic course given in the bachelor program. And the content of the latter course is a prerequisite. This lecture is part of the elective module "Automated Reasoning".

Automated theorem proving (including equality) for first-order logic, resolution and paramodulation,  application of automated theorem provers to first-order logic

Continuous assessment (based on regular written and/or oral contribution by participants).

Lecture, assessment is based on a single examination at the end of the course.

Course examination according to § 7, statute section on "study-law regulations"

Will be discussed in the course.

703823 Automatic Theorem Proving + 703824 Computational Logic can be used for the elective module Automatic Proving (WM1). See https://www.uibk.ac.at/informatik/studium/anerkennung.html.en ('Zuordnungsbestätigung')