- Study guides, Class notes & Summaries
Looking for the best study guides, study notes and summaries about ? On this page you'll find 1 study documents about .
1 results
Exam (elaborations)
Bsc. Mathematics And Computer Science
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, the pigeonhole principle, permutations and 
combinations, recurrence relations, solving recurrence relations, generating functions, 
inclusion-exclusion principle, application of inclusion-exclusion....