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:27] 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 [[http://www.cis.upenn.edu/~val/LogicProbEPFL2011files/UnusualEffectiveness.pdf|(pdf)]] | ||
//Syllabus// | //Syllabus// | ||
Line 24: | Line 30: | ||
- | My lecture notes on Computability |