703823 VU Automatic Theorem Proving
summer semester 2020 | Last update: 07.10.2020 | Place course on memo listLogic 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')
- Faculty of Mathematics, Computer Science and Physics
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 |