Mathematical Reasoning, Proof Principles and Logic.- Relations, Functions, Partial Functions.- Graphs, Part I: Basic Notions.- Some Counting Problems; Multinomial Coefficients.- Partial Orders, GCD's, RSA, Lattices.- Graphs, Part II: More Advanced Notions.- Answers to Selected Problems.
Über den Autor
Jean Gallier is a Professor in the Computer and Information Science Department, School of Engineering and Applied Science at the University of Pennsylvania.
Summarizing the rules of mathematical reasoning and how to construct proofs
Presents examples of formal and informal proofs
Includes examples of proofs by induction
Discusses public key cryptography, with a complete proof of the correctness of RSA Explicit, detailed algorithms for modular arithmetic
Explores graph flows and the max-flow min-cut theorem
Covers planar graphs