Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
lopro [2011/11/16 07:34] val.tannen |
lopro [2011/11/16 10:24] (current) val.tannen |
||
|---|---|---|---|
| Line 18: | Line 18: | ||
| Lecture notes 6 [[http://www.cis.upenn.edu/~val/LogicProbEPFL2011files/ln6.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// | //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)]] | Old lecture notes on computability [[http://www.cis.upenn.edu/~val/LogicProbEPFL2011files/compNotes.pdf|(pdf)]] | ||