Index
 
Operating Systems
Java
Programming Languages
Hardware
Microsoft Technologies
Computer Science
Formal Methods
MM & Game Dev.
Theory Computing
Compilers
Database
Hardware
DS & Algorithms
OS
Network
Database
Network
Software Engineering
XML and XSL
Internet
Web Programming
Web Technologies
Physics
Bio-Chemistry
Mathematics
Medical
Redbooks
Unlisted/Miscellaneous

Contact Us

Freebookzone.com | What's New | Missing Link | Feedback

CS -> Theory



Book Title : Computational Semantics and Type Theory
eBook download format(s) : htm
Author(s) : Jan van Eijck
Section : CS -> Theory
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


eBook VersionLook @ Amazon
Front Cover

Missing Link?, Report It and you may wish to find Similar Books from amazon.

Tell a Friend!

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: Bio-Chemistry
Computational Molecular Biology: An Introduction


Section: CS -> Compilers and Languages
Semantics with Applications: A Formal Introduction
Programming in Martin-Lof'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 b-type Data Center Networking - Design and Best Practices Introduction
IBM b-type Data Center Networking - Product Introduction and Initial Setup
IBM b-type Data Center Networking: Design and Best Practices Introduction
IBM j-type Ethernet Appliance Implementation
IBM j-type Ethernet Switches and Routers Implementation
Show all..


Section: Redbooks
IBM j-type Data Center Networking Introduction
IBM b-type Data Center Networking: Product Introduction and Initial Setup
IBM b-type Data Center Networking: Design and Best Practices Introduction
Implementation of IBM j-type Ethernet Switches and Routers
Implementation of IBM j-type 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 :


Tell a Friend!


©2008 FreeBookZone.com - Home - Privacy Policy - Program Policy, Terms and Conditions