Logic & Probability - ESSLLI 2022

Thomas Icard and Krzysztof Mierzewski

Lecture 1: Overview and Probability Logics (TI)
Lecture 2: The Quantitative/Qualitative Interface (TI/KM)
Lecture 3: Probabilities on Rich Languages, Random Structures and 0-1 Laws (KM)
Lecture 4: Probabilistic Grammars and Probabilistic Programs (TI)
Lecture 5: Computable Measure Theory (KM)