عنوان
پدید آورنده
موضوع
رده
QA76.7 .E43 2010eb
QA76
.
7
.
E43
2010eb
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
0511778376
(Number (ISBN
0511924976
(Number (ISBN
0511927517
(Number (ISBN
0511931360
(Number (ISBN
0511932707
(Number (ISBN
1107207797
(Number (ISBN
1282930737
(Number (ISBN
661293073X
(Number (ISBN
9780511778377
(Number (ISBN
9780511924972
(Number (ISBN
9780511927515
(Number (ISBN
9780511931369
(Number (ISBN
9780511932700
(Number (ISBN
9781107207790
(Number (ISBN
9781282930735
(Number (ISBN
9786612930737
Erroneous ISBN
0521757606
Erroneous ISBN
0521760305
Erroneous ISBN
9780521757607
Erroneous ISBN
9780521760300
NATIONAL BIBLIOGRAPHY NUMBER
Number
b737084
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Computational semantics with functional programming /
General Material Designation
[Book]
First Statement of Responsibility
Jan van Eijck and Christina Unger.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Cambridge :
Name of Publisher, Distributor, etc.
Cambridge University Press,
Date of Publication, Distribution, etc.
2010.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (405 pages)
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references (pages 389-395) and index.
CONTENTS NOTE
Text of Note
Formal study of natural language -- Lambda calculus, types, and functional programming -- Functional programming with Haskell -- Formal syntax for fragments -- Formal semantics for fragments -- Model checking with predicate logic -- The composition of meaning in natural language -- Extension and intension -- Parsing -- Handling relations and scoping -- Continuation passing style semantics -- Discourse representation and context -- Communication as informative action.
0
SUMMARY OR ABSTRACT
Text of Note
Computational semantics is the art and science of computing meaning in natural language. The meaning of a sentence is derived from the meanings of the individual words in it, and this process can be made so precise that it can be implemented on a computer. Designed for students of linguistics, computer science, logic and philosophy, this comprehensive text shows how to compute meaning using the functional programming language Haskell. It deals with both denotational meaning (where meaning comes from knowing the conditions of truth in situations), and operational meaning (where meaning is an instruction for performing cognitive action). Including a discussion of recent developments in logic, it will be invaluable to linguistics students wanting to apply logic to their studies, logic students wishing to learn how their subject can be applied to linguistics, and functional programmers interested in natural language processing as a new application area.
ACQUISITION INFORMATION NOTE
Source for Acquisition/Subscription Address
MIL
Stock Number
293073
OTHER EDITION IN ANOTHER MEDIUM
Title
Computational semantics with functional programming.
International Standard Book Number
9780521760300
TOPICAL NAME USED AS SUBJECT
Functional programming (Computer science)
Haskell (Computer program language)
Programming languages (Electronic computers)-- Semantics.
Computerlinguistik
COMPUTERS-- Programming-- General.
Functional programming (Computer science)
Funktionale Programmierung
HASKELL
Haskell (Computer program language)
Programming languages (Electronic computers)-- Semantics.
Semantik
(SUBJECT CATEGORY (Provisional
COM-- 051000
DEWEY DECIMAL CLASSIFICATION
Number
005
.
131
Edition
22
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
7
Book number
.
E43
2010eb
PERSONAL NAME - PRIMARY RESPONSIBILITY
Eijck, J. van, (Jan)
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Unger, Christina.
ORIGINATING SOURCE
Date of Transaction
20201203213030.0
Cataloguing Rules (Descriptive Conventions))
pn
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
