Show page Old revisions Backlinks This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong. ====== EPFL Fall 2011: Logic and Probability ====== **Doctoral course by Val Tannen** //Syllabus// -Introduction -Truth, proof, and computation: some basic results about first-order logic -A bit of the story of how Mathematical Logic (and Electronic Technology) gave birth to Computer Science. -Part I: Probability of Logic -Random graphs and random structures -0-1 laws -Queries on probabilistic databases -Part II: Logic of Probability -Pearl-Paz logics for reasoning about probabilistic (in)dependence -Reasoning about independence in Bayesian and Markov networks; the Hammersley-Clifford theorem -Reasoning about independence in relational graphical models (PRMs and RMNs) My lecture notes on Computability