This is an old revision of the document!


A PCRE internal error occured. This might be caused by a faulty plugin

====== EPFL Fall 2011: Logic and Probability ====== **Doctoral course by Val Tannen** lecture notes 1 [[http://www.cis.upenn.edu/~val/LogicProbEPFL2011files/ln1.pdf|(pdf)]] //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