Notes for the tutorial classes
My office hours in the summer semester 2017 are on Wednesdays, 9:30 am in the room 104 (note that this is not Logic Department).
I posted some short notes for the course, covering most important definitions. The notes may be still slightly expanded.
Above you will find a homework assignment for June 2. I have also posted a revised version of the note for May 12 with some bugs fixed (in particular, a definition what is a frame for the intuitionistic logic has changed!) and Mateusz' notes, which contain some definitions I ommitted.
In the homework assignment for May 12th you will find a short note on what we have done in the last problem class.
I have posted a new set of exercises. Please note that there will be a short test during the class next week.
My office hours on April 12th and 19th are cancelled.
Grades will be assigned basing on short tests. There will be approximately 10 of these and they will consist of one or two simple questions each.
We are still not sure, whether you will have a chance to resit the tests and most likely you will not have before the exam session, so regular work is quite essential.
Our classes will take place on Thursdays, 9:45 am in room 102.