CIS 682 Friendly Logics Spring 2011
Levine 315, Thursdays 11-12 and 1:30-3
- Instructor:
- Val Tannen
Levine 570
Email: val@cis.upenn.edu
Tel: +1 (215) 898-2665
This edition of CIS 682 will focus on the interaction between logic
and probability.
Syllabus and some textbooks
[pdf]
My lecture notes on computability
[pdf]
"On the Unusual Effectiveness of Logic in Computer Science"
[pdf]
Lecture Notes 1 (a bit different from what I distributed in class;
some typos caught by Ryan have also been fixed)
[pdf]
Lecture Notes 2 (some typos fixed on 2/16/11)
[pdf]
Lecture Notes 3
[pdf]
Lecture Notes 4
[pdf]
_________________________________
Val Tannen (val@cis.upenn.edu)