Proof complexity in Spring 2021
Here is some info about the Proof complexity course under the special coronavirus regime during the summer semester 2020/21.Lectures
See special lecture page.Exam
The questions will be the same two as in ordinary semester.
The exams will be - unless the regulations will change - via zoom. You will prepare in advance your presentations (scanned hand-written notes are OK) of both questions and I pick one. Both questions are complex and even with notes you cannot present them, and answer my questions "how things work", without really understanding the issues.Zoom
ID: 396 697 4589
https://cuni-cz.zoom.us/j/3966974589
Password: I will send the password to all students who signed up for the course by 25.II.2021. If you will join the course later write me for the password.
After you joining the meeting you will find yourself in a waiting room - this is just a precaution to avoid unwanted visitors.
For the same reason please join each meeting under your *full real name*. Only those who signed up for the course will be let in.
Please mute your microphone before entry - you can unmute it when asking a question or making a comment.
On the other hand it would be nice if you have your video on when joining and you switch it off - to avoid bandwidth problems - only after the lecture starts. Of course, put it on when asking a question.Schedule
According to the schedule in the SIS. I will usually open the zoom room cca 5 minutes before the lecture starts.Syllabus and literature
Same as in ordinary year (see the main course page) although we may, as the semester progresses, abbreviate or skip some topics.
The main text is my 2019 book "Proof complexity"; I will explicitly relate each lecture on the lecture page to relevant pages there.
Even the published book can be found online. If you have a difficulty with it, send me an email.Consultations
Via email or, if you will have more questions at the same time, we can set up a zoom consultation. Please do not hesitate to write frequently and ask even short and simple questions.
I will also start each lecture by answering questions about previous lectures.