Differences

This shows you the differences between two versions of the page.

--- lopro [2011/09/21 18:39]
vkuncak created
+++ lopro [2011/09/25 14:13]
val.tannen
@@ Line 1: / Line 1: @@
-====== Logic and Probability ======
+====== 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
+-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