MATH10210 Foundations of Mathematics for Computer Science I

Academic Year 2022/2023

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
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, binomial coefficients,

Show/hide contentOpenClose All

Curricular information is subject to change

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
Lectures

24
Tutorial

12
Specified Learning Activities

40
Autonomous Student Learning

40
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 Open Book Exam Component Scale Must Pass Component % of Final Grade
Continuous Assessment: Online Problems Throughout the Trimester n/a Alternative linear conversion grade scale 40% No

20
Examination: End of trimester exam 2 hour End of Trimester Exam No Alternative linear conversion grade scale 40% No

60
Practical Examination: Short written quiz/test in each tutorial Throughout the Trimester n/a Alternative linear conversion grade scale 40% No

20

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
Mr Jack McNicholl Tutor
Atefeh Moradi Tutor
Arani Paul Tutor
Anton Sohn Tutor
Giulio Taiocchi Tutor