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

http://www2.warwick.ac.uk/fac/sci/dcs/teaching/modules/cs130

Module assessment

Assessment group Assessment name Percentage
15 CATS (Module code: CS130-15)
D (Assessed/examined work) Assessed Course Work 20%
Examination - April 80%

Module availability

This module is available on the following courses:

Core
  • BSc Computing Systems (G400) - Year 1
  • MEng Computing Systems (G402) - Year 1
  • 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

N/A

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