This is a complete list of modules delivered by the Department of Computer Science. Each page on this list contains links to the formal syllabus, online course material, and the organiser(s).
|
CS118
|
Programming for Computer Scientists
|
|
CS126
|
Design of Information Structures
|
|
CS130
|
Mathematics for Computer Scientists I
|
|
CS131
|
Mathematics for Computer Scientists II
|
|
CS132
|
Computer Organisation and Architecture
|
|
CS133
|
Professional Skills
|
|
CS134
|
Introduction to Computer Security
|
|
CS135
|
Principles of Concurrency
|
|
CS136
|
Discrete Mathematics and its Applications 1
|
|
CS137
|
Discrete Mathematics and its Applications 2
|
|
CS138
|
Mathematics for Computer and Business Studies
|
|
CS240
|
Software Engineering Principles
|
|
CS241
|
Operating Systems and Computer Networks
|
|
CS242
|
Formal Specification and Verification
|
|
CS243
|
Data Structures and Algorithms
|
|
CS244
|
Algorithm Design
|
|
CS245
|
Automata and Formal Languages
|
|
CS246
|
Further Automata and Formal Languages
|
|
CS247
|
Group Software Development Project
|
|
CS248
|
Declarative Programming
|
|
CS249
|
Digital Communications and Signal Processing
|
|
CS250
|
Reliability and Fault Tolerance
|
|
CS251
|
Computer System Design
|
|
CS252
|
Fundamentals of Relational Databases
|
|
CS253
|
Topics in Database Systems
|
|
CS254
|
Algorithmic Graph Theory
|
|
CS255
|
Artificial Intelligence
|
|
CS256
|
Functional Programming
|
|
CS301
|
Complexity of Algorithms
|
|
CS310
|
Computer Science Project
|
|
CS313
|
Mobile Robotics
|
|
CS319
|
Theory of Databases
|
|
CS321
|
Current Uses of Computers in Business and Industry
|
|
CS324
|
Computer Graphics
|
|
CS325
|
Compiler Design
|
|
CS329
|
Efficient Parallel Algorithms
|
|
CS330
|
History of Computing
|
|
CS331
|
Neural Computing
|
|
CS332
|
Programming Language Design and Semantics
|
|
CS333
|
Design of Dependable Systems
|
|
CS341
|
Advanced Topics in Algorithms
|
|
CS342
|
Machine Learning
|
|
CS343
|
Computer and Business Studies Project
|
|
CS344
|
Discrete Mathematics Project
|
|
CS400
|
Advanced Specification Methods
|
|
CS401
|
Advanced Compiler Design
|
|
CS402
|
High Performance Computing
|
|
CS403
|
Multimedia Processing, Communications and Storage
|
|
CS404
|
Agent Based Systems
|
|
CS405
|
Introduction to Empirical Modelling
|
|
CS406
|
Research Directions in Computing
|
|
CS407
|
Group Project
|
|
CS409
|
Algorithmic Game Theory
|
|
CS410
|
Modelling and Algorithmic Analysis of Systems
|
|
CS411
|
Dynamic Web-based Systems
|
|
CS904
|
Computational Biology
|
|
CS905
|
Computing Technologies for Education
|
|
CS906
|
Computing Security
|
|
CS907
|
Dissertation Project
|
|
CS908
|
Research Methods
|
|
CS909
|
Data Mining
|
