Messages
Next week we will continue to discuss the material in Section 2.8, and we will do more exercises (see below).
I might start to lecture Chapter 3 on Wednesday (I am not sure how far we will get).
Here is a an exercise for those of you who need an extra challenge:
I will publish a solution in a week or two (if you like, you can hand in a solution of this exercise together with you mandatory assignment).
Regarding our discussion in class today (and a few good questions which I could not answer properly):
https://en.wikipedia.org/wiki/Cantor%27s_isomorphism_theorem
https://en.wikipedia.org/wiki/Categorical_theory
The deadline for the mandatory assignment will be October 17, 14:30.
The assignment is available below and is handed in through Canvas.
No lectures next week. October 1 (Tuesday) we will solve and discuss exercises (see below).
I have lectured the first four sections of Chapter 2. Next week I will continue with Section 2.5, ... 2.6 ....
The lecture Tuesday 17 will start with a crash course on propositional logic. The coarse is recommendable for everyone (even if those already familiar with with propositional logic).
I recommend the following exercises:
- Section 2.2.1, page 47: 1 and 4
- Section 2.4.3, page 54: 3, 4, 5 and 6
- Section 2.7.1, page 65: 1, 4, 5, 6 and 7
- Section 2.8.1, page 70: 2, 4, 5, 6, 7 and 8.
Some of these exercises will be solved in class during the next few weeks.
We will do a few more exercises from Chapter 1 next week (we will for sure discuss exercise 4 at page 38). Thereafter I will start to lecture Chapter 2.
It seems like I need about one more lecture to finish Chapter 1. Thereafter we will do exercises (see below).
There will be no lectures the 24th and 25th of September.
Recommended exercises from Chapter 1:
- Section 1.3.1, page 12: 1, 2 and 3
- Section 1.4.1, page 17: 3, 4 and 5
- Section 1.5.1, page 21: 1 and 6
- Section 1.6.1, page 26: 2, 3 and 5 ...
I have started to lecture Chapter 1. I will spend the text feew weeks lecturing from Chapther 1.
We will meet on Tuesday. We will use this textbook:
- Leary & Kristiansen: A friendly introduction to mathematical logic.
You may buy the book from a number of online bookstores. You my even be able to buy a copy in the bookstore located at the university campus. You may also download the book for free:
http://minerva.geneseo.edu/a-friendly-introduction-to-mathematical-logic/