COURSE CODE: COMP 1210
COURSE TITLE: Mathematics for Computing
SEMESTER: 1 OR 2
CREDITS: 3
PRE-REQUISITES: NONE
RESTRICTION: FOR BSc SOFTWARE ENGINEERING STUDENTS ONLY
COURSE CONTENT:
Propositional Logic; Logical Connectives; Truth Tables; Normal Forms (Conjunctive And Disjunctive); Validity; Predicate Logic; Universal and Existential Quantification; Modus Ponens and Modus Tollens; Limitations of Predicate Logic; Functions (Surjections, Injections, Inverses, Composition); Relations (Reflexivity, Symmetry, Transitivity, Equivalence Relations); Sets (Venn Diagrams, Complements, Cartesian Products, Power Sets); Pigeonhole Principle; Cardinality and Countability; Finite Probability Space, Probability Measure, Events; Conditional Probability, Independence; Trees, Undirected Graphs, Directed Graphs, Spanning Trees/Forests.
 
ASSESSMENT
Coursework           40%
Final Examination  (2 Hours)           60%
Top of Page