First-Year Tutorials

This page contains (for the time being) some references and links to material mentioned in my tutorials.

Autumn 2000/01

Tutorial 1: Introduction

Tutorial handbook
Eliza (Doctor):  Give one of the earliest PR successes of AI a try.

Tutorial 2: Algorithms, Data, Sets

Dictionary of Algorithms, Data Structures, and Problems
The Mathematical Atlas
WordNet: An on-line lexical database

Tutorial 3: Alan Turing

Andrew Hodges on Alan Turing
Turing Machines : nice animation, have a look at the simulations of a Turing machine, and a cellular automaton
Turing, Church and The Entscheidungsproblem

  • A. CHURCH, An unsolvable problem of elementary number theory,

  • American Journal of Mathematics 58 (1936) 345-363.
    The Church-Turing Thesis

    Tutorial 4: Large Group Tutorial with HoD

    Tutorials 5-6: Mathematical induction; writing styles and the Fog Index

    Tutorial 7: Large Group Tutorial

    Tutorial 8: Software Requirements Analysis (SRA)

    Software Engineering: have a look at the course curriculum and find the place/role of SRA

    Tutorial 9: Yellow forms

    Spring 2001:
     

    Tutorial 1: Machine Learning (handouts)

    Tutorial 2: Robots playing football and the art of brainstorming:
                       how would you design a kicking device for your robot?

    Tutorial 3: Emotions: the future way of programming?

    Guest appearance - Toby the Dog (genus AIBO) courtesy of Toby Walsh
    A 2-D simulation of artificial life (demo)

    Tutorial 4: Large Group (Departamental) Tutorial with JAM

    Tutorial 5: Triumph of the Nerds (BBC documentary on the history of development of the GUI concept)

    Tutorial 6: Presentation 1: Daniel  McNeill (evaluation template)
     



    Dimitar Kazakov