TY - BOOK AU - Pedler, Pender TI - Maths Success II: discrete mathematics for the computer sciences SN - 1740160010 AV - QA 39.2 .P43 2001 PY - 2001/// CY - Guidford PB - Vineyard N1 - Logic -- Conditionals and and arguments -- Sets -- Logic circuits -- Boolean algebra -- Simplifying logic circuits -- Relations and functions -- Recursions -- Complexity of algorithms -- Proof -- Counting principles -- Binomial and multinomial coefficients ER -