Автор: Thomas Macaulay Ferguson Название: Meaning and Proscription in Formal Logic ISBN: 3319708201 ISBN-13(EAN): 9783319708201 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
This book aids in the rehabilitation of the wrongfully deprecated work of William Parry, and is the only full-length investigation into Parry-type propositional logics.
A central tenet of the monograph is that the sheer diversity of the contexts in which the mereological analogy emerges - its effervescence with respect to fields ranging from metaphysics to computer programming - provides compelling evidence that the study of logics of analytic implication can be instrumental in identifying connections between topics that would otherwise remain hidden. More concretely, the book identifies and discusses a host of cases in which analytic implication can play an important role in revealing distinct problems to be facets of a larger, cross-disciplinary problem.
It introduces an element of constancy and cohesion that has previously been absent in a regrettably fractured field, shoring up those who are sympathetic to the worth of mereological analogy. Moreover, it generates new interest in the field by illustrating a wide range of interesting features present in such logics - and highlighting these features to appeal to researchers in many fields.
Автор: J. Richard B?chi; Dirk Siefkes Название: Finite Automata, Their Algebras and Grammars ISBN: 1461388554 ISBN-13(EAN): 9781461388555 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In the second part of the book he extends the theory to general (non-unary, many-sorted) algebras, term rewriting systems, tree automata, and pushdown automata.
Автор: Jonathan S. Golan Название: Semirings and their Applications ISBN: 9048152526 ISBN-13(EAN): 9789048152520 Издательство: Springer Рейтинг: Цена: 14667.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: There is no branch of mathematics, however abstract, which may not some day be applied to phenomena of the real world. - Nikolai Ivanovich Lobatchevsky This book is an extensively-revised and expanded version of "The Theory of Semirings, with Applicationsin Mathematics and Theoretical Computer Science" Golan, 1992], first published by Longman. When that book went out of print, it became clear - in light of the significant advances in semiring theory over the past years and its new important applications in such areas as idempotent analysis and the theory of discrete-event dynamical systems - that a second edition incorporating minor changes would not be sufficient and that a major revision of the book was in order. Therefore, though the structure of the first dition was preserved, the text was extensively rewritten and substantially expanded. In particular, references to many interesting and applications of semiring theory, developed in the past few years, had to be added. Unfortunately, I find that it is best not to go into these applications in detail, for that would entail long digressions into various domains of pure and applied mathematics which would only detract from the unity of the volume and increase its length considerably. However, I have tried to provide an extensive collection of examples to arouse the reader's interest in applications, as well as sufficient citations to allow the interested reader to locate them. For the reader's convenience, an index to these citations is given at the end of the book .
Описание: Vertex algebra was introduced by Boreherds, and the slightly revised notion "vertex oper- ator algebra" was formulated by Frenkel, Lepowsky and Meurman, in order to solve the problem of the moonshine representation of the Monster group - the largest sporadie group. On the one hand, vertex operator algebras ean be viewed as extensions of eertain infinite-dimensional Lie algebras such as affine Lie algebras and the Virasoro algebra. On the other hand, they are natural one-variable generalizations of commutative associative algebras with an identity element. In a certain sense, Lie algebras and commutative asso- ciative algebras are reconciled in vertex operator algebras. Moreover, some other algebraie structures, such as integral linear lattiees, Jordan algebras and noncommutative associa- tive algebras, also appear as subalgebraic structures of vertex operator algebras. The axioms of vertex operator algebra have geometrie interpretations in terms of Riemman spheres with punctures. The trace functions of a certain component of vertex operators enjoy the modular invariant properties. Vertex operator algebras appeared in physies as the fundamental algebraic structures of eonformal field theory, whieh plays an important role in string theory and statistieal meehanies. Moreover, eonformalfieldtheoryreveals animportantmathematiealproperty, the so called "mirror symmetry" among Calabi-Yau manifolds. The general correspondence between vertex operator algebras and Calabi-Yau manifolds still remains mysterious. Ever since the first book on vertex operator algebras by Frenkel, Lepowsky and Meur- man was published in 1988, there has been a rapid development in vertex operator su- peralgebras, which are slight generalizations of vertex operator algebras.
Автор: Sre?ko Brlek; Francesco Dolce; Christophe Reutenau Название: Combinatorics on Words ISBN: 331966395X ISBN-13(EAN): 9783319663951 Издательство: Springer Рейтинг: Цена: 7685.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 11th International Conference on Combinatorics on Words, WORDS 2017, held in Montreal, QC, Canada, in September 2017. Discrete geometry plays an expanding role in the fields of shape modeling, image synthesis, and image analysis.
Автор: G.R. Liu; Y.T. Gu Название: An Introduction to Meshfree Methods and Their Programming ISBN: 9048168198 ISBN-13(EAN): 9789048168194 Издательство: Springer Рейтинг: Цена: 22201.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Mesh Free Methods, Moving Beyond the Finite Element Method d by GR Liu (2002) provides a systematic discussion on basic theories, fundamentals for MFree methods, especially on MFree weak-form methods.
Автор: C. Ding; T. Helleseth; H. Niederreiter Название: Sequences and their Applications ISBN: 1852331968 ISBN-13(EAN): 9781852331962 Издательство: Springer Рейтинг: Цена: 25853.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A collection of survey papers and research papers by experts on sequences and their applications. This text discusses both the theory of sequences and their applications in cryptography, coding theory, communications systems, numerical computation and computer simulation.
Автор: Chuan-Kun Wu; Dengguo Feng Название: Boolean Functions and Their Applications in Cryptography ISBN: 3662488639 ISBN-13(EAN): 9783662488638 Издательство: Springer Рейтинг: Цена: 13275.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book focuses on the different representations and cryptographic properties of Booleans functions, presents constructions of Boolean functions with some good cryptographic properties.
Автор: Lotfi A. Zadeh Название: Computing with Words ISBN: 3642436498 ISBN-13(EAN): 9783642436499 Издательство: Springer Рейтинг: Цена: 15672.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Based on fuzzy logic, CWW challenges the numerical dominance of computing by ascribing computational meaning to elements of natural language. Written by a key figure in the field, it shows how the method can solve linguistically stated computational problems.
Описание: This book is intended to make recent results on the derivation of higher order numerical schemes for random ordinary differential equations (RODEs) available to a broader readership, and to familiarize readers with RODEs themselves as well as the closely associated theory of random dynamical systems.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
