Contains the lecture notes for the Fall 2023 offering of CS7470.

These notes are open to pull-requests or issue reports! Please open one if you want to improve the notes in any way (fix typos, add references, add exercises, etc.).

If you use this repository in your course or wish to refer to it, please use the following reference:

@misc{holtzen2023Notes,
    author = {Holtzen, Steven},
    year = {2023},
    title = {Notes on Foundations of Probabilistic Programming},
    howpublished = {\url{https://github.com/neuppl/CS7470-Notes}},
}

Topics

• Lecture 1: Introduction and overview
• Lecture 2: Propositional Probability I: Semantics
• Lecture 3: Propositional Probability II: Reasoning
• Lecture 4: Propositional Probability III: Compiling
• Lecture 5: Binary Decision Diagrams I
• Lecture 6: Binary Decision Diagrams II
• Lecture 7: Discrete Probabilistic Programs