INF1A: Week 11

In the 11th week of the course, in the Functional Programming strand, the prizes for the programming competition will be awarded on Monday.

On Tuesday, there will be a guest lecture from Robert Atkey introducing Agda!

For CL Week 11, on Thursday we shall look at first order logic done properly, and touch briefly on some of more advanced topics in FOL. This is the lecture that might have been given in Week 5, but wasn't.

• topics in FOL

On Friday there will be a lecture To Infinity and Beyond! about infinities and some (very) big numbers. To avoid spoilers (and because this is not official course lectures), slides will not be posted here. For those who need slides in advance, they'll be posted on Learn the day before.