Book Review:
Book Description
This book on applications of logic in the semantic analysis of language pays the reader the compliment of not assuming anything about what s/he knows (in particular, no specific logical knowledge or experience with programming is presupposed), while making very flattering assumptions about his or her intelligence and interest in the subject matter.
The method used throughout in the book is the pursuit of logical questions and implementation issues occasioned by concrete examples of formally defined language fragments. At first, no distinction is made between formal and natural language: in the first chapter it is explained why. At the end of the text the reader should have acquired enough knowledge and skills for the development of (at least the semantic part of) fairly serious NL processing applications.
Throughout the text, abstract concepts are linked to concrete representations in the functional programming language Haskell, a language that is well suited for the book\'s purposes because it comes with a very easy to use interpreter, Hugs. Haskell compilers, interpreters and documentation are freely available from the Internet (at address http://www.haskell.org ). Everything one has to know about programming in Haskell to understand the programs in the book is explained as we go along, but this book does not cover every aspect of the language. For a further introduction to Haskell the reader is referred to A Gentle Introduction to Haskell. This book does assume that the reader is able to retrieve the appropriate software from the internet, and that s/he is acquainted with the use of a text editor for the creation and modification of programming code.
Intended Audience
The book is intended for linguists who want to know more about logic, including recent developments in modal and dynamic logic, and its applicability to their subject matter, and for logicians with a curiosity about applications of their subject to linguistics.
add to del.icio.us
Digg Freebookzone.com!
You may use anyone of the download options
Missing Link?, Report It and you may wish to find Similar Books from amazon.
Similar Book titles in CS > Theory section: A BASIS FOR A MATHEMATICAL THEORY OF COMPUTATION Graph Theory An Introduction to the Theory of Computation (Principles of Computer Science Series) Type Theory and Functional Programming Information Theory, Inference and Learning Algorithms Categories, Types And Structures  An Introduction to Category Theory for The Working Computer Scientist Queueing Theory Parallel Complexity Theory Lecture Notes on Algorithm Analysis and Computational Complexity (4th Edition) Algorithmic Information Theory, Third Printing Computational Category Theory A Short Introduction to Queueing Theory Introduction to Computational Complexity Notes on Coding Theory Global Optimization Algorithms  Theory and Application
Similar Book titles in Other sections:
Section: BioChemistry Computational Molecular Biology: An Introduction
Section: CS > Compilers and Languages Semantics with Applications: A Formal Introduction Programming in MartinLof's Type Theory Syntax and Semantics of Programming Languages Theory of Codes Data, Syntax and Semantics  An Introduction to Modelling Programming Languages Show all..
Section: Data Structures and Algorithms Computational Geometry: Methods and Applications
Section: DB > Datawarehousing Algorithmic Information Theory
Section: DB > Others The Theory of Relational Databases
Section: Life & Health The Filipino Fighting / Martial Arts: Theory and Practice
Section: Mathematics Introduction to Group Theory Graph Theory Lessons A Computational Introduction to Number Theory and Algebra An Introduction to the Theory of Numbers Unsolved Problems in Mathematical Systems and Control Theory Show all..
Section: Miscellaneous Computational Complexity: A Modern Approach Computational Complexity: A Conceptual Perspective Circuit Analysis: Theory & Practice Formatting Information, a Beginner's Introduction to Typesetting With LaTeX Digraphs Theory, Algorithms and Applications Show all..
Section: Networking Fundamentals of Switching Theory and Logic Design: A Hands on Approach
Section: Other Engineering Spheroidal Wave Functions in Electromagnetic Theory (Wiley Series in Microwave and Optical Engineering)
Section: C++ Language
Section: Other Programming Type Systems for Programming Languages Computational Linguistics  Models, Resources, Applications A Practical Theory of Programming, Second Edition
Section: Redbooks Draft IBM btype Data Center Networking  Design and Best Practices Introduction IBM btype Data Center Networking  Product Introduction and Initial Setup IBM btype Data Center Networking: Design and Best Practices Introduction IBM jtype Ethernet Appliance Implementation IBM jtype Ethernet Switches and Routers Implementation Show all..
Section: Redbooks IBM jtype Data Center Networking Introduction IBM btype Data Center Networking: Product Introduction and Initial Setup IBM btype Data Center Networking: Design and Best Practices Introduction Implementation of IBM jtype Ethernet Switches and Routers Implementation of IBM jtype Ethernet Appliances Show all..
Section: IBM Technotes Setting Encryption Types for NFS V4 in AIX 5L Version 5.3 Remote Journal on i5/OS ? Are You Selecting the Right Type?
Section: Redpapers IBM CICS Performance Series: Comparing Type 2 and Type 4 JDBC Driver Performance with IBM CICS Transaction Server for z/OS V5.2 Liberty JVM server
Section: Redpapers Draft IBM CICS Performance Series: Comparing type 2 and 4 JDBC driver performance with IBM CICS Transaction Server for z/OS V5.2 Liberty JVM server
Section: Travel and Routes The Global Nomad: Backpacker Travel in Theory and Practice
Similar Books from Amazon :

