Messages

Published Nov. 24, 2021 12:45 AM

 

You find the solution here.

Published Nov. 17, 2021 9:07 PM

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.

Published Nov. 14, 2021 6:55 PM

A misprint in the solution of the exam from 2019 is corrected.

Published Nov. 11, 2021 4:00 PM

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.

Published Nov. 10, 2021 4:07 PM

Solutions of past exams are available here.

Published Nov. 4, 2021 4:12 PM

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).

Published Nov. 3, 2021 4:49 PM

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.

Published Nov. 3, 2021 4:41 PM

 

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.

 

 

 
Published Oct. 27, 2021 4:52 PM

I have started to lecture Chapter 4 and Chapter 5 . Tomorrow (Thursday) I will study the proofs in Section 5.3.

Published Oct. 27, 2021 4:44 PM

Here is a an exercise for those who need an extra challenge:

Exercise

Solution of the exercise.

Published Oct. 27, 2021 4:43 PM

I recommend the following exercises:

Section 3.4.1, page 101: ex. 2, ex. 3 and ex. 6.

Published Oct. 7, 2021 5:55 PM

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.

Published Oct. 7, 2021 5:54 PM

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.

Published Oct. 7, 2021 5:52 PM

I am done withe the proof of the Completeness Theorem. Next week I will start to lecture Section 3.3.

 

Published Sep. 29, 2021 5:27 PM

Here is a an exercise for those who need an extra challenge:

Exercise

I will publish a solution in a week or two.

Published Sep. 29, 2021 4:56 PM

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.

Published Sep. 29, 2021 4:48 PM

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).

Published Sep. 15, 2021 7:06 PM

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.
...
Published Sep. 15, 2021 6:54 PM

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.

Published Sep. 14, 2021 9:34 PM

Tomorrow I will start to lecture Chapter 2.

Published Sep. 2, 2021 4:19 PM

 

Section 1.9.1, page 38:  1, 2 and 4.

Section 1.7.1 page 32: 7

Published Sep. 2, 2021 4:10 PM

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.

Published Aug. 31, 2021 9:35 PM

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)...
Published Aug. 25, 2021 4:34 PM

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.

Published Aug. 25, 2021 4:29 PM

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/