**Language, Proof and Logic**

by Jon Barwise, John Etchemendy

**Publisher**: Center for the Study of Language 2011**ISBN/ASIN**: 157586374X**ISBN-13**: 9781575863740**Number of pages**: 620

**Description**:

This textbook/software package covers first-order language in a method appropriate for first and second courses in logic. The unique on-line grading services instantly grades solutions to hundred of computer exercises. It is specially devised to be used by philosophy instructors in a way that is useful to undergraduates of philosophy, computer science, mathematics, and linguistics. Advanced chapters include proofs of soundness and completeness for propositional and predicate logic, as well as an accessible sketch of Godel's first incompleteness theorem.

Download or read it online for free here:

**Download link**

(2.5MB, PDF)

## Similar books

**Speech and Language Processing**

by

**Dan Jurafsky, James H. Martin**-

**Stanford University**

This text takes an empirical approach to the subject, based on applying statistical and machine-learning algorithms to large corporations. The authors describe a unified vision of speech and language processing. Emphasis is on practical applications.

(

**1035**views)

**Natural Language Processing for the Working Programmer**

by

**DaniĆ«l de Kok, Harm Brouwer**

We will go into many of the techniques that so-called computational linguists use to analyze the structure of human language, and transform it into a form that computers work with. We chose Haskell as the main programming language for this book.

(

**6133**views)

**Notes on Computational Linguistics**

by

**Edward Stabler**-

**UCLA**

What kind of computational device could use a system like a human language? This text explores the computational properties of devices that could compute morphological and syntactic analyses, and recognize semantic relations among sentences.

(

**9651**views)

**A Maximum Entropy Approach to Natural Language Processing**

by

**A. L. Berger, S. A. Della Pietra, V. J. Della Pietra**-

**Association for Computational Linguistics**

The authors describe a method for statistical modeling based on maximum entropy. They present a maximum-likelihood approach for automatically constructing maximum entropy models and describe how to implement this approach efficiently.

(

**4729**views)