(Last Updated:26 May 2016)

**Total Credits: **10

**Level: **Level 1

**Target Students: **Qualifying year undergraduate students in the School of Computer Science. Also available to students from other Schools with the agreement of the module convenor. * Available to JYA/Erasmus students.*

* This Module has been identified as being particularly suitable for first year students, including those from other Schools.*

**Taught Semesters:**

Semester | Assessment |
---|---|

Autumn | Assessed by end of Autumn Semester |

**Prerequisites: **None.

**Corequisites: **None.

**Summary of Content: **

This module is part of the Foundations of Computer Science theme in the School of Computer Science.

The module covers basic concepts in mathematics of relevance to the development of computer software. Some topics are linked to problems in G51APS. This module provides relevant mathematical techniques, whilst G51APS provides additional motivation.- Boolean algebra: truth tables, propositional calculus.
- Simple number theory: inequalities, floor and ceiling function, greatest common divisor, modulo arithmetic. Elementary combinatorics.
- Sets, functions and relations: union, intersection, complementation of sets. Bijections and surjections. Ordering relations. Hasse diagrams.
- Quantifiers. Sum and product. Universal and existential quantification (at this stage, understanding of meaning of quantified expressions only).
- Simple induction on natural numbers.

**Module Web Links:**- Reading List
- Module Home Page
**Method and Frequency of Class:**Activity Number Of Weeks Number of sessions Duration of a session Tutorial 11 weeks 1 per week 1 hour Lecture 11 weeks 2 per week 1 hour

Activities may take place every teaching week of the Semester or only in specified weeks. It is usually specified above if an activity only takes place in some weeks of a Semester**Further Activity Details:**

Two lectures per week, associated coursework and weekly tutorials.**Method of Assessment:**Assessment Type Weight Requirements Exam 1 75 1 hour written examination Coursework 1 25 Mathematics-based questions **Convenor:**

Dr V Capretta

**Education Aims:**To provide students with the basic mathematical skills needed within a Computer Science degree course.**Learning Outcomes:****Knowledge and Understanding:**Understanding of basic mathematical concepts, definitions and notation.**Intellectual Skills:**The ability to understand and apply simple logical reasoning.**Transferable Skills:**The ability to use mathematics to solve problems.**Offering School:**Computer Science

Use the

**Back**facility of your browser to return to the previous page.Return to The University of Nottingham Welcome Page