Автор: James Название: Recent Trends in Algebraic Development Techniques ISBN: 3319720430 ISBN-13(EAN): 9783319720432 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: La Mantia Название: Diagrams and Gestures ISBN: 3031291107 ISBN-13(EAN): 9783031291104 Издательство: Springer Рейтинг: Цена: 158380.00 T Наличие на складе: Поставка под заказ. Описание: Drawing a line, and then another, and another. Go back from the lines to the movements they capture and see gestures in them: not spatial displacements, but modes of knowledge that pass through the exercise of the body. Discovering something new in a gesture: the line that contracts into a point or the point that expands into a zone, perhaps sinking into a hole. Thus experiencing a diagram: a becoming other inscribed in the novelty of the gesture and in the changes of the forms it shapes. This and much more is discussed in the essays gathered in Diagrams and Gestures. Resulting from trans-disciplinary work between mathematicians, philosophers, linguists and semioticians, the volume delivers an up-to-date account of the most valuable research on the connections between gesture and diagram. As one of the most important themes in contemporary thought, the study of these connections poses a challenge for the future: to elaborate a theory that is equal to new and stimulating research methodologies. We call this theory a philosophy of diagrammatic gestures.
Автор: Schreiner Wolfgang Название: Thinking Programs: Logical Modeling and Reasoning about Languages, Data, Computations, and Executions ISBN: 3030805069 ISBN-13(EAN): 9783030805067 Издательство: Springer Цена: 65210.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Part I The Foundations.- Syntax and Semantics.- The Language of Logic.- The Art of Reasoning.- Building Models.- Recursion.- Part II The Higher Planes.- Abstract Data Types.- Programming Languages.- Computer Programs.- Concurrent Systems.- References.- Index.
Автор: Yau, Donald Название: Operads of wiring diagrams ISBN: 3319950002 ISBN-13(EAN): 9783319950006 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Wiring diagrams form a kind of graphical language that describes operations or processes with multiple inputs and outputs, and shows how such operations are wired together to form a larger and more complex operation. This monograph presents a comprehensive study of the combinatorial structure of the various operads of wiring diagrams, their algebras, and the relationships between these operads.The book proves finite presentation theorems for operads of wiring diagrams as well as their algebras. These theorems describe the operad in terms of just a few operadic generators and a small number of generating relations. The author further explores recent trends in the application of operad theory to wiring diagrams and related structures, including finite presentations for the propagator algebra, the algebra of discrete systems, the algebra of open dynamical systems, and the relational algebra. A partial verification of David Spivak’s conjecture regarding the quotient-freeness of the relational algebra is also provided. In the final part, the author constructs operad maps between the various operads of wiring diagrams and identifies their images. Assuming only basic knowledge of algebra, combinatorics, and set theory, this book is aimed at advanced undergraduate and graduate students as well as researchers working in operad theory and its applications. Numerous illustrations, examples, and practice exercises are included, making this a self-contained volume suitable for self-study.
Автор: Krzysztof R. Apt; Amir Pnueli; Frank S. de Boer; E Название: Verification of Sequential and Concurrent Programs ISBN: 1447125134 ISBN-13(EAN): 9781447125136 Издательство: Springer Рейтинг: Цена: 74530.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book explores one of the most common approaches to program verification, known as the assertional approach. Case studies supplied throughout the book demonstrate the use of the proof systems and formally verify solutions to classical problems.
Автор: Iman Poernomo; John N. Crossley; Martin Wirsing Название: Adapting Proofs-as-Programs ISBN: 1441920145 ISBN-13(EAN): 9781441920140 Издательство: Springer Рейтинг: Цена: 153720.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This monograph details several important advances in the direction of a practical proofs-as-programs paradigm, which constitutes a set of approaches to developing programs from proofs in constructive logic with applications to industrial-scale, complex software engineering problems.
Автор: Paul Callaghan; Zhaohui Luo; James McKinna; Robert Название: Types for Proofs and Programs ISBN: 3540432876 ISBN-13(EAN): 9783540432876 Издательство: Springer Рейтинг: Цена: 65210.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This text contains the post-proceedings of the International Workshop of the TYPES Working Group held in Durham in December 2000. The 15 revised full papers address significant issues on type theory and type systems and their applications to programming, systems design and proof theory.
In this book we develop powerful techniques based on formal methods for the verification of correctness, consistency and safety properties related to dynamic reconfiguration and communication in complex distributed systems. In particular, static analysis techniques based on types and type systems are an adequate methodology considering their success in guaranteeing not only basic safety properties, but also more sophisticated ones like deadlock or lock freedom in concurrent settings.
The main contributions of this book are twofold.
i) We design a type system for a concurrent object-oriented calculus to statically ensure consistency of dynamic reconfigurations.
ii) We define an encoding of the session pi-calculus, which models communication in distributed systems, into the standard typed pi-calculus. We use this encoding to derive properties like type safety and progress in the session pi-calculus by exploiting the corresponding properties in the standard typed pi-calculus.
Автор: Moktefi Amirouche Название: Visual Reasoning with Diagrams ISBN: 3034805993 ISBN-13(EAN): 9783034805995 Издательство: Springer Рейтинг: Цена: 69870.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book examines the logical status of diagrams-in order to advance the goal of universal logic by exploring common and/or unique features of visual reasoning.
Автор: Jean-Christophe Filliatre; Christine Paulin-Mohrin Название: Types for Proofs and Programs ISBN: 3540314288 ISBN-13(EAN): 9783540314288 Издательство: Springer Рейтинг: Цена: 65210.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on type theory are addressed; in particular languages and computerised tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalisation of mathematics and mathematics education.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
