Computational semantics with functional programming /

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, compu...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Eijck, J. van (Jan)
Otros Autores: Unger, Christina
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cambridge : Cambridge University Press, 2010.
Temas:
Programming languages (Electronic computers) > Semantics.
Functional programming (Computer science)
Haskell (Computer program language)
Langages de programmation > Sémantique.
Programmation fonctionnelle.
Haskell (Langage de programmation)
COMPUTERS > Programming > General.
Programming languages (Electronic computers) > Semantics
Computerlinguistik
Semantik
Funktionale Programmierung
HASKELL
Acceso en línea:Texto completo

MARC

LEADER 00000cam a2200000 a 4500
001 EBSCO_ocn702124794
003 OCoLC
005 20231017213018.0
006 m o d
007 cr cnu---unuuu
008 110216s2010 enka ob 001 0 eng d
040 |a N$T  |b eng  |e pn  |c N$T  |d CDX  |d E7B  |d UKMGB  |d OCLCQ  |d YDXCP  |d REDDC  |d OCLCQ  |d DEBSZ  |d OCLCQ  |d CAMBR  |d OCLCQ  |d OCLCF  |d OCLCQ  |d BUB  |d HEBIS  |d OCLCO  |d NJR  |d OCLCQ  |d OCLCA  |d OCLCQ  |d K6U  |d VLY  |d UKAHL  |d OCLCQ  |d OCLCO  |d OCLCQ  |d OCLCO 
016 7 |a 015566381  |2 Uk 
019 |a 697952991  |a 817913251  |a 961631371  |a 1162065287 
020 |a 9780511932700  |q (electronic bk.) 
020 |a 0511932707  |q (electronic bk.) 
020 |a 9780511778377  |q (electronic bk.) 
020 |a 0511778376  |q (electronic bk.) 
020 |a 9786612930737 
020 |a 661293073X 
020 |a 1107207797 
020 |a 9781107207790 
020 |a 1282930737 
020 |a 9781282930735 
020 |a 0511931360 
020 |a 9780511931369 
020 |a 0511927517 
020 |a 9780511927515 
020 |a 0511924976 
020 |a 9780511924972 
020 |z 9780521760300 
020 |z 0521760305 
020 |z 9780521757607 
020 |z 0521757606 
024 8 |a 9786612930737 
029 1 |a AU@  |b 000048044685 
029 1 |a AU@  |b 000062586341 
029 1 |a CHNEW  |b 000609563 
029 1 |a DEBSZ  |b 372798748 
029 1 |a NZ1  |b 14699502 
029 1 |a NZ1  |b 15735589 
035 |a (OCoLC)702124794  |z (OCoLC)697952991  |z (OCoLC)817913251  |z (OCoLC)961631371  |z (OCoLC)1162065287 
037 |a 293073  |b MIL 
050 4 |a QA76.7  |b .E43 2010eb 
072 7 |a COM  |x 051000  |2 bisacsh 
082 0 4 |a 005.131  |2 22 
049 |a UAMI 
100 1 |a Eijck, J. van  |q (Jan) 
245 1 0 |a Computational semantics with functional programming /  |c Jan van Eijck and Christina Unger. 
260 |a Cambridge :  |b Cambridge University Press,  |c 2010. 
300 |a 1 online resource (405 pages) 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
504 |a Includes bibliographical references (pages 389-395) and index. 
505 0 |a 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. 
588 0 |a Print version record. 
520 |a 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. 
546 |a English. 
590 |a eBooks on EBSCOhost  |b EBSCO eBook Subscription Academic Collection - Worldwide 
650 0 |a Programming languages (Electronic computers)  |x Semantics. 
650 0 |a Functional programming (Computer science) 
650 0 |a Haskell (Computer program language) 
650 6 |a Langages de programmation  |x Sémantique. 
650 6 |a Programmation fonctionnelle. 
650 6 |a Haskell (Langage de programmation) 
650 7 |a COMPUTERS  |x Programming  |x General.  |2 bisacsh 
650 7 |a Functional programming (Computer science)  |2 fast 
650 7 |a Haskell (Computer program language)  |2 fast 
650 7 |a Programming languages (Electronic computers)  |x Semantics  |2 fast 
650 7 |a Computerlinguistik  |2 gnd 
650 7 |a Semantik  |2 gnd 
650 7 |a Funktionale Programmierung  |2 gnd 
650 7 |a HASKELL  |2 gnd 
700 1 |a Unger, Christina. 
776 0 8 |i Print version:  |a Eijck, J. van (Jan).  |t Computational semantics with functional programming.  |d Cambridge : Cambridge University Press, 2010  |z 9780521760300  |w (OCoLC)636911230 
856 4 0 |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=344674  |z Texto completo 
938 |a Askews and Holts Library Services  |b ASKH  |n AH22947272 
938 |a Askews and Holts Library Services  |b ASKH  |n AH37545725 
938 |a Coutts Information Services  |b COUT  |n 16986050 
938 |a ebrary  |b EBRY  |n ebr10436316 
938 |a EBSCOhost  |b EBSC  |n 344674 
938 |a YBP Library Services  |b YANK  |n 9246464 
938 |a YBP Library Services  |b YANK  |n 3559316 
938 |a YBP Library Services  |b YANK  |n 3555497 
938 |a YBP Library Services  |b YANK  |n 3631624 
994 |a 92  |b IZTAP 

Ejemplares similares