Messages

Published Nov. 30, 2011 6:19 PM

I will be available from 3pm December 6 in room B71, 7th floor of the Math building. (I will not be in my office the coming days.)

Published Nov. 30, 2011 6:18 PM
Published Nov. 30, 2011 5:35 PM

The curriculum: Leary's book from page 1 until page 187 (and nothing else).

Published Nov. 23, 2011 4:15 PM

I will solve the exam from 2010 at Wednesday the 30th of November. This will be the final lecture.

Published Nov. 23, 2011 4:10 PM

Solutions of past exams:

A link to the solution of the exam from 2010 will appear soon.

Beware that the curriculum in 2008, 2009, and 2010, was different from this year's curriculum. This is reflected in the exams. This year's curriculum is the same as in 2005, 2006 and 2007.

Published Nov. 16, 2011 7:02 PM

Exercises that might be solved in the weeks to come: 4.3.1 (page 136-137): ex. 1, ex. 2, ex. 3, ex. 4, ex 5, ex 8, ex 9.

Published Nov. 8, 2011 5:10 PM

Wednesday the 9th of November I will lecture Section 3.4 in Leary's book. Thursday the 10th I will start to lecture Chapter 4.

Published Nov. 7, 2011 4:30 PM

I have now registered your mandatory assignments in the university's database. Each and one of you should check that you are correctly registered (and thus enrolled for the final exam).

Published Oct. 13, 2011 8:04 PM

I have started to lecture Chapter 3 in Leary's book. Exercises to be solved in the weeks to come : 3.2.1 (page 101): ex. 1, ex. 2, ex. 3, ex. 4, ex. 5, ex. 9. 3.3.1 (page 109): ex. 1, ex. 3, ex. 5, ex. 6, ex. 8 a,b,d, ex. 9, ex. 10, ex. 11.

Published Oct. 13, 2011 8:01 PM

The "oblig" (mandatory assignment) is now available. I have left some copies in my mailbox at the 7th floor (Room 700). The deadline is October 26.

Published Sep. 20, 2011 9:02 PM

I have started to lecture Chapter 2 of Leary's book. Exercises that might be solved in the weeks to come: 2.2.1 (page 55): ex. 1, ex. 4. 2.4.3 (page 62): ex. 4, ex. 5, ex. 6. 2.7.1 (page 76): ex. 4, ex. 5, ex. 6, ex. 7. 2.8.1 (page 81): ex. 2, ex. 4, ex. 5, ex. 6, ex. 7, ex. 8.

Published Aug. 24, 2011 2:52 PM

Everyone should have a copy of "Leary: A friendly introduction to mathematical logic". The book is (may be) available in the book store (Akademia).

The next few weeks I will lecture the 1st chapter of Leary's book. The following exercises might be solved during the lectures: 1.3.1 (page 15): ex. 2, ex. 3. 1.4.1 (page 20): ex. 3, ex. 4, ex. 5. 1.6.1 (page 30): ex. 2, ex. 3, ex. 5. 1.7.1 (page 38): ex. 2, ex. 7. 1.8.1 (page 42): ex. 6. 1.9.1 (page 44): ex. 1, ex. 2, ex. 4.

Published June 14, 2011 5:57 PM

Se "time and place" under Teaching for time and place for lectures/exercises.

Published June 14, 2011 3:50 PM

This subject may change teaching time and place! Please see "time and place" under teaching.