Discrete Mathematics

Dr. Grami received his PhD in Electrical Engineering from the University of Toronto. He has worked for Nortel Networks, where he was involved in the research, design, and development of North America’s first digital cellular wireless system.He later joined Telesat Canada, where he was the lead researcher and principal designer of Canada's Anik-F2 Ka-band system, the world’s first broadband access satellite system. Dr. Grami is currently an associate professor in the Faculty of Engineering and Applied Science at the University of Ontario Institute of Technology (UOIT), where as a founding faculty member he has led the development of various programs, including the BEng, MEng, and PhD programs in ECE.

• Part I: Logic1. Propositional Logic2. Predicate LogicPart II: Set Theory and Related Topics3. Sets4. Matrices5. Relations6. Functions7. Boolean AlgebraPart III: Proof Methods8. Sequences9. Recursion10. Induction11. General Proof MethodsPart IV: Number Theory and Applications12. Elementary Number Theory13. CryptographyPart V: Probability14. Counting Methods15. Discrete Probability16. Discrete Random VariablesPart VI: Graph Theory17. Graphs18. Trees19. Network ModelsPart VII: Algorithms and Finite State Machines20. Algorithms

"Discrete Mathematics is adequately written and well-documented....This book presents the material on the topic in a cogently coherent manner thereby serving and justifying the purpose of writing books such as this one. The classroom-tested pedagogy and its 400 examples speak a lot about the kind and amount of sweat that must have gone into it." --zbMATH Open