CSC 209 Mathematical Foundation of Computer Science Exam 2023

About this paper

CSC 209: First Semester Examination, 25 January 2023 (2hr, 70 marks printed but summing to 66 -- flagged), University of Buea, Faculty of Science, Dept of Computer Science: Section A, four items cross-referenced to Paper 12 (set-algebra proof, 4-function composition, PROJ analysis, binary-relation outline) plus a gcd/Bezout linear-combination derivation (500, 222) and a Euclidean-algorithm modular-inverse computation (17 in $\mathbb{Z}_{64}$) and a sum-of-cubes induction proof; Section B, counting-principle statements, digit-counting (flagged repetition assumption), a Pascal's-identity cross-reference, a binomial term flagged as not existing (non-integer $k$), a generalized-binomial-series first-three-terms derivation, and a composite-statement/logical-equivalence/predicate-translation section.