703609 Automated Reasoning
winter semester 2013/2014 | Last update: 01.10.2013 | Place course on memo list703609
Automated Reasoning
PS 1
2
weekly
annually
English
Logic is defined as the study of reasoning. The modul extends the lecture on logic in the bachelor studies.
Syntax, semantics and formal systems of first-order logic (with equality), extensions of first-order logic, like modal logics or second-ordr logic, Curry-Howard isomorphism, automated reasoning (with equality) for first-order logic, resolution and paramodulation.
Continuous assessment (based on regular written and/or oral contribution by participants).
Course examination according to § 7, statute section on "study-law regulations"
Will be discussed in the first lesson.
09.10.2013
- Faculty of Mathematics, Computer Science and Physics
|
Group 0
|
||||
|---|---|---|---|---|
| Date | Time | Location | ||
|
Wed 2013-10-02
|
17.15 - 18.00 | 3W03 3W03 | Barrier-free | |
|
Wed 2013-10-09
|
17.15 - 18.00 | 3W03 3W03 | Barrier-free | |
|
Wed 2013-10-16
|
17.15 - 18.00 | 3W03 3W03 | Barrier-free | |
|
Wed 2013-10-23
|
17.15 - 18.00 | 3W03 3W03 | Barrier-free | |
|
Wed 2013-10-30
|
17.15 - 18.00 | 3W03 3W03 | Barrier-free | |
|
Wed 2013-11-06
|
17.15 - 18.00 | 3W03 3W03 | Barrier-free | |
|
Wed 2013-11-13
|
17.15 - 18.00 | 3W03 3W03 | Barrier-free | |
|
Wed 2013-11-20
|
17.15 - 18.00 | 3W03 3W03 | Barrier-free | |
|
Wed 2013-11-27
|
17.15 - 18.00 | 3W03 3W03 | Barrier-free | |
|
Wed 2013-12-04
|
17.15 - 18.00 | 3W03 3W03 | Barrier-free | |
|
Wed 2013-12-11
|
17.15 - 18.00 | 3W03 3W03 | Barrier-free | |
|
Wed 2014-01-08
|
17.15 - 18.00 | 3W03 3W03 | Barrier-free | |
|
Wed 2014-01-15
|
17.15 - 18.00 | 3W03 3W03 | Barrier-free | |
|
Wed 2014-01-22
|
17.15 - 18.00 | 3W03 3W03 | Barrier-free | |
|
Wed 2014-01-29
|
17.15 - 18.00 | 3W03 3W03 | Barrier-free | |