Foundations of Computing II - CO325

Location Term Level Credits (ECTS) Current Convenor 2017-18 2018-19
Canterbury Spring
View Timetable
4 15 (7.5) MS JE Carter

Pre-requisites

CO322 Foundations of Computing I

Restrictions

None

2017-18

Overview

This module follows from CO322 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 CO322. Matrices, vectors, differential calculus, probability and computer arithmetic will be introduced.

Details

This module appears in:


Contact hours

2 lectures and 1 class per week (1 hour class for those in possession of A-level mathematics, 2 hour class for those who are not).

Preliminary reading

Croft & Davison, Foundation Maths, Prentice Hall, 2010.
Dean N, The Essence of Discrete Mathematics, Prentice Hall.

See the library reading list for this module (Canterbury)

See the library reading list for this module (Medway)

Learning outcomes

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

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.