Progress report.

I am done lecturing Section 7.6.

Next week (March 6) I will give a lecture on first-order logic. I will give a summary of what you need to know of the six first chapters of our book. (I will do this since most of have not followed the course MAT-INF3600.)

If there is any time left, we will discuss some of the exercises.