Develop a fundamental understanding of the organisation and operation of a desktop computer system.

Understand the organisation and operation of the operating system software that controls the execution of programs and manages the resources of a computer.

Study basic imperative programming concepts, and gain practical programming experience by solving small-scale problems.

Learn how to study and understand programming languages and become familiar with the basic object oriented element of program development.

Carry out an individual project, applying the knowledge and skills acquired on this course.

Practice writing programs and apply methods and techniques learned in other courses through laboratory sessions, coursework and feedback.

Apply and practise software engineering methods and techniques through group projects.

Gain an in-depth understanding of the state-of-the-art of logic-based learning, starting from its key foundation concepts and principles before moving to more recent advances.

Explore how images are formed, how they are represented on computers and how they can be processed by computers to extract semantic information.

Understand basic concepts of computer graphics and familiarise yourself with the mathematical principles used for computer generated imagery, shading and light approximations.

Study network and web security broadly from the network to the application layer and understand the main threats, attack techniques and defences relevant to cybersecurity and network security.

Gain insights into the different types of problems that exist in machine learning and the basic algorithms used to address them.

Assess modern techniques in realistic computer graphics and image synthesis, particularly image-based techniques for photorealism.

Examine how probability can be used to make decisions by a computer and advance your understanding of inference networks and linear and non linear methods in statistical pattern recognition.

Review the problems and issues that must be dealt with in constructing robust and flexible distributed applications as well as the underlying network protocols needed to support them.

Cover the foundations of symbolic reasoning and obtain the practical skills necessary to use to solve real-world problems in program reasoning and symbolic artificial intelligence.

Examine algorithm design and analysis and the range of approaches and established algorithms for solving common classes of problems.

Learn the techniques required to reliably design and evolve larger software systems and explore key principles of software design.

Discover how cryptographic techniques can be used to design and implement secure communicating systems for a variety of different needs and applications.

Explore applications of artificial intelligence technologies that will improve or transform existing financial, health and other systems.

Become familiar with logic and formal reasoning and the declarative programming language, Prolog.

Explore database systems and investigate the theory and practice of the relational model in detail.