CS14610 Discrete Mathematics and its Applications 1
Introductory description
The module will introduce central concepts in the area of discrete mathematics.
Module aims
The focus of the module is on basic mathematical concepts in discrete mathematics and on applications of discrete mathematics in algortihms and data structures. To show students how discrete mathematics can be used in modern computer science (with the focus on algorithmic applications).
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.
Foundations: logic, sets, relations, functions.
The concept of algorithms and algorithmic thinking in problem solving
Summation techniques: manipulations of sums and multiple sums; finite calculus
Asymptotics and the bigOh notation
Manipulations with the floor and ceiling functions
Learning outcomes
By the end of the module, students should be able to:
  Understand the role of formal definitions, formal and informal mathematical proofs, and underlying algorithmic thinking, and be able to apply them in problem solving.
  Understand the role of discrete mathematics in applications in computer science.
  Understand the fundamental concepts of discrete mathematics.
Indicative reading list
Please see Talis Aspire link for most up to date list.
Subject specific skills
Acquiring basic knowledge in the new area (of discrete mathematics), including learning the key concepts of mathematical rigour and of the formal proof.
Transferable skills
Critical thinking and creativity
Study time
Type  Required 

Lectures  30 sessions of 1 hour (30%) 
Seminars  9 sessions of 1 hour (9%) 
Private study  61 hours (61%) 
Total  100 hours 
Private study description
Inclusive of private study, completion of problem sheets and revision.
Costs
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 D
Weighting  Study time  

Five assigned Problem Sheets  20%  
Each problem sheet is marked out of 10 and the overall coursework mark will be calculated as the average of the five marked assignments. 

Inperson Examination  80%  
CS146 Examinations (Summer)

Assessment group R
Weighting  Study time  

Inperson Examination  Resit  100%  
CS146 Resit Examination (September)

Feedback on assessment
feedback on problem sets in seminars.
Antirequisite modules
If you take this module, you cannot also take:
 CS13015 Mathematics for Computer Scientists 1
 CS13115 Mathematics for Computer Scientists 2
Courses
This module is Core for:

UCSAG4G1 Undergraduate Discrete Mathematics
 Year 1 of G4G1 Discrete Mathematics
 Year 1 of G4G1 Discrete Mathematics
 Year 1 of UCSAG4G3 Undergraduate Discrete Mathematics