Bender E.A., Williamson S.G. Lectures in Discrete Mathematics

San Diego: UC San Diego, 2019. — 503 p.Boolean Functions & Computer Arithmetic
Boolean Functions
Exercises for Section
Number Systems & Computer Arithmetic
Computer Arithmetic
Exercises for Section
Multiple Choice Questions for Review
Logic
Propositional Logic
Implication
Exercises for Section
Predicate Logic
Exercises for Section
Multiple Choice Questions for Review
Number Theory & Cryptography
Basic Facts about Numbers
Prime Numbers & Factorization
Remainders & Modular Arithmetic
Floor & Ceiling Functions
Exercises for Section
Basic Ideas
gcd, lcm & φ Functions
Cryptography on the Internet
Exercises for Section
Multiple Choice Questions for Review
Sets & Functions
Sets
Set Properties & Proofs
Ordering Sets
Subsets of Sets
Exercises for Section
Functions
Exercises for Section
Multiple Choice Questions for Review
Equivalence & Order
Equivalence
Pigeonhole Principle
Exercises for Section
Order
New Posets from Old Ones
More Poset Concepts
Exercises for Section
Multiple Choice Questions for Review
Induction, Sequences & Series
Induction
More Advanced Examples of Induction
Exercises for Section
Infinite Sequences
Infinite Series
Exercises for Section
Multiple Choice Questions for Review
Solutions
Counting & Listing
Lists with Repetitions
Exercises for Section
Lists without Repetition
Exercises for Section
Sets
Exercises for Section
Probability & Basic Counting
Exercises for Section
Multiple Choice Questions for Review
Functions
Basic Terminology
Exercises for Section
Permutations
Exercises for Section
Inverse of Arbitrary Function
Monotonic Lists & Unordered Lists
Exercises for Section
Functions & Probability
Random Variables
Joint Distributions
Independence
Standard Distributions
Exercises for Section
Multiple Choice Questions for Review
Decision Trees & Recursion
Basic Concepts of Decision Trees
What is Decision Tree
Permutations
Traversing Decision Trees
Exercises for Section
Recursive Algorithms
Exercises for Section
Decision Trees & Conditional Probability
Generating Objects at Random
First Moment Method & SAT Problem
Exercises for Section
Induction
Recursive Equations
Exercises for Section
Multiple Choice Questions for Review
Graph Theory
What is Graph
Random Graphs
Exercises for Section
Digraphs, Paths & Subgraphs
Exercises for Section
Trees
Spanning Trees
Exercises for Section
Rates of Growth & Analysis of Algorithms
Polynomial Time Algorithms
Theorem for Recursive Algorithms
Exercises for Section
Multiple Choice Questions for Review
Solutions