Computer Science and Philosophy
Entry requirements
A level: A*AA, including A*A in Maths and Further Maths if available (in any order) IB: 39 (including core points) with 766 at HL (the 7 must be in HL Mathematics)
About this course
BA or MCompPhil in Computer Science and Philosophy, a computer science and philosophy degree centred on computational principles and philosophical reasoning. Core topics include Programming, Computer Architecture, and Artificial Intelligence & Machine Learning. Students complete a final-year thesis or project in later stages. The first year covers the foundations through Functional programming, Imperative programming, Probability, and Introduction to logic. The second year introduces core concepts via Algorithms and data structures, Group design practical, Computer architecture, and Ethics. The third year builds advanced knowledge through Computer-aided formal verification, Machine learning, Quantum information, and Philosophy thesis. The fourth year offers specialised study in areas such as Computer vision, Geometric deep learning, Quantum processes and computation, and Advanced options in philosophy.
Modules
- Design and analysis of algorithms
- Discrete mathematics
- Functional programming
- Introduction to proof systems
- Imperative programming
- Probability
- Introduction to logic
- Alan Turing on computability and intelligence
- General philosophy
- Philosophical topics in logic and probability
- Algorithms and data structures
- Group design practical
- Models of computation
- Artificial intelligence
- Computer architecture
- Compilers
- Databases
- Logic and proof
- Early modern Philosophy
- Ethics
- Knowledge and reality
- Philosophy of science
- Philosophy of mind
- Computer-aided formal verification
- Machine learning
- Principals of programming languages
- Quantum information
- Philosophical logic
- Philosophy of cognitive science
- Philosophy of mathematics
- Philosophy of logic and language
- Philosophy thesis
- Automata, logic and games
- Categories, proofs and processes
- Computer vision
- Geometric deep learning
- Quantum processes and computation
- Optional computer science project
- Advanced options in philosophy
- Optional philosophy thesis