CSC 209 Mathematical Foundation of Computer Science Resit 2021

About this paper

CSC 209: Resit Examination, 16 March 2021 (70 marks, CRBII), University of Buea, Faculty of Science, Dept of Computer Science: Pigeonhole/inclusion-exclusion definitions and proof, committee counting, permutations of ``CALCULUS'', a binomial term flagged as not existing (non-integer exponent $k$), logical-equivalence/converse/contrapositive items, predicate-logic translation, a set-identity proof cross-referenced in later papers, function-composition cross-references, a sum-of-first-$n$-odd-numbers induction proof, and a relation's $R^{-1}$/$\bar R$/$R^2$/matrix computation (an initial $R^2$ omission self-caught and corrected before finalizing).