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
Probabilistic Models in the Study of Languageby Roger Levy - University of California, San Diego
A book on the topic of using probabilistic models in scientific work on language ranging from experimental data analysis to corpus work to cognitive modeling. The intended audience is graduate students in linguistics, psychology and computer science.
(1509 views)
Notes on Computational Linguisticsby 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.
(10024 views)
Formal Language Theory for Natural Language Processingby Shuly Wintner - ESSLLI
This text is a mild introduction to Formal Language Theory for students with little or no background in formal systems. The motivation is Natural Language Processing, and the presentation is geared towards NLP applications, with extensive examples.
(5867 views)
Speech and Language Processingby 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.
(1538 views)