Exam (elaborations)
BSC. MATHEMATICS AND COMPUTER SCIENCE
- Module
- Institution
BSC. MATHEMATICS AND COMPUTER SCIENCE Unit I Logic: Propositional equivalence, predicates and quantifiers, Methods of proofs, proof strategy, sequences and summation, mathematical induction, recursive definitions and structural induction, program correctness. Counting: The basics of counting...
[Show more]