Автор: Daniel J. Velleman Название: How to Prove It : A Structured Approach ISBN: 1108439535 ISBN-13(EAN): 9781108439534 Издательство: Cambridge Academ Рейтинг: Цена: 5861.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Proofs play a central role in advanced mathematics and theoretical computer science, and this bestselling text`s third edition will help students transition from solving problems to proving theorems by teaching them the techniques needed to read and write proofs, with a new chapter on number theory and over 150 new exercises.
Автор: Paolo Aluffi Название: Algebra ISBN: 1108958230 ISBN-13(EAN): 9781108958233 Издательство: Cambridge Academ Рейтинг: Цена: 5069.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This conversational introduction to abstract algebra takes a modern, rings-first approach. In addition to its unconventional order of classical material, another key feature is the treatment of topics often neglected in undergraduate textbooks, such as modules. More than 400 exercises are included, 150 of which are carefully worked out.
Автор: Lang Название: Algebra ISBN: 038795385X ISBN-13(EAN): 9780387953854 Издательство: Springer Рейтинг: Цена: 8378.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: "Lang's Algebra changed the way graduate algebra is taught, retaining classical topics but introducing language and ways of thinking from category theory and homological algebra. It has affected all subsequent graduate-level algebra books." NOTICES OF THE AMS"The author has an impressive knack for presenting the important and interesting ideas of algebra in just the right way, and he never gets bogged down in the dry formalism which pervades some parts of algebra." MATHEMATICAL REVIEWSThis book is intended as a basic text for a one-year course in algebra at the graduate level, or as a useful reference for mathematicians and professionals who use higher-level algebra. It successfully addresses the basic concepts of algebra. For the revised third edition, the author has added exercises and made numerous corrections to the text.
Автор: Mac Lane Название: Categories for the Working Mathematician ISBN: 0387984038 ISBN-13(EAN): 9780387984032 Издательство: Springer Рейтинг: Цена: 7819.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This second edition includes a number of revisions and additions, including new chapters on topics of active interest: symmetric monoidal categories and braided monoidal categories, and the coherence theorems for them, as well as 2-categories and the higher dimensional categories which have recently come into prominence.
Автор: Harold M. Edwards Название: Essays in Constructive Mathematics ISBN: 1489990186 ISBN-13(EAN): 9781489990181 Издательство: Springer Рейтинг: Цена: 15372.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Contents and treatment are fresh and very different from the standard treatmentsPresents a fully constructive version of what it means to do algebraThe exposition is not only clear, it is friendly, philosophical, and considerate even to the most naive or inexperienced reader
Описание: Symposion Proceedings, San Servolo, Venice, Italy, May 16-22, 1999
Автор: E. Bishop; Douglas Bridges Название: Constructive Analysis ISBN: 364264905X ISBN-13(EAN): 9783642649059 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This work grew out of Errett Bishop`s fundamental treatise `Founda- tions of Constructive Analysis` (FCA), which appeared in 1967 and which contained the bountiful harvest of a remarkably short period of research by its author.
Описание: This book gives a detailed treatment of functional interpretations of arithmetic, analysis, and set theory. The subject goes back to G del's Dialectica interpretation of Heyting arithmetic which replaces nested quantification by higher type operations and thus reduces the consistency problem for arithmetic to the problem of computability of primitive recursive functionals of finite types. Regular functional interpretations, in particular the Dialectica interpretation and its generalization to finite types, the Diller-Nahm interpretation, are studied on Heyting as well as Peano arithmetic in finite types and extended to functional interpretations of constructive as well as classical systems of analysis and set theory. Kreisel's modified realization and Troelstra's hybrids of it are presented as interpretations of Heyting arithmetic and extended to constructive set theory, both in finite types. They serve as background for the construction of hybrids of the Diller-Nahm interpretation of Heyting arithmetic and constructive set theory, again in finite types. All these functional interpretations yield relative consistency results and closure under relevant rules of the theories in question as well as axiomatic characterizations of the functional translations.
Автор: Li, Huishi , Van Oystaeyen, Freddy Название: A Primer of Algebraic Geometry ISBN: 0367398966 ISBN-13(EAN): 9780367398965 Издательство: Taylor&Francis Рейтинг: Цена: 10104.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: "Presents the structure of algebras appearing in representation theory of groups and algebras with general ring theoretic methods related to representation theory. Covers affine algebraic sets and the nullstellensatz, polynomial and rational functions, projective algebraic sets. Groebner basis, dimension of algebraic sets, local theory, curves and elliptic curves, and more."
Описание: This is the first book to systematically introduce the basic constructive-computational theory and methods developed for investigating solvable polynomial algebras and their modules. This book is perfectly suited to researchers and postgrads researching noncommutative computational algebra.
Автор: Edwards Название: Essays in Constructive Mathematics ISBN: 3030985571 ISBN-13(EAN): 9783030985578 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This collection of essays aims to promote constructive mathematics, not by defining it or formalizing it, but by practicing it. All definitions and proofs are based on finite algorithms, which pave illuminating paths to nontrivial results, primarily in algebra, number theory, and the theory of algebraic curves. The second edition adds a new set of essays that reflect and expand upon the first. The topics covered derive from classic works of nineteenth-century mathematics, among them Galois’s theory of algebraic equations, Gauss’s theory of binary quadratic forms, and Abel’s theorems about integrals of rational differentials on algebraic curves. Other topics include Newton's diagram, the fundamental theorem of algebra, factorization of polynomials over constructive fields, and the spectral theorem for symmetric matrices, all treated using constructive methods in the spirit of Kronecker. In this second edition, the essays of the first edition are augmented with new essays that give deeper and more complete accounts of Galois’s theory, points on an algebraic curve, and Abel’s theorem. Readers will experience the full power of Galois’s approach to solvability by radicals, learn how to construct points on an algebraic curve using Newton’s diagram, and appreciate the amazing ideas introduced by Abel in his 1826 Paris memoir on transcendental functions. Mathematical maturity is required of the reader, and some prior knowledge of Galois theory is helpful. But experience with constructive mathematics is not necessary; readers should simply be willing to set aside abstract notions of infinity and explore deep mathematics via explicit constructions.
Автор: Cho, Ilwoo Название: Constructive Analysis of Semicircular Elements ISBN: 1032448334 ISBN-13(EAN): 9781032448336 Издательство: Taylor&Francis Рейтинг: Цена: 23734.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
