Probability Theory @ Imperial College London
This is the GitHub repository for an exposition of Probability Theory, written based on the lecture with the same name given at Imperial College London in spring 2022 by Dr. Igor Krasovsky. This is an exposition with an excessive amount of motivations, examples and extra content, so if you only need a handbook for (last-minute) revision, you should read the following notes by Jason Yi.
License
The work is currently subject to Creative Common Attribution 4.0 International (CC BY 4.0) license You are free to share and/or adapt the work, on condition of
- giving appropriate credit to the lecturer, Prof. Igor Krasovsky. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use.
- retain the link to the license,
- not applying legal terms or technological measures that legally restrict others from doing anything the license permits.
The license may change in line with the college regulations.
Better preview
The following guide is written based on the ICL Notes Organisation page, made by Mayeul (Mike) Fournial.
You will need
First steps: linking your GitHub account with your Overleaf account.
- Go to your Overleaf account settings.
- Click on “Link to your GitHub account”.
- Understand the access Overleaf requests, then click “Authorize Overleaf”.
Viewing an updated preview on Overleaf
At this point, you now have a full personal copy of the notes. Edit them in Overleaf as much as you want - all the changes will only affect you.
Contributing
Directly edit in Overleaf
Once you have an edit and you want to contribute back to the project:
- Open the Overleaf menu in the notes, and click on “GitHub” under “Sync”.
- Click on “Push Overleaf changes to GitHub” - you’ll be asked to provide a message explaining your changes. There are lots of guides online to writing good commit messages, but anything clear is fine.
- Click “Commit”.
- Make a pull request on GitHub for the repository you want to edit.
Raise a GitHub issue
Assuming you have a GitHub account,
- Go to the relevant repository (the full list is available here)
- Go to the issues tab and try and see if there is an open issue that already exists for it in the list. If so give it a thumbs up to tell the maintainer that it’s important!
- If no issue exists, create a new issue. Describe precisely what’s the problem to help the maintainer understand the necessary changes that he/she will have to do. You can include screenshots or even paste some LaTeX inside backticks quotes. For anything longer than a paragraph, consider editing the existing notes straight away.
For now, please contact Samuel Lam at chun.lam@univ.ox.ac.uk or chun.lam18@imperial.ac.uk.