CSC 209 Mathematical Foundation of Computer Science CA 2021

About this paper

CSC 209: Test 1, 23 November 2021 (1.5hr, 30 marks printed but summing to 33 -- flagged), University of Buea, Faculty of Science, Dept of Computer Science: a set-identity proof cross-referenced to Paper 11, a characteristic-function proof pair (one part flagged as a likely printed-typo identity, answered as the evident intended complement law), bit-string/set conversions, multiset union/sum/intersection/difference computations (including a flagged reading of a garbled ``Also find:'' source phrase), a father-in-law relation-composition description, a relation's $R^{-1}$/$\bar R$/$R^2$ cross-referenced to Paper 11, and injective/surjective composition proofs cross-referenced to Paper 9.