Differences

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

--- lopro [2011/09/28 14:38]
val.tannen
+++ lopro [2011/11/16 10:24] (current)
val.tannen
@@ Line 5: / Line 5: @@
 Lecture notes 1 [[http://www.cis.upenn.edu/~val/LogicProbEPFL2011files/ln1.pdf|(pdf)]]
-Homework 1 1 [[http://www.cis.upenn.edu/~val/LogicProbEPFL2011files/ln1.pdf|(pdf)]]
+Homework 1 [[http://www.cis.upenn.edu/~val/LogicProbEPFL2011files/hw1.pdf|(pdf)]]
+Lecture notes 2 [[http://www.cis.upenn.edu/~val/LogicProbEPFL2011files/ln2.pdf|(pdf)]]
+Lecture notes 3 [[http://www.cis.upenn.edu/~val/LogicProbEPFL2011files/ln3.pdf|(pdf)]]
+Lecture notes 4 [[http://www.cis.upenn.edu/~val/LogicProbEPFL2011files/ln4.pdf|(pdf)]]
+Homework 2 [[http://www.cis.upenn.edu/~val/LogicProbEPFL2011files/hw2.pdf|(pdf)]]
+Lecture notes 5 (revised) [[http://www.cis.upenn.edu/~val/LogicProbEPFL2011files/ln5rev.pdf|(pdf)]]
+Lecture notes 6 [[http://www.cis.upenn.edu/~val/LogicProbEPFL2011files/ln6.pdf|(pdf)]]
+Lecture notes 7 [[http://www.cis.upenn.edu/~val/LogicProbEPFL2011files/ln7.pdf|(pdf)]]
 //Course Materials//
+"Models for Incomplete and Probabilistic Information" Green and Tannen [[http://www.cis.upenn.edu/~val/LogicProbEPFL2011files/GreenTannen06.pdf|(pdf)]]
 Old lecture notes on computability [[http://www.cis.upenn.edu/~val/LogicProbEPFL2011files/compNotes.pdf|(pdf)]]