Messages - Page 2

Published Sep. 28, 2020 9:30 PM

Tomorrow (Tuesday), I will talk a little bit more on the stuff in Sections 2.8. Thereafter I will start to lecture Chapter 3.

Published Sep. 8, 2020 5:29 PM

Today I lectured the first four setions of Chapter 2. Tomorrow I will a crash course on propositional logic (the first half of the lecture). Thereafter I will start to lecture Section 2.5.

Published Sep. 8, 2020 5:23 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.

Some of these exercises will be solved in class during the next few weeks.

Published Sep. 3, 2020 6:11 PM

Next week I will start to lecture Chapther 2.

Published Aug. 26, 2020 6:35 PM

I am nearly done with Chapter 1. Next week we will do exercises, see below.

Published Aug. 19, 2020 6:38 PM

I have started to lecture Chapter.  Next week I will continue to lecture Chapter 1. Tuesday I will probably lecture Section 1.6 and Section 1.7. We may also discuss som exercises next week (see below).

Published Aug. 19, 2020 6:26 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), 4 and 7......
Published Aug. 19, 2020 1:30 PM
Gjestestudenter (studenter som ikke er oppmeldt til emnet) som møter på forelesning blir  av hensyn til smittevern bedt om å melde seg i følgende nettskjema utarbeidet av UiO:
Published Aug. 18, 2020 12:41 AM

We will meet in Aud. 2 VB for our first lecture.

Published Aug. 12, 2020 4:24 PM

This is the link to my home page.

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/

 

 

Published Aug. 12, 2020 3:40 PM

The course will start next week. It is not yet clear if we will start off with standard lectures in our auditorium (Aud. 2, VB), or if we will start off with digital lectures and meetings. You have to be prepared for both options. I will inform you no later than Monday 2pm which options that will be realized.  

If we go for the second option, there will be a Zoom meeting Tuesday 2.15pm. A link to meeting will be published at this web page. I will encourage all to use a digital device with a camera. This will considerable improve the quality of the meeting. It is very hard to conduct a meeting if one cannot see the attendants.

If you have any questions or concerns, please contact me via email.

Best Wishes, Stay Safe
Lars