Proof theory and automated theorem proving 2021/2022 (Official code: 569076)

Organisation

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

Week 1 Week 2
Week 3 Week 4
Week 5 Week 6
Week 7 Week 8
Week 9 Week 10
Week 11 Week 12
Week 13 Week 14

Week 1

13/9 through 17/9. Juan Carlos starts the course on ???.



Week 2

20/9 through 24/09.

Week 3

27/09 - 01/10

Week 4

4/10 - 8/10

Week 5

11/10 -- 15/10.

Week 6

18/10 -- 22/10.

Week 7

25/10 through 29/10.

Week 8

01/11 - 05/11

Week 9

8/11 -- 12/11.

Week 10

15/11 -- 19/11.

Week 11

22/11 -- 26/11

Week 12

29/11 -- 03/12

Week 13

06/12 -- 10/12

Week 14

13/12 -- 17/12

Week 15

20/12 -- 24/12

Week 16

Some time January

Final Exam

Question and answer

Question

Q:

Answer

A.:

Question

Q

Answer

A.

Question

Q

Answer

A.

Question

Q

Answer

A.

Question

Q

Answer

A.

Question

Q

Answer

A.