Mass Terms and Model-Theoretic Semantics, Bunt

Автор: Hinman
Название: Recursion-Theoretic Hierarchies
ISBN: 1107168244 ISBN-13(EAN): 9781107168244
Издательство: Cambridge Academ
Рейтинг:
Цена: 159450.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The theory set out in this volume is the result of the meeting and common development of two currents of mathematical research: descriptive set theory and recursion theory. The author develops a general theory from which the results of both areas can be derived, making the common themes clear.

Автор: Lasersohn Peter
Название: Subjectivity and Perspective in Truth-Theoretic Semantics
ISBN: 0199573689 ISBN-13(EAN): 9780199573684
Издательство: Oxford Academ
Рейтинг:
Цена: 45400.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book explores linguistic and philosophical issues presented by sentences expressing personal taste, such as Roller coasters are fun, and examines how truth-theoretic semantics can account for expressions of this type. It provides a detailed and explicit formal grammar paired with semantic analysis and pragmatic theory.

Автор: Legendre Geraldine, Putnam Michael T., De Swart Henriette
Название: Optimality Theoretic Syntax, Semantics, and Pragmatics: From Uni- To Bidirectional Optimization
ISBN: 0198757115 ISBN-13(EAN): 9780198757115
Издательство: Oxford Academ
Рейтинг:
Цена: 88710.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume investigates the morphosyntactic, semantic, and pragmatic properties of language, and the interactions between them, from the perspective of Optimality Theory. It integrates optimization processes into the formal and functional study of grammar, interpreting optimization as the result of conflicting, violable ranked constraints.

Автор: S. Aguzzoli; A. Ciabattoni; B. Gerla; C. Manara; V
Название: Algebraic and Proof-theoretic Aspects of Non-classical Logics
ISBN: 3540759387 ISBN-13(EAN): 9783540759386
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Covers contributions to the International Conference on the Algebraic and Logical Foundations of Many-Valued Reasoning, held in Gargnano, Italy, in March 2006.

Автор: Barwise
Название: Model-Theoretic Logics
ISBN: 1107168252 ISBN-13(EAN): 9781107168251
Издательство: Cambridge Academ
Рейтинг:
Цена: 200640.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In this volume the authors bring together several directions of work in model theory between the late 1950s and early 1980s. It contains expository papers by pre-eminent researchers on advanced topics in model theory. Many chapters can be read independently.

Автор: Mayr
Название: Graph-Theoretic Concepts in Computer Science
ISBN: 3662531739 ISBN-13(EAN): 9783662531730
Издательство: Springer
Рейтинг:
Цена: 68950.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes revised selected papers from the 41st International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2015, held in Garching, Germany, in June 2015. The 32 papers presented in this volume were carefully reviewed and selected from 79 submissions. structural graph theory; graph drawing;

Автор: Gillman, Rick
Название: Game Theoretic Modeling
ISBN: 1482248093 ISBN-13(EAN): 9781482248098
Издательство: Taylor&Francis
Рейтинг:
Цена: 64300.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This is an introductory game theory book that quickly moves readers through the fundamental ideas of game theory to enable them to engage in creative modeling projects based on game theoretic concepts.