703608 Automatic Theorem Proving
winter semester 2013/2014 | Last update: 01.10.2013 | Place course on memo list703608
Automatic Theorem Proving
VO 2
4
weekly
annually
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.
02.10.2013
- Faculty of Mathematics, Computer Science and Physics
|
Group 0
|
||||
|---|---|---|---|---|
| Date | Time | Location | ||
|
Wed 2013-10-02
|
15.15 - 17.00 | 3W03 3W03 | Barrier-free | |
|
Wed 2013-10-09
|
15.15 - 17.00 | 3W03 3W03 | Barrier-free | |
|
Wed 2013-10-16
|
15.15 - 17.00 | 3W03 3W03 | Barrier-free | |
|
Wed 2013-10-23
|
15.15 - 17.00 | 3W03 3W03 | Barrier-free | |
|
Wed 2013-10-30
|
15.15 - 17.00 | 3W03 3W03 | Barrier-free | |
|
Wed 2013-11-06
|
15.15 - 17.00 | 3W03 3W03 | Barrier-free | |
|
Wed 2013-11-13
|
15.15 - 17.00 | 3W03 3W03 | Barrier-free | |
|
Wed 2013-11-20
|
15.15 - 17.00 | 3W03 3W03 | Barrier-free | |
|
Wed 2013-11-27
|
15.15 - 17.00 | 3W03 3W03 | Barrier-free | |
|
Wed 2013-12-04
|
15.15 - 17.00 | 3W03 3W03 | Barrier-free | |
|
Wed 2013-12-11
|
15.15 - 17.00 | 3W03 3W03 | Barrier-free | |
|
Wed 2014-01-08
|
15.15 - 17.00 | 3W03 3W03 | Barrier-free | |
|
Wed 2014-01-15
|
15.15 - 17.00 | 3W03 3W03 | Barrier-free | |
|
Wed 2014-01-22
|
15.15 - 17.00 | 3W03 3W03 | Barrier-free | |
|
Wed 2014-01-29
|
15.15 - 17.00 | 3W03 3W03 | Barrier-free | |