CS130-15 Mathematics for Computer Scientists 1

Academic year
Computer Science
Undergraduate Level 1
Module leader
Dmitry Chistikov
Credit value
Module duration
10 weeks
Study location
University of Warwick main campus, Coventry
Introductory description

This module introduces some of the fundamental mathematical ideas
that are used in the design and analysis of computer systems and software.
The module makes you familiar with basic concepts and notation, helps you
to develop a good understanding of mathematical proofs, and enables you
to apply mathematics to solving computer science problems. The focus in
CS130 is on discrete (i.e. not continuous) mathematics and probability.

Module aims

The module 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.
It seeks 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.

Outline syllabus

This is an indicative module outline only to give an indication of the sort of topics that may be covered. Actual sessions held may differ.

Learning outcomes

By the end of the module, students should be able to:

Indicative reading list

Please see Talis Aspire link for most up to date list.

View reading list on Talis Aspire

Subject specific skills

Problem Solving
Understanding Abstract Concepts

Transferable skills

Critical Thinking

Study time

Type Required
Lectures 30 sessions of 1 hour (20%)
Seminars 8 sessions of 1 hour (5%)
Private study 112 hours (75%)
Total 150 hours
Private study description

Background study
Problems solving


No further costs have been identified for this module.

You do not need to pass all assessment components to pass the module.

Students can register for this module without taking any assessment.

Assessment group D2
Weighting Study time
Problem Set 0 1%

Formative problem sheet (mock) for flat credit

Problem Set 1 3%

Summative problem sheet for flat credit (1% for submission, 2% for submission of peer feedback)

Problem Set 2 3%

Summative problem sheet for flat credit (1% for submission, 2% for submission of peer feedback)

Problem Set 3 3%

Summative problem sheet for flat credit (1% for submission, 2% for submission of peer feedback)

Problem Set 4 10%

Summative problem sheet

On-campus Examination 80%

CS130 exam

~Platforms - AEP

  • Answerbook Gold (24 page)
Assessment group R1
Weighting Study time
Online Examination 100%

CS130 resit exam

~Platforms - AEP

  • Online examination: No Answerbook required
Feedback on assessment

There will be 3 formative small problem sheets, and feedback on problem sheets will be given in seminar sessions.

Past exam papers for CS130


This module is Core for:

  • Year 1 of UCSA-G400 BSc Computing Systems
  • Year 1 of UCSA-G402 MEng Computing Systems
  • Year 1 of UCSA-G500 Undergraduate Computer Science
  • Year 1 of UCSA-G503 Undergraduate Computer Science MEng
  • Year 1 of UCSA-I1N1 Undergraduate Computer Science with Business Studies

This module is Optional for:

  • Year 1 of UCSA-G406 Undergraduate Computer Systems Engineering
  • Year 1 of UCSA-G408 Undergraduate Computer Systems Engineering