Finitely Supported Mathematics: An Introduction, Alexandru Andrei, Ciobanu Gabriel
Автор: Alexandru Название: Finitely Supported Mathematics ISBN: 3319422812 ISBN-13(EAN): 9783319422817 Издательство: Springer Рейтинг: Цена: 10760.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In this book the authors present an alternative set theory dealing with a more relaxed notion of infiniteness, called finitely supported mathematics (FSM). It has strong connections to the Fraenkel-Mostowski (FM) permutative model of Zermelo-Fraenkel (ZF) set theory with atoms and to the theory of (generalized) nominal sets. More exactly, FSM is ZF mathematics rephrased in terms of finitely supported structures, where the set of atoms is infinite (not necessarily countable as for nominal sets). In FSM, 'sets' are replaced either by `invariant sets' (sets endowed with some group actions satisfying a finite support requirement) or by `finitely supported sets' (finitely supported elements in the powerset of an invariant set). It is a theory of `invariant algebraic structures' in which infinite algebraic structures are characterized by using their finite supports. After explaining the motivation for using invariant sets in the experimental sciences as well as the connections with the nominal approach, admissible sets and Gandy machines (Chapter 1), the authors present in Chapter 2 the basics of invariant sets and show that the principles of constructing FSM have historical roots both in the definition of Tarski `logical notions' and in the Erlangen Program of Klein for the classification of various geometries according to invariants under suitable groups of transformations. Furthermore, the consistency of various choice principles is analyzed in FSM. Chapter 3 examines whether it is possible to obtain valid results by replacing the notion of infinite sets with the notion of invariant sets in the classical ZF results. The authors present techniques for reformulating ZF properties of algebraic structures in FSM. In Chapter 4 they generalize FM set theory by providing a new set of axioms inspired by the theory of amorphous sets, and so defining the extended Fraenkel-Mostowski (EFM) set theory. In Chapter 5 they define FSM semantics for certain process calculi (e.g., fusion calculus), and emphasize the links to the nominal techniques used in computer science. They demonstrate a complete equivalence between the new FSM semantics (defined by using binding operators instead of side conditions for presenting the transition rules) and the known semantics of these process calculi.The book is useful for researchers and graduate students in computer science and mathematics, particularly those engaged with logic and set theory.
Автор: Li, Haitao (shandong Normal University) Zhao, Guod Название: Analysis and control of finite-valued systems ISBN: 1138556505 ISBN-13(EAN): 9781138556508 Издательство: Taylor&Francis Рейтинг: Цена: 27562.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A comprehensive work in finite-value systems that covers the latest achievements using the semi-tensor product method, on various kinds of finite-value systems. The book contains examples to provide a better understanding of the practical applications of finite-value systems.
Автор: Joseph Kirtland Название: Complementation of Normal Subgroups: In Finite Groups ISBN: 311047879X ISBN-13(EAN): 9783110478792 Издательство: Walter de Gruyter Цена: 16169.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Starting with the Schur-Zassenhaus theorem, this monograph documents a wide variety of results concerning complementation of normal subgroups in finite groups. The contents cover a wide range of material from reduction theorems and subgroups in the derived and lower nilpotent series to abelian normal subgroups and formations.
Contents Prerequisites The Schur-Zassenhaus theorem: A bit of history and motivation Abelian and minimal normal subgroups Reduction theorems Subgroups in the chief series, derived series, and lower nilpotent series Normal subgroups with abelian sylow subgroups The formation generation Groups with specific classes of subgroups complemented
Автор: Ball Название: Finite Geometry and Combinatorial Applications ISBN: 1107107997 ISBN-13(EAN): 9781107107991 Издательство: Cambridge Academ Рейтинг: Цена: 23285.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: For students and researchers interested in algebraic combinatorics, this book not only provides an introduction to the geometries arising from vector spaces over finite fields but also shows how these geometries can be applied to various combinatorial objects. More than 100 exercises and solutions are provided.
Описание: The series is devoted to the publication of high-level monographs, surveys and proceedings which cover the whole spectrum of computational and applied mathematics. The books of this series are addressed to both specialists and advanced students. Interested authors may submit book proposals to the Managing Editor or to any member of the Editorial Board. Managing Editor Ulrich Langer , Johannes Kepler University Linz, Austria Editorial Board Hansjorg Albrecher , University of Lausanne, Switzerland Ronald H. W. Hoppe , University of Houston, USA Karl Kunisch , RICAM, Linz, Austria; University of Graz, Austria Harald Niederreiter , RICAM, Linz, Austria Christian Schmeiser , University of Vienna, Austria
Автор: Deza Michel Marie Et Al Название: Generalizations Of Finite Metrics And Cuts ISBN: 981474039X ISBN-13(EAN): 9789814740395 Издательство: World Scientific Publishing Рейтинг: Цена: 16790.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book introduces oriented version of metrics and cuts and their multidimensional analogues, as well as partial metrics and weighted metrics.
Автор: Martin R. Weber Название: Finite Elements in Vector Lattices ISBN: 3110350777 ISBN-13(EAN): 9783110350777 Издательство: Walter de Gruyter Цена: 26024.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The book is the first systematical treatment of the theory of finite elements in Archimedean vector lattices and contains the results known on this topic up to the year 2013. It joins all important contributions achieved by a series of mathematicians that can only be found in scattered in literature.
Автор: Adalbert Kerber Название: Applied Finite Group Actions ISBN: 3642085229 ISBN-13(EAN): 9783642085222 Издательство: Springer Рейтинг: Цена: 23058.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Written by one of the top experts in the fields of combinatorics and representation theory, this book distinguishes itself from the existing literature by its applications-oriented point of view. Recent progress in this field, in particular in design and coding theory, is described.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
