Автор: Miller Название: Descriptive Set Theory and Forcing ISBN: 1107168066 ISBN-13(EAN): 9781107168060 Издательство: Cambridge Academ Рейтинг: Цена: 18076 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the fourth publication in the Lecture Notes in Logic series, Miller develops the necessary features of the theory of descriptive sets in order to present a new proof of Louveau's separation theorem for analytic sets. While some background in mathematical logic and set theory is assumed, the material is based on a graduate course given by the author at the University of Wisconsin, Madison, and is thus accessible to students and researchers alike in these areas, as well as in mathematical analysis.
Описание: 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.
Описание: Descriptive complexity theory establishes a connection between the computational complexity of algorithmic problems (the computational resources required to solve the problems) and their descriptive complexity (the language resources required to describe the problems). This groundbreaking book approaches descriptive complexity from the angle of modern structural graph theory, specifically graph minor theory. It develops a 'definable structure theory' concerned with the logical definability of graph theoretic concepts such as tree decompositions and embeddings. The first part starts with an introduction to the background, from logic, complexity, and graph theory, and develops the theory up to first applications in descriptive complexity theory and graph isomorphism testing. It may serve as the basis for a graduate-level course. The second part is more advanced and mainly devoted to the proof of a single, previously unpublished theorem: properties of graphs with excluded minors are decidable in polynomial time if, and only if, they are definable in fixed-point logic with counting.
Описание: Classical Relativistic Electrodynamics presents an advanced course of classical electrodynamics with application to the generation of high-power coherent radiation in the microwave to optical-wave regions. Specifically, it provides readers with the basics of advanced electromagnetic theory and relativistic electrodynamics, guiding them step by step through the theory of free-electron lasers. The theoretical treatment throughout this book is fully developed by means of the usual three-dimensional vector calculus. This book can be recommended as a graduate-level textbook or a reference book in the fields of advanced electromagnetic theory, relativistic electrodynamics, beam physics and plasma sciences.
Автор: Marcja Annalisa, Toffalori Carlo Название: A Guide to Classical and Modern Model Theory ISBN: 1402013310 ISBN-13(EAN): 9781402013317 Издательство: Springer Рейтинг: Цена: 15591 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Since its birth, Model Theory has been developing a number of methods and concepts that have their intrinsic relevance, but also provide fruitful and notable applications in various fields of Mathematics. It is a lively and fertile research area which deserves the attention of the mathematical world.This volume: -is easily accessible to young people and mathematicians unfamiliar with logic; -gives a terse historical picture of Model Theory; -introduces the latest developments in the area; -provides 'hands-on' proofs of elimination of quantifiers, elimination of imaginaries and other relevant matters.A Guide to Classical and Modern Model Theory is for trainees and professional model theorists, mathematicians working in Algebra and Geometry and young people with a basic knowledge of logic.
Автор: P. Odifreddi Название: Classical Recursion Theory, ISBN: 0444894837 ISBN-13(EAN): 9780444894830 Издательство: Elsevier Science Рейтинг: Цена: 11130 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Potter, Michael Название: Set Theory and its Philosophy ISBN: 0199270414 ISBN-13(EAN): 9780199270415 Издательство: Oxford Academ Рейтинг: Цена: 6325 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Michael Potter presents a comprehensive new philosophical introduction to set theory. Anyone wishing to work on the logical foundations of mathematics must understand set theory, which lies at its heart. What makes the book unique is that it interweaves a careful presentation of the technical material with a penetrating philosophical critique. Potter does not merely expound the theory dogmatically but at every stage discusses in detail the reasons that can be offered for believing it to be true. Set Theory and its Philosophy is a key text for philosophy, mathematical logic, and computer science.
Автор: Foreman Название: Descriptive Set Theory and Dynamical Systems ISBN: 0521786444 ISBN-13(EAN): 9780521786447 Издательство: Cambridge Academ Рейтинг: Цена: 11387 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Collection of survey papers providing an introduction for graduate students and researchers in these fields.
Автор: Ribenboim Название: The Theory of Classical Valuations ISBN: 0387985255 ISBN-13(EAN): 9780387985251 Издательство: Springer Рейтинг: Цена: 24501 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: P. Odifreddi Название: Classical Recursion Theory, Volume II, ISBN: 044450205X ISBN-13(EAN): 9780444502056 Издательство: Elsevier Science Рейтинг: Цена: 21236 р. Наличие на складе: Поставка под заказ.
Описание: 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.
Автор: Graham Priest Название: An Introduction to Non-Classical Logic ISBN: 0521854334 ISBN-13(EAN): 9780521854337 Издательство: Cambridge Academ Рейтинг: Цена: 14641 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This revised and considerably expanded 2nd edition brings together a wide range of topics, including modal, tense, conditional, intuitionist, many-valued, paraconsistent, relevant, and fuzzy logics. Part 1, on propositional logic, is the old Introduction, but contains much new material. Part 2 is entirely new, and covers quantification and identity for all the logics in Part 1. The material is unified by the underlying theme of world semantics. All of the topics are explained clearly using devices such as tableau proofs, and their relation to current philosophical issues and debates are discussed. Students with a basic understanding of classical logic will find this book an invaluable introduction to an area that has become of central importance in both logic and philosophy. It will also interest people working in mathematics and computer science who wish to know about the area.
Автор: Greiner, Walter Название: Classical mechanics ISBN: 3642034330 ISBN-13(EAN): 9783642034336 Издательство: Springer Рейтинг: Цена: 12621 р. Наличие на складе: Невозможна поставка.
Описание: The series of texts on Classical Theoretical Physics is based on the highly successful courses given by Walter Greiner. The volumes provide a complete survey of classical theoretical physics and an enormous number of worked out examples and problems.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru