Welcome to my notes for CS 2802, taught by Professor Joe Halpern.
Chapter 10: Directed Graphs and Partial Orders
Probability is a way to quantify uncertainty.
Two standard interpretations:
Probability is assigned to events. Formally, we take a sample space to be a set. Events are subsets of the sample space.
In the real world, choosing the sample space is one of the most difficult problems. We cannot prove that we chose the right model but we can argue for that.
A probability measure assigns a real number between 0 and 1 to every subset of (even in) a sample space.