Ok, it's been an extremely busy week. I've even had to cut down on sleep in order to stay well prepared in the intensive course I'm giving at the Summer Secondary School here at university.
The course subject matter is functional and logic programming. I've got 30 supervised hours total for it and twenty high-school students. I've decided to go on about it from an unusual angle: I deliver 16 hours of theory about logic and functions, emphasis on programming but methodology certainly mathematical. That is, I teach them (informal) formal logic and (a hacked version of) lambda calculus. Six hours are used to check homework on the theory and six hours total on a computer putting the theory into practice. With careful (he says!) design of the lambda calculus notation, and with a heavy flavoring of it towards Haskell (including a Hindley-Milner style type system, but no type classes as of yet), the theory of functions turns into practice in Hugs quite easily. They seemed to digest even recursion quite easily today.
I am pleased.
And I need rest. Desperately.