COMP20110 Discrete Mathematics for Computer Science

Academic Year 2023/2024

This module is intended to introduce the student to a range of topics in Discrete mathematics which are frequently used in Computer Science. We will look at topics in Predicate calculus, Lattice theory, elementary number theory and combinatorics.

We place particular emphasis on equational reasoning and on structuring proofs. We will cover standard proof techniques and introduce you to some techniques you may not have seen before such as proof by indirect equality and indirect inequality. Proof by induction will be studied and used extensively.

We will illustrate the material with many examples from Computer Science.

Show/hide contentOpenClose All

Curricular information is subject to change

Learning Outcomes:

Upon sucessfully completing the module you should be able to perform basic equational proofs. You should be familiar with the proof strategies and techniques covered in the module and be able to choose appropriate ones when faced with a theorem to prove.
You should be familiar with the quantified notation used and be able to manipulate quantified expressions.
You should be able to perform inductive proofs.

Student Effort Hours: 
Student Effort Type Hours
Lectures

24
Tutorial

12
Autonomous Student Learning

70
Total

106
Approaches to Teaching and Learning:
Lectures tutorials and assignments. 
Requirements, Exclusions and Recommendations
Learning Requirements:

none


Module Requisites and Incompatibles
Not applicable to this module.
 
Assessment Strategy  
Description Timing Open Book Exam Component Scale Must Pass Component % of Final Grade
Assignment: Take-home assignment 1 Varies over the Trimester n/a Graded No

20
Assignment: Take-home assignment 2 Varies over the Trimester n/a Graded No

20
Examination: End of Semester examination 2 hour End of Trimester Exam No Graded No

60

Carry forward of passed components
No
 
Resit In Terminal Exam
Spring Yes - 2 Hour
Please see Student Jargon Buster for more information about remediation types and timing. 
Feedback Strategy/Strategies

• Group/class feedback, post-assessment

How will my Feedback be Delivered?

Not yet recorded.

Timetabling information is displayed only for guidance purposes, relates to the current Academic Year only and is subject to change.
 
Autumn
      
Lecture Offering 1 Week(s) - Autumn: Weeks 2-12 Fri 09:00 - 09:50
Lecture Offering 1 Week(s) - Autumn: Weeks 2-12 Tues 12:00 - 12:50
Lecture Offering 1 Week(s) - Autumn: Weeks 2-12 Wed 09:00 - 10:50
Lecture Offering 2 Week(s) - Autumn: Weeks 2-12 Wed 12:00 - 13:50
Autumn