703608 Automatic Theorem Proving
winter semester 2015/2016 | Last update: 29.08.2016 | Place course on memo list703608
Automatic Theorem Proving
VO 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
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 first lesson.
see dates
- Faculty of Mathematics, Computer Science and Physics
|
Group 0
|
||||
|---|---|---|---|---|
| Date | Time | Location | ||
|
Fri 2015-10-09
|
13.15 - 15.00 | 3W03 3W03 | Barrier-free | |
|
Fri 2015-10-16
|
13.15 - 15.00 | 3W03 3W03 | Barrier-free | |
|
Fri 2015-10-23
|
13.15 - 15.00 | 3W03 3W03 | Barrier-free | |
|
Fri 2015-10-30
|
13.15 - 15.00 | 3W03 3W03 | Barrier-free | |
|
Fri 2015-11-06
|
13.15 - 15.00 | 3W03 3W03 | Barrier-free | |
|
Fri 2015-11-13
|
13.15 - 15.00 | 3W03 3W03 | Barrier-free | |
|
Fri 2015-11-20
|
13.15 - 15.00 | 3W03 3W03 | Barrier-free | |
|
Fri 2015-11-27
|
13.15 - 15.00 | 3W03 3W03 | Barrier-free | |
|
Fri 2015-12-04
|
13.15 - 15.00 | 3W03 3W03 | Barrier-free | |
|
Fri 2015-12-11
|
13.15 - 15.00 | 3W03 3W03 | Barrier-free | |
|
Fri 2015-12-18
|
13.15 - 15.00 | 3W03 3W03 | Barrier-free | |
|
Fri 2016-01-15
|
13.15 - 15.00 | 3W03 3W03 | Barrier-free | |
|
Fri 2016-01-29
|
13.15 - 15.00 | 3W03 3W03 | Barrier-free | |
|
Thu 2016-10-06
|
10.00 - 12.00 | Seminarraum 1 (ICT-Gebäude) Seminarraum 1 (ICT-Gebäude) | Barrier-free | Klausur |