Logics and Statistics for Language Modeling: Logic Section.
The Logic Section of the "Logics and Statistics for Language Modeling" is an introduction to logic from a computational point of view, with special enphasis on how logic and inference is required in different applications of natural language processing.
Lecturer
 Carlos Areces
 Office B 230, LORIA, Campus scientifique de Vandoeuvre
 Email: firstname.lastname@loria.fr
 Tel: 03 54 95 84 90
Slides
 Lecture 1: [slides  handout]
 Lecture 1bis: [slides  handout]
 Lecture 2: [slides  handout  DP Example]
 Lecture 3: [slides  handout]
 Lecture 4: [slides  handout]
 Lecture 5: [slides  handout]
 Lecture 6: [slides  handout]
 Lecture 6bis: [slides  handout]
 Lecture 7: [slides  handout  Tableaux Example]
 Lecture 8: [slides  handout]
Additional Reading
 Propositional Logic [pdf]

Davis Putnam method
[pdf]
(Note: I found these notes online, they provide some further details and another example of the DP method. It could be useful as additional material, but notice that the presentation is a bit different from the one I used. Also, the notes include material that we didn't cover.)  First Order Logic [pdf]