703823 VU Automatic Theorem Proving

summer semester 2020 | Last update: 07.10.2020 Place course on memo list
703823
VU Automatic Theorem Proving
VU 2
4
weekly
every 2nd year
English

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.

not applicable

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')

see dates
Group 0
Date Time Location
Tue 2020-05-19
09.15 - 12.00 3W03 3W03 Barrier-free
Tue 2020-05-26
09.15 - 12.00 3W03 3W03 Barrier-free
Thu 2020-05-28
13.15 - 15.00 3W03 3W03 Barrier-free
Tue 2020-06-02
09.15 - 12.00 3W03 3W03 Barrier-free
Thu 2020-06-04
13.15 - 15.00 3W03 3W03 Barrier-free
Tue 2020-06-09
09.15 - 12.00 3W03 3W03 Barrier-free
Tue 2020-06-16
09.15 - 12.00 3W03 3W03 Barrier-free
Thu 2020-06-18
13.15 - 15.00 3W03 3W03 Barrier-free
Tue 2020-06-23
09.15 - 12.00 3W03 3W03 Barrier-free
Thu 2020-06-25
13.15 - 15.00 3W03 3W03 Barrier-free