ANNOUNCEMENTS:

• NO MEETING on November 10 and November 17!
• We will be meeting on Wednesdays 11:30 -- 14:30 at Complexo Interdisciplinar, room B-3-1. Follow this link and "Location" at the bottom for a pretty good map.

MEETINGS:

• Professor: Alex Usvyatsov.
• This class meets on Wednesdays, 11:30 - 14:30 at B.3.1 at Complexo Interdisciplinar.

GENERAL INFO:

• This is a course on the basics of Mathematical Logic.
• The grade will be based on the exercises, so please make sure you do and submit them! There will be an exercise sheet every week.
• The essential homework problems (or subproblems) will be marked with a "*". It is important to write down full solutions for these ones. You do not have to write down the solutions for the other problems, just make sure you know how to solve them.
• The problems marked by "**" are an important part of the class material, so I am going to especially make sure that everybody solves them fully and correctly.
• If you miss a lecture, please note that it is your responsibility to make up the material which was covered. Since I am not following any particular book at this point, the best way would be to copy notes from other students. I will also try to give you links and pointers to relevant online materil.
• I recommend that you check out the book "A mathematical introduction to logic" by H. Enderton from the library - it is a good source for most of what we are going to cover.

MORE SPECIFIC INFO:

• If you missed the first lecture, please make up the covered material from Claudia. In the meanshile, here are pretty good online notes which correspond to what we have done so far (I am using slightly different notations and names). Read up to "Soundness and Completeness" (Problem 2.7). Still, it is better to look at my lecture notes, because there are things we have done in class, which do not appear in the online summary.

HOMEWORK:

• Homework 1
• Homework 2 The second homework is much shorter than the first, because I want everybody to make up the first lecture and homework. On the other hand, the second homework is also much more interesting (I think) and challenging.
• Homework 3
• Homework 4
• Homework 5 Homework 5 consists of brief notes for what we have been doing in class recently (the problems are integrated into the notes). Pay special attention to problems 6 -- 10, they are important for the next lecture. Please let me know if there are any typos, mistakes, etc.
• Homework 6. This homework contains the proof of Completeness Theorem.
• Homework 7.