Department of Computer Science and Technology

Advanced Graphics and Image Processing
Advanced Topics in Computer Architecture
Advanced Topics in Mobile Systems and Mobile Data Machine Learning
Algebraic Path Problems
Automated Reasoning
Category Theory
Cybercrime
Data Science: principles and practice
Digital Signal Processing
Hardware Security
Interactive Formal Verification
Introduction to Natural Language Syntax and Parsing
Introduction to networking and systems measurements
Large-scale data processing and optimisation
Machine Learning for Language Processing
Multicore Semantics and Programming
Network Architectures
Overview of Natural Language Processing
Probabilistic Machine Learning
Research Skills Programme
Technology, law and society
Advanced Operating Systems
Advanced Topics in Computer Systems
Advanced topics in machine learning and natural language processing
Affective Computing
Computer Security: Principles and Foundations
Computer Vision
High performance networking
Machine learning for programming
Mobile Robot Systems
Topics in Concurrency
Topics in Logic and Complexity

Course pages 2019–20

Topics in Logic and Complexity

Syllabus
Course materials
Assessment

The assessment for this course will be by a single take-home test. The test will be made available at 16.00 on Thursday, 23rd April, and will be due back by 16.00 on Monday, 27h April.

The take-home test will contain 8-10 questions, in the style of the questions on the exercise sheet. You may answer as many questions as you wish. Each question is worth 20 marks. The best five answers will be added to give a mark out of 100.