Update

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.