Skip to content

Latest commit

 

History

History
32 lines (26 loc) · 1.16 KB

README.md

File metadata and controls

32 lines (26 loc) · 1.16 KB
Raw

CC BY 4.0

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