Proof theory and automated theorem proving 2021/2022 (Official code: 569076)
Lecturers: Joost J. Joosten (for the last two-and-a-half credits) and Juan Carlos Martinez Alonso (for the first two-and-a-half credits)
A course of 5 credits corresponds to 42 contact hours. Since we do three hours a week, this will correspond to 14 weeks.
The lectures will take place in rooms yet to be announced.
The time schedule will be
Somedays: ??:00 -- ??:30;
Wednesdays: ??:00 -- ??:30.
For the first seven weeks,
Tuesdays: ??:00 -- ??:00;
Wednesdays: ??:00 -- ??:00.
For the last seven weeks. The last seven weeks are in Room ??.
The official teaching time table of the master in the first semester is given by
Docència i avaluació primer semestre
Docència: del 13 de setembre de 2021 al 4 de febrero de 2022
Avaluació continuada: del 13 de setembre de 2021 al 4 de febrer de 2022
Avaluació única: del 10 de gener de 2022 al 4 de febrer de 2022
Reavaluació: 7 de febrer de 2022 al 15 de febrer de 2022
The course consist of two parts of equal weight. The first part is on automated theorem proving and is given by prof. Juan Carlos Martinez Alonso. The second part focuses on the more theoretical part of Proof Theory and is given by Joost J. Joosten. The final grade is determined by the average of the grades obtained for the two respective parts. Homework consists of 25 % of the grade and 75 % of the grade is constituted by exams. There will be a final exam (mid-term) in the middle of the course for the Automated Theorem proving part, and a final exam for the Proof Theory part of the course at the end.
All materials and assignments will also be placed on this page.
As mentioned, the lecturers are Joost J. Joosten and Juan Carlos Martinez Alonso. The best way to contact one of us is by sending us a mail. You can also come around to see if we're in. Joost is in the Montalegre building in Room 4045 with phone number +34 934031939. Juan Carlos has telephone number 934021661 and his office is located in the Faculty of Mathematics (Gran Via 585). Here is a link to the official course description.
We will start ???. The first seven weeks will be taught by Juan Carlos Martínez Alonso and the last seven weeks by Joost J. Joosten.
THE REMAINDER OF THIS PAGE WILL BE UPDATED SHORTLY
13/9 through 17/9.
Juan Carlos starts the course on ???.
20/9 through 24/09.
27/09 - 01/10
4/10 - 8/10
11/10 -- 15/10.
18/10 -- 22/10.
25/10 through 29/10.
01/11 - 05/11
8/11 -- 12/11.
15/11 -- 19/11.
22/11 -- 26/11
29/11 -- 03/12
06/12 -- 10/12
13/12 -- 17/12
20/12 -- 24/12
Some time January
Question and answer