CT0002-Discrete Mathematics for Computing
This course serves as an introduction to various topics in discrete mathematics which is used to describe and model the operations of a computer system. You will learn topics from the following broad areas of discrete mathematics which are relevant to computing: number theory, logic, combinatorics, sets, relations, functions and graphs.
Intended Learning Outcomes (ILOs)
By the end of this course, you would be able to:
- Identify which integers are congruent modulo a positive integer.
- Formulate, interpret, and manipulate logical statements.
- Prove simple statements about computer programs using various proof techniques.
- Apply basic tools for counting.
- Manipulate relations and functions between sets.
- Understand different types of graphs.
Course Contents
| Propositional and Predicate Logic Propositions, logical operators, equivalent statements, De Morgan’s laws, logical equivalence laws, order of operations, arguments, inference rules. Predicates, quantification, negating quantifiers |
| Proof Techniques Direct proof, proof by induction, proof by contradiction, proof by contrapositive. |
| Combinatorics Principle of counting, combinations, permutations. |
| Sets, Relations and Functions Sets, operations on sets, cardinality, power sets, cartesian products. Relations, relations on a set, equivalence relations. Functions, injectivity, surjectivity, bijectivity, inverse, composition |
| Graphs Graphs, Vertices, Edges, Directed graphs, Weighted Graph, Hamiltonian graphs, Complete Graph |
Course Schedule - 5th Intake
| Class schedule (Online Consultation) | 13 April - 22 May 2026 Tuesday (6:30 pm - 8:30 pm) |
| Final Exam (Onsite, NTU Campus)# | 23 May 2026 Saturday (AM) |
#Onsite assessment venue at NTU will be announced closer to the final exam date.
Course Schedule - 4th Intake
| Class schedule (Online Consultation) | 15 Sept - 24 Oct 2025 Tuesday (6:30 pm - 8:30 pm) |
| Final Exam (Onsite, NTU Campus)# | 25 October 2025 |
#Onsite assessment venue at NTU will be announced closer to the final exam date.
Course Fees and Funding
- Each module cost S$250.
- Learners can use their SkillsFuture credits to pay or partially pay for the bridging modules.