Foundations of Computing II - COMP3250

Looking for a different module?

Module delivery information

Location Term Level1 Credits (ECTS)2 Current Convenor3 2024 to 2025
Spring Term 4 15 (7.5) Janet Carter checkmark-circle


This module follows from COMP3220 and aims to provide students with more understanding of the theory behind the formal underpinnings of computing. It will build upon the abstract reasoning skills introduced in COMP3220. Matrices, vectors, differential calculus, probability and logic will be introduced.


Contact hours

For those who have A level mathematics
Total contact hours: 30
Private study hours: 120
Total study hours: 150

For those who do not have A level mathematics
Total contact hours: 40
Private study hours: 110
Total study hours: 150

Method of assessment

Main assessment methods
2 hour Examination (50%)
Coursework (50%)

Reassessment methods
Like for like.

Indicative reading

Clarke G & Cook D, A basic course in statistics, Hodder Arnold, 1998.
Croft & Davison, Foundation Maths, Prentice Hall, 2003.
Dean N, The Essence of Discrete mathematics, Prentice Hall.
Nissanke N, Introductory Logic and Sets for Computer Scientists, Addison Wesley.
Page SG, Mathematics: a second start, Ellis Horwood, 1986.
Truss, J.K., Discrete Mathematics for Computer Scientists

See the library reading list for this module (Canterbury)

Learning outcomes

The intended subject specific learning outcomes.
On successfully completing the module students will be able to:
1 Have developed a knowledge and understanding of, and the ability to apply the mathematical principles and concepts behind topics that comprise the CS programmes.
2 Have developed formal reasoning skills that will be required elsewhere in the degree programmes in which this module is taken.
3 Have basic understanding of Propositional and Predicate Logic: their syntax (connectives, quanitifiers) and their semantics (truth tables, logical equivalences).
4 Be able to write and evaluate expressions in Propositional and Predicate Logic.

The intended generic learning outcomes.
On successfully completing the module students will be able to:
1 Have developed mathematical problem solving and analysis skills.
2 Have developed numeracy skills to understand and explain the quantitative dimensions of a problem
3 Have exercised self-management of their own learning
4 Have developed generic skills relating to computational thinking


  1. Credit level 4. Certificate level module usually taken in the first stage of an undergraduate degree.
  2. ECTS credits are recognised throughout the EU and allow you to transfer credit easily from one university to another.
  3. The named convenor is the convenor for the current academic session.
Back to top

University of Kent makes every effort to ensure that module information is accurate for the relevant academic session and to provide educational services as described. However, courses, services and other matters may be subject to change. Please read our full disclaimer.