Instructions

The Fall 2020 Edition of Computational Logic is delivered using the Flipped Classroom methodology¹, which requires a bit more work on your side during the course (and also on our side), but should yield considerably better results.

In synthesis…

Before the lesson:

• Watch videos and read the material which will be discussed during the next lesson in person. If in doubt, consult the Calendar for the current assignment.
• Post your question and doubts by opening issues on the cl-2020 repository on GitHub, where this website is hosted, on the Thursday before the lesson. To avoid useless work on both sides, make sure you check the open issues before posting a new question. Note that you might need to register on GitHub, if you don’t have an account.

During the lesson:

• The lesson is dedicated to answering questions and solving doubts and issues. The issues are then used to enrich the material on this website (including the Q&A page) and closed on GitHub.
• Questions will be processed from the oldest to the most recent lesson. Thus, for instance, questions about lesson 4 will be answered before any questions lesson 5.

After the lesson:

• We close the issues which have been answered, we update the website with the answers to the questions and other material, to help clarify the difficult parts.

Among the advantages:

• Students who can take the course are less likely to lose touch with the subject
• Students who cannot attend the course have the possibility of consulting the same material other students have
• We all benefit from the fact that the doubts recurring most often find answers which are reported on the website.

In order to favor interaction from everyone we might impose limits and select the questions we answer.