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
Prolog and Natural-Language Analysisby F. C. N. Pereira, S. M. Shieber - 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.
(23647 views)
Computational Linguisticsby Igor Boshakov, Alexander Gelbukh
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.
(24615 views)
How Mobile Robots Can Self-organise a Vocabularyby Paul Vogt - Language Science Press
This book presents a series of experiments in which two robots try to solve the symbol grounding problem. The experiments are based on the language game paradigm, and involve real mobile robots that are able to develop a grounded lexicon ...
(7940 views)
Natural Language Processing for the Working Programmerby 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.
(18738 views)