عنوان

Computational semantics with functional programming /

شابک

0511778376

شابک

0511924976

شابک

0511927517

شابک

0511931360

شابک

0511932707

شابک

1107207797

شابک

1282930737

شابک

661293073X

شابک

9780511778377

شابک

9780511924972

شابک

9780511927515

شابک

9780511931369

شابک

9780511932700

شابک

9781107207790

شابک

9781282930735

شابک

9786612930737

شابک اشتباه

0521757606

شابک اشتباه

0521760305

شابک اشتباه

9780521757607

شابک اشتباه

9780521760300

شماره

b737084

عنوان اصلي

Computational semantics with functional programming /

نام عام مواد

[Book]

نام نخستين پديدآور

Jan van Eijck and Christina Unger.

محل نشرو پخش و غیره

Cambridge :

نام ناشر، پخش کننده و غيره

Cambridge University Press,

تاریخ نشرو بخش و غیره

2010.

نام خاص و کميت اثر

1 online resource (405 pages)

متن يادداشت

Includes bibliographical references (pages 389-395) and index.

متن يادداشت

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

متن يادداشت

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.

منبع سفارش / آدرس اشتراک

MIL

شماره انبار

293073

عنوان

Computational semantics with functional programming.

شماره استاندارد بين المللي کتاب و موسيقي

9780521760300

موضوع مستند نشده

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

موضوع مستند نشده

COM-- 051000

شماره

ويراست

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

Eijck, J. van, (Jan)

مستند نام اشخاص تاييد نشده

Unger, Christina.

تاريخ عمليات

20201203213030.0

قواعد فهرست نويسي ( بخش توصيفي )

pn

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y