Tuesday, July 12, 2016

More Syllabus

 Subjects to discuss in the last two lectures

1. The relatives of Natural Deduction

2. Natural Deduction proving strategies

3. Introduction to Curry-Howard isomorphism

4. Subformula property and proving procedures complexity

5. On the size of Propositional proofs
Posted by at

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)