Pattern Calculus, Barry Jay

Автор: J. Roger Hindley
Название: Lambda-Calculus and Combinators
ISBN: 0521898854 ISBN-13(EAN): 9780521898850
Издательство: Cambridge Academ
Рейтинг:
Цена: 10771.00 р.
Наличие на складе: Есть (1 шт.)
Описание: This book gives an account of combinatory logic and lambda-calculus. The grammar and basic properties of both systems are discussed, followed by explanations of type-theory and lambda-calculus models. The treatment is as non-technical as possible with many examples and exercises.

Автор: Chris George; Zhiming Liu; Jim Woodcock
Название: Domain Modeling and the Duration Calculus
ISBN: 3540749632 ISBN-13(EAN): 9783540749639
Издательство: Springer
Рейтинг:
Цена: 8384.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Covers software security, domain modeling of software engineering, and duration calculus for real time systems. This book addresses development of real-time systems, domain engineering using abstract modeling, the area of duration calculus, and formal methods like language description using the operational semantics approach.

Автор: Manuel Duarte Ortigueira
Название: Fractional Calculus for Scientists and Engineers
ISBN: 9400736371 ISBN-13(EAN): 9789400736375
Издательство: Springer
Рейтинг:
Цена: 15672.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: In recent years fractional calculus has been rediscovered by scientists and engineers and applied in an increasing number of fields. This book gives a practical and multidisciplinary overview of Fractional Calculus as it relates to Signal Processing.

Автор: Draheim, Dirk
Название: Semantics of the probabilistic typed lambda calculus
ISBN: 3642551971 ISBN-13(EAN): 9783642551970
Издательство: Springer
Рейтинг:
Цена: 16769.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Part I: The Probabilistic Lambda-Calculus and its Semantics.- Introduction.- Syntax and Operational Semantics.- The Working Probabilistic Lambda Calculus.- Properties of the Markov Chain Semantics.- Denotational Semantics.- Semantical Correspondences.- Categorical Treatment.- Probabilism and Non-Determinism.- Part II: Natural Probabilistic Reasoning.- On Natural Two-Tier Semantics for Propositional Logics.- Natural Semantics of Propositions.- Finite Discrete Stochastics Reconsidered.- Lambda-Calculus Definitions.- Markov Chains.- Basic Logic Language and Semantics Definitions.- References.- Index.

Автор: James K. Peterson
Название: Calculus for Cognitive Scientists
ISBN: 9812878726 ISBN-13(EAN): 9789812878724
Издательство: Springer
Рейтинг:
Цена: 23508.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book provides a self-study program on how mathematics, computer science and science can be usefully and seamlessly intertwined. Learning to use ideas from mathematics and computation is essential for understanding approaches to cognitive and biological science.

Автор: James K. Peterson
Название: Calculus for Cognitive Scientists
ISBN: 9812878750 ISBN-13(EAN): 9789812878755
Издательство: Springer
Рейтинг:
Цена: 23508.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book offers a self-study program on how mathematics, computer science and science can be profitably and seamlessly intertwined. This book focuses on two variable ODE models, both linear and nonlinear, and highlights theoretical and computational tools using MATLAB to explain their solutions.

Автор: James Peterson
Название: Calculus for Cognitive Scientists
ISBN: 9812878785 ISBN-13(EAN): 9789812878786
Издательство: Springer
Рейтинг:
Цена: 23508.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: It is a follow-up to the first two volumes on mathematics for cognitive scientists, and includes the mathematics and computational tools needed to understand how to compute the terms in the Fourier series expansions that solve the cable equation.

Автор: Cesar Lopez
Название: MATLAB Differential and Integral Calculus
ISBN: 1484203054 ISBN-13(EAN): 9781484203057
Издательство: Springer
Рейтинг:
Цена: 5304.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: In addition to giving a short introduction to the MATLAB environment and MATLAB programming, this book provides all the material needed to work with ease in differential and integral calculus in one and several variables.

Автор: Michel Schellekens
Название: A Modular Calculus for the Average Cost of Data Structuring
ISBN: 148999906X ISBN-13(EAN): 9781489999061
Издательство: Springer
Рейтинг:
Цена: 19564.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book introduces the first programming language for which average-case time analysis of its programs is guaranteed to be modular. The main time measure currently used for real-time languages (worst-case time) is well-known not to be modular in general, which makes average-case analysis notoriously difficult.

Автор: Carroll Morgan; Trevor Vickers
Название: On the Refinement Calculus
ISBN: 3540199314 ISBN-13(EAN): 9783540199311
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: On the Refinement Calculus gives one view of the development of the refinement calculus and its attempt to bring together - among other things - Z specifications and Dijkstra`s programming language. It is an excellent source of reference material for all those seeking the background and mathematical underpinnings of the refinement calculus.

Автор: Michael Zaus
Название: Crisp and Soft Computing with Hypercubical Calculus
ISBN: 3790811726 ISBN-13(EAN): 9783790811728
Издательство: Springer
Рейтинг:
Цена: 23058.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: In Part I, the impact of an integro-differential operator on parity logic engines (PLEs) as a tool for scientific modeling from scratch is presented. Part II outlines the fuzzy structural modeling approach for building new linear and nonlinear dynamical causal forecasting systems in terms of fuzzy cognitive maps (FCMs).

Автор: Aaron R. Bradley; Zohar Manna
Название: The Calculus of Computation
ISBN: 3642093477 ISBN-13(EAN): 9783642093470
Издательство: Springer
Рейтинг:
Цена: 7685.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Foundations.- Propositional Logic.- First-Order Logic.- First-Order Theories.- Induction.- Program Correctness: Mechanics.- Program Correctness: Strategies.- Algorithmic Reasoning.- Quantified Linear Arithmetic.- Quantifier-Free Linear Arithmetic.- Quantifier-Free Equality and Data Structures.- Combining Decision Procedures.- Arrays.- Invariant Generation.- Further Reading.