Messages
Due to some unfortunate circumstances there were a few misprints in the solutions (to the exam from 2019) I published Sunday night (I published an old file): Some of the YES-NO-answers in Problem 3 were wrong. I have corrected the errors. Hopefully, everything is all right now. Note that answers were correct until Sunday night.
A misprint in the solution of the exam from 2019 is corrected.
November 17 we will discuss the exam from 2019.
November 18 we will discuss the exam from 2020.
The lecture November 19 will be the last one.
We are done with the regular lectures. For the rest of the term we will discuss exercises. We will start with some of the exercises in Chapter 3, 4 and 5 (se below). Thereafter we will turn to the execises ib Chapter 8 (the chapter is more or less a collection of execises). We will spend some time on easy and medium hard exercises (such that those of you who feel a bit left behind can catch up).
Tomorrow (Thursday) I will prove Theorem 6.3.6 (Godel's First Incompleteness Theorem). Then we are done with the curriculum.
For the rest the of the term we will solve exercises (exercises from Chapter 8 and past exams). The final lecture will take place November 18.
Recommended exjercises:
- 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.
I have started to lecture Chapter 4 and Chapter 5 . Tomorrow (Thursday) I will study the proofs in Section 5.3.
Here is a an exercise for those who need an extra challenge:
Exercise
Solution of the exercise.
I recommend the following exercises:
Section 3.4.1, page 101: ex. 2, ex. 3 and ex. 6.
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 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 am done withe the proof of the Completeness Theorem. Next week I will start to lecture Section 3.3.
Here is a an exercise for those who need an extra challenge:
Exercise
I will publish a solution in a week or two.
Tomorrow (Thursday, September 30) we will do exercises from Chapter 2 (and prove Lemma 2.8.4, see Exercise 3 at page 71). Next week I wil start to lecture Chapter 3.
The mandatory assigment will be handed out in class tomorrow (Thursday, September 30). Please send me an e-mail if you will not be present and want a copy of the assignment.
The deadline is October 14 (2:15pm).
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.
Tomorrow (Thursday) I will give a crash course on propositional logic. This might be very helpful to those of you that are not already familiar with propositional logic.
Section 1.9.1, page 38: 1, 2 and 4.
Section 1.7.1 page 32: 7
We are more or less done with Chapter 1 ... more or less. Next we we will do exercises (see below), and then I will start to lecture Chapter 2.
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
- Section 1.7.1, page 32: 2 (a)(b)(d)...
Today I gave an introductory lecture.
Tomorw I will start to lecture Section 1.2. I will spend the next few weeks lecturing Chapter 1.
Welcome.
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/
?
?