Seminar: Logic and Algebra
| Lecturer | Prof. Dr. Gerhard Jäger, Prof. Dr. George Metcalfe |
| Lecture Number | S6084 |
| ECTS credits | 5 |
| Start | February 23, 2012 |
| Time |
|
| Venue | Lecture room A97 |
| Content | This seminar provides an introduction to some selected topics from the area of "proofs and computations". After introducing basic deductive systems, we turn to systems of arithmetic and inductive definitions and study their computational content. Later we turn to so-called linear two-sorted arithmetic, a framework which is tailored for dealing with questions of computational complexity. |
| Remarks | Suitable for students interested in logic and in the foundations of mathematics and/or computer science. This seminar is also especially suitable for students interested in current research or considering a thesis in theoretical computer science and logic. |
| Requirements | Basic knowledge in mathematical logic and/or theoretical computer science. |
| References | Main reference: Proofs and Computations, H. Schwichtenberg and S. S. Wainer, Cambridge University Press, 2011. Parts of the text will be available online. |
| Repetition | Every semester with varying contents. |
