Explore UCD

UCD Home >

MATH10210

Academic Year 2025/2026

Foundations of Mathematics for Computer Science I (MATH10210)

Subject:
Mathematics
College:
Science
School:
Mathematics & Statistics
Level:
1 (Introductory)
Credits:
5
Module Coordinator:
Dr Lars Kuehne
Trimester:
Spring
Mode of Delivery:
On Campus
Internship Module:
No
How will I be graded?
Letter grades

Curricular information is subject to change.

This module offeres a first introduction to principles of discrete mathematics, with a presentation for students of computer science. A brief course outline can be read below.
Basic Algebra: algebraic manipulations, substitutions, inequalities, summations, operations, binomial coefficients
Principles of Proof: predicates and quantifiers, direct argument, contrapositive, constructive proofs, proof by contradiction, proof by induction
Sets: operations and constructions on sets, properties of sets, De Morgan's laws
Functions: domain and range, injectivity, surjectivity, invertibility, floor and ceiling, max and min

About this Module

Learning Outcomes:

Upon successful completion of this module, students will be competent in standard algebraic manipulation and have a solid understanding of principles of proof, which are fundamental in any mathematical subject. Particular emphasis will be placed on constructive proofs, especially important in computer science. Students will be well versed in other important abstract objects such as sets and functions. Students who have done well in this module will be in a position to tackle more sophisticated topics in discrete mathematics.

Student Effort Hours:
Student Effort Type Hours
Specified Learning Activities

40
Autonomous Student Learning

40
Lectures

24
Tutorial

12
Total

116

Approaches to Teaching and Learning:
Lectures, tutorials, enquiry and problem-based learning.

Requirements, Exclusions and Recommendations

Not applicable to this module.


Module Requisites and Incompatibles
Incompatibles:
MATH10010 - Discrete Mathematics (BAgrSc), MATH10030 - Maths for Business, MATH10040 - Numbers & Functions, MATH20130 - Fund. Actuarial Mathematics I, MST00050 - Mathematics: An introduction, MST10030 - Linear Algebra I


 

Assessment Strategy
Description Timing Component Scale Must Pass Component % of Final Grade In Module Component Repeat Offered
Exam (In-person): written examination End of trimester
Duration:
2 hr(s)
 Standard conversion grade scale 40% No
70
 No
Practical Skills Assessment: exercises done in group work during tutorials and submitted at end of tutorials Week 2, Week 3, Week 4, Week 5, Week 6, Week 7, Week 8, Week 9, Week 10, Week 11, Week 12 Standard conversion grade scale 40% No
30
 No

Carry forward of passed components
No
 

Resit In Terminal Exam
Autumn 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
Muhammad Bin Arif Tutor
Mr Cian Boland Tutor
Antonio Fozzati Tutor
Matteo Lotriglia Tutor
Mr Jack McNicholl Tutor
Atefeh Moradi Tutor
Anton Sohn Tutor
Qingkai Zhu Tutor

Timetabling information is displayed only for guidance purposes, relates to the current Academic Year only and is subject to change.
Spring Lecture Offering 1 Week(s) - 20, 21, 22, 23, 24, 25, 26, 29, 30, 31, 32, 33 Fri 14:00 - 14:50
Spring Lecture Offering 1 Week(s) - 20, 21, 22, 23, 24, 25, 26, 29, 30, 31, 32, 33 Thurs 09:00 - 09:50
Spring Tutorial Offering 1 Week(s) - 21, 22, 23, 24, 25, 26, 29, 30, 31, 32, 33 Tues 16:00 - 16:50
Spring Tutorial Offering 2 Week(s) - 21, 22, 23, 24, 25, 26, 29, 30, 31, 32, 33 Tues 16:00 - 16:50
Print this page
Fill in the following details:
Enter the body of your query here.

From time to time UCD would like to send you further information that we feel, based on your enquiry, would be of interest to you.