Messages
Tuesday November 19: I conclude the proof of G?del's theorem. Thereafter we discuss exercises found in our textbook (see below) and the exam from 2022.
Wednesday November 20: No lecture.
Tuesday November 26: No lecture.
Wednesday November 27: We will discuss old exams (I will give more information later).
Recommended exercises:
- Section 4.2.1, page 107: 1, 3.
- Section 5.2.1, page 119: 1, 2, 3.
- Section 5.3.1, page 128: 1, 2, 3, 7, 11, 12
Some of these exercises might be solved in class in the foreseeable future.
We are done with Chapter 3. Next week I will start to lecture Chapter 4 and Chapter 5.
I have approved all the assignments.
Please, check in Canvas that your assignment is approved. (This is important. If something has got wrong, you will not be enrolled for the final exam.)
If you want oral comments on your assignment, you have to make an appointment with we (I wil normally be able to talk immediately after a lecture). I will not provide written comments.
I recommend the following exercises:
Section 3.4.1, page 101: ex. 2, ex. 3 and ex. 6.
Next week I will lecture Section 3.4. But first I will give a crash courseon sets and cardinalities.
I recommend the following exercises:
- Section 3.2.1, page 86: 1, 2, 3, 4, 5 and 8.
- Section 3.3.1, page 92: 1, 3, 5, 6, 8, 9, 10 and 11.
Some of these exercises will be solved in class in the foreseeable future.
I have started to lecture Chapter 3. I have started to prove the Completeness Theorem (Section 3.2). I will complete the proof tomorrow. Thereafter, I will start to lecture Section 3.3 (maybe tomorrow, maybe not).
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/