A brief introduction to probability theory