A Guide to Classical and Modern Model Theory, Marcja Annalisa, Toffalori Carlo
Автор: P. Odifreddi Название: Classical Recursion Theory, Volume II, ISBN: 044450205X ISBN-13(EAN): 9780444502056 Издательство: Elsevier Science Рейтинг: Цена: 16517 р. Наличие на складе: Поставка под заказ.
Описание: Describes the universe from a local (bottom-up or synthetical) point of view, and covers the whole spectrum, from the recursive to the arithmetical sets. This book presents a detailed picture of the computable sets from the perspective of theoretical computer science. It is suitable for those interested in complexity and computability theory.
Описание: This book provides an overview of type theory. The first part of the book is historical, yet at the same time, places historical systems in the modern setting. The second part deals with modern type theory as it developed since the 1940s, and with the role of propositions as types (or proofs as terms. The third part proposes new systems that bring more advantages together.
Автор: Esparza Название: Finite and Algorithmic Model Theory ISBN: 0521718201 ISBN-13(EAN): 9780521718202 Издательство: Cambridge Academ Рейтинг: Цена: 8216 р. Наличие на складе: Поставка под заказ.
Описание: Intended for researchers and graduate students in theoretical computer science and mathematical logic, this volume contains accessible surveys by leading researchers from areas of current work in logical aspects of computer science, where both finite and infinite model-theoretic methods play an important role. Notably, the articles in this collection emphasize points of contact and connections between finite and infinite model theory in computer science that may suggest new directions for interaction. Among the topics discussed are: algorithmic model theory, descriptive complexity theory, finite model theory, finite variable logic, model checking, model theory for restricted classes of finite structures, and spatial databases. The chapters all include extensive bibliographies facilitating deeper exploration of the literature and further research.
Описание: Galois theory is one of the most beautiful subjects in mathematics, but it is heard to appreciate this fact fully without seeing specific examples. Numerous examples are therefore included throughout the text, in the hope that they will lead to a deeper understanding and genuine appreciation of the more abstract and advanced literature on Galois theory. This book is intended for beginning graduate students who already have some background in algebra, including some elementary theory of groups, rings and fields. The expositions and proofs are intended to present Galois theory in as simple a manner as possible, sometimes at the expense of brevity. The book is for students and intends to make them take an active part in mathematics rather than merely read, nod their heads at appropriate places, skip the exercises, and continue on to the next section.
Автор: P. Odifreddi Название: Classical Recursion Theory, ISBN: 0444894837 ISBN-13(EAN): 9780444894830 Издательство: Elsevier Science Рейтинг: Цена: 8657 р. Наличие на складе: Поставка под заказ.
Описание: Includes a number of applications to logic (in particular Godel`s theorems) and to computer science, for which Recursion Theory provides the theoretical foundation. This book presents a comprehensive reference for the subject starting from first principles.
Автор: Kechris Название: Classical Descriptive Set Theory ISBN: 0387943749 ISBN-13(EAN): 9780387943749 Издательство: Springer Рейтинг: Цена: 6924 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Descriptive set theory has been one of the main areas of research in set theory for almost a century. This text attempts to present a largely balanced approach, which combines many elements of the different traditions of the subject. It includes a wide variety of examples, exercises (over 400), and applications, in order to illustrate the general concepts and results of the theory. This text provides a first basic course in classical descriptive set theory and covers material with which mathematicians interested in the subject for its own sake or those that wish to use it in their field should be familiar. Over the years, researchers in diverse areas of mathematics, such as logic and set theory, analysis, topology, probability theory, etc., have brought to the subject of descriptive set theory their own intuitions, concepts, terminology and notation.
Описание: This volume contains a variety of problems from classical set theory. Many of these problems are also related to other fields of mathematics, including algebra, combinatorics, topology and real analysis. The problems vary in difficulty, and are organized in such a way that earlier problems help in the solution of later ones. For many of the problems, the authors also trace the history of the problems and then provide proper reference at the end of the solution.
Автор: Ribenboim Название: The Theory of Classical Valuations ISBN: 0387985255 ISBN-13(EAN): 9780387985251 Издательство: Springer Рейтинг: Цена: 19056 р. Наличие на складе: Поставка под заказ.
Описание: Kurschak formally introduced the concept of a valuation of a field, as being real valued functions on the set of non-zero elements of the field satisfying certain properties, like the p-adic valuations. Ostrowski, Hasse, Schmidt and others developed this theory. These are the topics which are the object of this book.
Автор: Lam T.Y. Название: Exercises in Classical Ring Theory ISBN: 0387005005 ISBN-13(EAN): 9780387005003 Издательство: Springer Рейтинг: Цена: 15014 р. Наличие на складе: Поставка под заказ.
Описание: This useful book, which grew out of the author's lectures at Berkeley, presents some 400 exercises of varying degrees of difficulty in classical ring theory, together with complete solutions, background information, historical commentary, bibliographic details, and indications of possible improvements or generalizations. The book should be especially helpful to graduate students as a model of the problem-solving process and an illustration of the applications of different theorems in ring theory. The author also discusses "the folklore of the subject: the `tricks of the trade' in ring theory, which are well known to the experts in the field but may not be familiar to others, and for which there is usually no good reference". The problems are from the following areas: the Wedderburn-Artin theory of semisimple rings, the Jacobson radical, representation theory of groups and algebras, (semi)prime rings, (semi)primitive rings, division rings, ordered rings, (semi)local rings, the theory of idempotents, and (semi)perfect rings. Problems in the areas of module theory, category theory, and rings of quotients are not included, since they will appear in a later book. T. W. Hungerford, Mathematical Reviews
Описание: Introduction to Modern Number Theory surveys from a unified point of view both the modern state and the trends of continuing development of various branches of number theory. Motivated by elementary problems, the central ideas of modern theories are exposed. Some topics covered include non-Abelian generalizations of class field theory, recursive computability and Diophantine equations, zeta- and L-functions. This substantially revised and expanded new edition contains several new sections, such as Wiles' proof of Fermat's Last Theorem, and relevant techniques coming from a synthesis of various theories. Moreover, the authors have added a part dedicated to arithmetical cohomology and noncommutative geometry, a report on point counts on varieties with many rational points, the recent polynomial time algorithm for primality testing, and some others subjects.
Автор: James A. Anderson Название: Automata Theory with Modern Applications ISBN: 0521848873 ISBN-13(EAN): 9780521848879 Издательство: Cambridge Academ Рейтинг: Цена: 13694 р. Наличие на складе: Поставка под заказ.
Описание: Recent applications to biomolecular science and DNA computing have created a new audience for automata theory and formal languages. This is the only introductory book to cover such applications. It begins with a clear and readily understood exposition of the fundamentals that assumes only a background in discrete mathematics. The first five chapters give a gentle but rigorous coverage of basic ideas as well as topics not found in other texts at this level, including codes, retracts and semiretracts. Chapter 6 introduces combinatorics on words and uses it to describe a visually inspired approach to languages. The final chapter explains recently-developed language theory coming from developments in bioscience and DNA computing. With over 350 exercises (for which solutions are available), many examples and illustrations, this text will make an ideal contemporary introduction for students; others, new to the field, will welcome it for self-learning.
Описание: The thirteen articles brought together in this volume explore key aspects of the transmission of learning and the transformation of thought from the late Middle Ages to the early modern period. Focusing on important topics in early modern metaphysics, philosophical theology, and modal theory, the contributions gathered here view developments in the early modern period against the backdrop of late-medieval scholasticism. This approach not only reveals the continuity of Western intellectual life in a period of profound change, but also makes it possible to identify with precision what is original in early modern thought. The topics dealt with include metaphysics as a science, the rise of probabilistic modality, freedom of the human will, as well as the role and validity of logical reasoning in speculative theology. The volume will be of interest to scholars who work on medieval and early modern philosophy, theology, and intellectual history.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru