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: Natural Language Processing for Prolog ProgrammersNatural Language Processing for Prolog Programmers
by - Prentice-Hall
Designed to bridge the gap for those who know Prolog but have no background in linguistics, this book concentrates on turning theories into practical techniques. Coverage includes template and keyword systems, definite clause grammars, and more.
(5737 views)
Book cover: Computational LinguisticsComputational Linguistics
by
The book focuses on the basic set of ideas and facts from the fundamental science necessary for the creation of intelligent language processing tools, without going deeply into the details of specific algorithms or toy systems.
(16007 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.
(2403 views)
Book cover: Notes on Computational LinguisticsNotes on Computational Linguistics
by - 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.
(10740 views)