Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
|
lopro [2011/09/25 14:24] val.tannen |
lopro [2011/09/25 14:28] val.tannen |
||
|---|---|---|---|
| Line 4: | Line 4: | ||
| lecture notes 1 [[http://www.cis.upenn.edu/~val/LogicProbEPFL2011files/ln1.pdf|(pdf)]] | lecture notes 1 [[http://www.cis.upenn.edu/~val/LogicProbEPFL2011files/ln1.pdf|(pdf)]] | ||
| + | |||
| + | //Course Materials// | ||
| + | |||
| + | my old lecture notes on computability [[http://www.cis.upenn.edu/~val/LogicProbEPFL2011files/compNotes.pdf|(pdf)]] | ||
| + | |||
| + | "On the Unusual Effectiveness of Logic in Computer Science" Halpern, Harper, Immerman, Kolaitis, Vardi, and Vianu" [[http://www.cis.upenn.edu/~val/LogicProbEPFL2011files/UnusualEffectiveness.pdf|(pdf)]] | ||
| //Syllabus// | //Syllabus// | ||
| Line 24: | Line 30: | ||
| - | My lecture notes on Computability | ||