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:20] val.tannen |
lopro [2011/09/25 14:25] val.tannen |
||
|---|---|---|---|
| Line 2: | Line 2: | ||
| **Doctoral course by Val Tannen** | **Doctoral course by Val Tannen** | ||
| + | |||
| + | 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)]] | ||
| //Syllabus// | //Syllabus// | ||