Photo of Sean Holden
Dr Sean Holden
University Associate Professor
of Computer Science

I supervise various subjects for Trinity College, and lecture on Artificial Intelligence and Machine Learning and Bayesian Inference.

Picture of Sean lecturing.

I also regularly speak in the wider media.

Supervisions in 2022/23

Easter Term - Artificial Intelligence

I suggest that we start supervisions in Week 2, by which I mean the week starting Monday 8th May. As usual, my reasoning is that if we start a week earlier then there is relatively little to talk about.

There is a problem sheet available on the course web page. Please complete this as we go through the course.

In addition, please attempt exam questions as follows:

Lent Term

The following timetable summarizes the supervision preparation work for the Lent Term 2023 for Logic and Proof and Prolog. Please complete this work before attending the supervision for the relevant week and bring it to the supervision with you.

As usual, please also complete any exercises set in the lecture notes and/or practicals, and keep up with these as the lectures progress.

In the following, Week 2 starts on Monday 30th January.

Past exam papers can be found here. They are identified below using the format year-paper-question, so for example 2011-1-2 denotes Paper 1, Question 2 from 2011.

Logic and Proof

Prolog

Week 6 starts on Monday, February 27th.

Michaelmas Term

The following timetable summarizes the supervision preparation work for the Michaelmas Term 2022 for Foundations of Computer Science. Please complete this work before attending the supervision for the relevant week and bring it to the supervision with you.

In the following, Week 1 starts on Monday 10th October.

Past exam papers can be found here. They are identified below using the format year-paper-question, so for example 2011-1-2 denotes Paper 1, Question 2 from 2011.

A small amount of web searching will no doubt lead to the discovery that solution notes for past exam questions are available. DO NOT READ THESE until AFTER the work is covered in supervisions. If you read them beforehand, then I reserve the right to (a) get VERY cross and (b) make you redo the question using a fiendish alternative approach of my own choosing. Why? My reasons are explained on the right-hand side of this page.

Foundations of Computer Science

Solution notes are EVIL!!!

Solution notes seem like a good idea, but this is deceptive. Why?

First and foremost, there is the temptation to look at them without having first attempted the problem. This is an extremely bad idea, as once you've peeked, most of the educational benefit that you would have attained by attempting (and possibly getting stuck with) the question is irrevocably lost. Some of the problems we set are hard. That is deliberate, and in computer science many of the problems you meet in the future will be hard as well. The difference is that in the future you will not have access to hints of this kind.

"But!" I hear you protest. "Right now we have them and it helps to get a hint." Fine, but remember this: at some point, the oily, sickly fear of the exam hall will induce cold beads of sweat to trickle down your neck, and at that precise moment, you will thank me for emphasizing the need to be able to complete exam questions when solution notes are not available to you.

Second: solution notes are NOT model answers. They were never written with the aim of serving as model answers; in fact the only purpose they have is as a guide to examiners, not students. There is, at this level, no such thing as a model answer - there are most likely many answers to a given problem, of greater or lesser quality - and the time to accept this is right now.

Third: the supervision system is there for you to use. Solution notes give a hint at one way a question might be done. I can usually provide you with several different ways, the trade-offs between them, and an explanation as to their relative merits. Which do you think is more useful?