Artificial Intelligence (3 Years) [BSc]

Fundamentals of Computation

Unit code: COMP11212
Credit Rating: 10
Unit level: Level 1
Teaching period(s): Semester 2
Offered by School of Computer Science
Available as a free choice unit?: N



Additional Requirements

Students who are not from the School of Computer Science must have permission from both Computer Science and their home School to enrol.


This course unit provides a first approach to answering the following questions. What methods are there that can help understanding complicated systems or programs? How can we make sure that a program does what we intend it to do? How do computers go about recognizing pieces of text? If there are two ways of solving the same problem, how can we compare them? How do we measure that one of them gives the solution faster? How can we understand what computers can do in principle, and are there problems that are not solvable by a computer?


Student comments: 'The material was very interesting and I could definitely see it being useful on the near future. Overall, I enjoyed this course unit, because I felt that it extended to other course units.' - 'Through the material covered you understand better how the computer interpretes data (and generally works), and learn more about programming languages and algorithms.' - 'The course content was extremely interesting, and the PhD demonstrators were helpful and approachable. I am glad I took this module.'

Teaching and learning methods


22 in total, 2 per week

Examples classes

1 per week (starting in week 2)

Learning outcomes

Learning outcomes are detailed on the COMP11212 course unit syllabus page on the School of Computer Science's website for current students.

Employability skills

  • Analytical skills
  • Oral communication
  • Problem solving

Assessment methods

  • Written exam - 75%
  • Written assignment (inc essay) - 25%


There are two groups of topics covered. One of the lectures will be an introduction to the course unit, and one is reserved for revision. That leaves 10 lectures for each part.

The first part (10 lectures) is concerned with expressing particular strings, and collections of strings, and here we will introduce the methods by which a computer goes about it. The ability to recognize key strings (such as programming constructs or variable names) are, for example, required in every compiler, but they are also used by search engines such as Google.The formalisms introduced include finite state automata, regular expressions (most often used in pattern matching), (regular) grammars. The emphasis is on students being able to use these formalisms to solve problems.

The second half of the course (10 lectures) provides an introduction to the topics of complexity, correctness and computability. There are four big topics:

                • the WHILE programming language

                • asymptotic complexity

                • partial and full program correctness

                • computability

Recommended reading

COMP11212 reading list can be found on the School of Computer Science website for current students.

Feedback methods

Students present their solutions to set exercises once a week in examples classes. They receive oral feedback to their solutions, and have the opportunity to improve some of their original answers for further feedback.

Study hours

  • Assessment written exam - 2 hours
  • Lectures - 24 hours
  • Practical classes & workshops - 11 hours
  • Independent study hours - 63 hours

Teaching staff

Sean Bechhofer - Unit coordinator

▲ Up to the top