• 1 Discrete Probability Distributions ▶
    • 1.1 Simulation of Discrete Probabilities
    • 1.2 Discrete Probability Distributions
  • 2 Continuous Probability Densities ▶
    • 2.1 Simulation of Continuous Probabilities
    • 2.2 Continuous Density Functions
  • 3 Combinatorics ▶
    • 3.1 Permutations
    • 3.2 Combinations
    • 3.3 Card Shuffling
  • 4 Conditional Probability ▶
    • 4.1 Discrete Conditional Probability
    • 4.2 Continuous Conditional Probability
    • 4.3 Paradoxes
  • Dependency graph

Formalization of the Grinstead and Snell’s Introduction to Probability

Arshak Parsa

  • 1 Discrete Probability Distributions
    • 1.1 Simulation of Discrete Probabilities
    • 1.2 Discrete Probability Distributions
  • 2 Continuous Probability Densities
    • 2.1 Simulation of Continuous Probabilities
    • 2.2 Continuous Density Functions
  • 3 Combinatorics
    • 3.1 Permutations
    • 3.2 Combinations
    • 3.3 Card Shuffling
  • 4 Conditional Probability
    • 4.1 Discrete Conditional Probability
    • 4.2 Continuous Conditional Probability
    • 4.3 Paradoxes