Mathematical logic and formal languages print books and ebooks | Elsevier

Constraints, Language and Computation

1st Edition
June 28, 2014
M. A. Rosner + 2 more
English
Paperback
9 7 8 1 4 9 3 3 0 6 1 8 3
Hardback
9 7 8 0 1 2 5 9 7 9 3 0 6
eBook
9 7 8 0 0 8 0 5 0 2 9 6 0

Constraint-based linguistics is intersected by three fields: logic, linguistics, and computer sciences. The central theme that ties these different disciplines together is the notion of a linguistic formalism or metalanguage. This metalanguage has good mathematical properties, is designed to express descriptions of language, and has a semantics that can be implemented on a computer. Constraints, Language and Computation discusses the theory and practice of constraint-based computational linguistics. The book captures both the maturity of the field and some of its more interesting future prospects during a particulary important moment of development in this field.

Extrapolation Methods

1st Edition
Volume 2
October 24, 2013
C. Brezinski + 1 more
English
Paperback
9 7 8 1 4 9 3 3 0 6 0 5 3
eBook
9 7 8 0 0 8 0 5 0 6 2 2 7

This volume is a self-contained, exhaustive exposition of the extrapolation methods theory, and of the various algorithms and procedures for accelerating the convergence of scalar and vector sequences. Many subroutines (written in FORTRAN 77) with instructions for their use are provided on a floppy disk in order to demonstrate to those working with sequences the advantages of the use of extrapolation methods. Many numerical examples showing the effectiveness of the procedures and a consequent chapter on applications are also provided – including some never before published results and applications. Although intended for researchers in the field, and for those using extrapolation methods for solving particular problems, this volume also provides a valuable resource for graduate courses on the subject.

Handbook of Logic and Language

2nd Edition
December 17, 2010
Johan F.A.K. van Benthem + 1 more
English
Paperback
9 7 8 0 4 4 4 6 0 2 2 5 1
Hardback
9 7 8 0 4 4 4 5 3 7 2 6 3
eBook
9 7 8 0 4 4 4 5 3 7 2 7 0

The logical study of language is becoming more interdisciplinary, playing a role in fields such as computer science, artificial intelligence, cognitive science and game theory. This new edition, written by the leading experts in the field, presents an overview of the latest developments at the interface of logic and linguistics as well as a historical perspective. It is divided into three parts covering Frameworks, General Topics and Descriptive Themes.