Logo

Language, Proof and Logic by Jon Barwise, John Etchemendy

Large book cover: Language, Proof and Logic

Language, Proof and Logic
by

Publisher: Center for the Study of Language
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

Book cover: Machine Translation: an Introductory GuideMachine Translation: an Introductory Guide
by - Blackwell Pub
This introductory book looks at all aspects of Machine Translation: covering questions of what it is like to use a modern Machine Translation system, through questions about how it is done, to questions of evaluating systems, and more.
(9304 views)
Book cover: A Maximum Entropy Approach to Natural Language ProcessingA Maximum Entropy Approach to Natural Language Processing
by - 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.
(10188 views)
Book cover: Speech and Language ProcessingSpeech and Language Processing
by - 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.
(7067 views)
Book cover: Prolog and Natural-Language AnalysisProlog and Natural-Language Analysis
by - Center for the Study of Language
A concise introduction to logic programming and the logic-programming language Prolog both as vehicles for understanding elementary computational linguistics and as tools for implementing the basic components of natural-language-processing systems.
(20884 views)