Explore UCD

UCD Home >

COMP20110

Academic Year 2024/2025

Discrete Mathematics for Computer Science (COMP20110)

Subject:
Computer Science
College:
Science
School:
Computer Science
Level:
2 (Intermediate)
Credits:
5
Module Coordinator:
Mr Henry McLoughlin
Trimester:
Autumn
Mode of Delivery:
On Campus
Internship Module:
No
How will I be graded?
Letter grades

Curricular information is subject to change.

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.

About this Module

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
Autonomous Student Learning

70

Lectures

24

Tutorial

24

Total

118


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 Component Scale Must Pass Component % of Final Grade In Module Component Repeat Offered
Assignment(Including Essay): Take home assignment Week 5 Graded No
20
No
Assignment(Including Essay): Take home assignment Week 10 Graded No
20
No
Exam (In-person): End of term exam End of trimester
Duration:
2 hr(s)
Graded No
60
No

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.

Name Role
Mr Jim Quinn Tutor

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: All Weeks Fri 09:00 - 09:50
Autumn Lecture Offering 1 Week(s) - Autumn: All Weeks Tues 12:00 - 12:50
Autumn Practical Offering 1 Week(s) - Autumn: Weeks 2-12 Wed 09:00 - 10:50
Autumn Practical Offering 2 Week(s) - Autumn: Weeks 2-12 Wed 12:00 - 13:50