MAT-INF3600 - Mathematical Logic

Messages - Page 2

Excercises
Published Aug. 23, 2023 6:02 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
    • ...
Read more ...
Progress Report
Published Aug. 23, 2023 6:01 PM

I have started to lecture Chapter 1. I will spend the text feew weeks lecturing from Chapther 1.

Welcome
Published Aug. 17, 2023 2:48 PM

 

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/

 

1 2
Feed from this page