Beskjeder
Dear all, you will soon recieve the schedule for the oral exam.
The curriculum is (in case you should not know by now):
1. Chapter 7 of L&K
2. Page 1 until page 45 (line 3) of Aberth.
Please, recall that the final lectures takes places May 19.
Section 7.7.3: 1, 2 and 5.
Section: 1, 2, 4, 5 and 6.
The discreet link: http://folk.uio.no/torenord/aberth.pdf
And the discrete link: https://en.wikipedia.org/wiki/Discrete_mathematics
We should all say thank you to Tore!
If you have some leisure time: do the exercises in Section 7.6. Otherwise (that is, if you do not have leisure time): do the exercises in Section 7.6.
I have said what I have to say about Section 7.6. After Easter I will start to lecture Section 7.7.
I recomend all the exercises in Section 7.6, but Ex. 10 and Ex. 11 are ment for those who need an extra challenge.
Section 7.3.1 (p. 212): 1, 2, 3, 4, 5, 9a and 9b.
Section 7.4.1 (p. 223): 1, 2, 3, 5, 6 and 8.
Section 7.5.1 (p. 234): 3, 4 and 5.
I have started to lecture Section 7.6. Next lecture (Thursday 17) starts with the proof of Theorem 7.6.5. It is a good idea to read Section 7.6 before you attend the lecture.
I have now lectured until the middle op page 218 (Kleene's Normal Form Theorem).
It is important to understand Kleene's theorem. You should try to do the ex. 1, 2, 3 and 4 at page 223. You should also work with the exercises in Section 7.3.1 (exercise 8 and 9 are for the specially interested).
The next lecture will take place March 3 (so no lecture next week). Then, I will continue to lecture Section 7.4. Thereafter I will lecture Section 7.5. Section 7.4 will be lectured thoroughly. Section 7.5 will be lectured more superficially.
I have now lectured until the end of Section 7.3 (page 209). I will talk a little bit more on the stuff towards the end of the section: primitive recursive coding of sequences. Thereafter, I will start to lecture Section 7.4.
Those of you who are not familiar with our the book's coding conventions should read Section 4.5.
I suggest that you work with the exercises in Section 7.4. If there are exercises you wish to discuss class, please send me an e-mail.
The next lecture will be February 18.
The first lecture is over. The next lecture will take place February 4 (so no lecture next week).
The curriculum:
- Chapter 7 of Leary & Kristiansen: A friendly introduction to mathematical logic.
- Parts of Oliver Aberth: Computable Analysis.
Before the next lecture you should read Section 7.1, 7.2 and 7.3 of L&K.