TY - BOOK AU - Rosen,Kenneth H. AU - Krithivasan,Kamala TI - Discrete mathematics and its applications SN - 9780071315012 AV - QA39.3 .R67 2013 PY - 2013/// CY - Boston PB - McGraw-Hill Higher Education KW - Mathematics KW - Computer science KW - Logic, Symbolic and mathematical N1 - Includes bibliographical references and index; The foundations : logic and proofs -- Basic structures : sets, functions, sequences, and sums -- The fundamentals : algorithms, the integers, and matrices -- Induction and recursion -- Counting -- Discrete probability -- Advanced counting techniques -- Relations -- Graphs -- Trees -- Boolean algebra -- Modeling computation ER -