Skip to main content

CS130 - Mathematics for Computer Scientists 1

  • Module code: CS130
  • Module name: Mathematics for Computer Scientists 1
  • Department: Computer Science
  • Credit: 15

Content and teaching | Assessment | Availability

Module content and teaching

Principal aims

To provide students with sufficient mathematical knowledge to enable them to understand the foundations of their subject for both study purposes and later career development. To bridge the gap in style and content between A-level and university mathematics and to introduce students to the language and methods of professional mathematics.

Principal learning outcomes

By the end of the module the students should be able to: Understand and use basic mathematical terminology; Understand the role of formal definitions and proofs and be able to apply them in problem solving ;Understand the basics of propositional and predicate logic; Understand the basics of elementary set theory; Understand the basics of mathematical relations and functions; Understand the basics of graph theory; Understand the basics of probability.

Timetabled teaching activities

Term 1, 30 lectures and 9 seminars

Departmental link

Module assessment

Assessment group Assessment name Percentage
15 CATS (Module code: CS130-15)
D (Assessed/examined work) Coursework 20%
  3 hour examination (April) 80%

Module availability

This module is available on the following courses:

  • Undergraduate Computer Science (G500) - Year 1
  • Undergraduate Computer Science MEng (G503) - Year 1
  • Undergraduate Computer and Management Sciences (G5N1) - Year 1
  • Undergraduate Philosophy with Computer Science (V7G5) - Year 1
Optional Core


  • Undergraduate Computer Systems Engineering (G406) - Year 1
  • Undergraduate Computer Systems Engineering (G408) - Year 1