Foundations of Algebraic Specification and Formal Software Development
ISBN: 9783642440656 / Angielski / Miękka / 584 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating on developing basic concepts and studying their fundamental properties. These foundations are built on a solid mathematical basis, using elements of universal algebra, category theory and logic, and this mathematical toolbox provides a convenient language for precisely formulating the concepts involved in software specification and development. Once formally defined, these notions become subject to mathematical investigation, and this...
This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, con...
|
|
cena:
306,98 zł |
Elective Mathematics
ISBN: 9781493139187 / Angielski / Miękka / 820 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
123,43 zł |
College Algebra
ISBN: 9781305115545 / Angielski / Twarda / 832 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Learn to think mathematically and develop genuine problem-solving skills with COLLEGE ALGEBRA, Seventh Edition. This straightforward and easy-to-use book will help you learn the fundamentals of algebra in a variety of practical ways. The book features new tools to help you succeed, such as learning objectives before each section to prepare you for what you're about to learn, and a list of formulas and key concepts after each section that help reinforce what you've learned. In addition, the book includes many real-world examples that show you how mathematics is used to model in fields like...
Learn to think mathematically and develop genuine problem-solving skills with COLLEGE ALGEBRA, Seventh Edition. This straightforward and easy-to-use b...
|
|
cena:
448,88 zł |
Symmetry Analysis of Differential Equations with Mathematica(r)
ISBN: 9781461274186 / Angielski / Miękka / 521 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The first book to explicitly use Mathematica so as to allow researchers and students to more easily compute and solve almost any kind of differential equation using Lie's theory. Previously time-consuming and cumbersome calculations are now much more easily and quickly performed using the Mathematica computer algebra software. The material in this book, and on the accompanying CD-ROM, will be of interest to a broad group of scientists, mathematicians and engineers involved in dealing with symmetry analysis of differential equations. Each section of the book starts with a theoretical...
The first book to explicitly use Mathematica so as to allow researchers and students to more easily compute and solve almost any kind of differential ...
|
|
cena:
191,85 zł |
Fundamentals of Algebraic Topology
ISBN: 9781493918430 / Angielski / Twarda / 163 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This rapid and concise presentation of the essential ideas and results of algebraic topology follows the axiomatic foundations pioneered by Eilenberg and Steenrod. The approach of the book is pragmatic: while most proofs are given, those that are particularly long or technical are omitted, and results are stated in a form that emphasizes practical use over maximal generality. Moreover, to better reveal the logical structure of the subject, the separate roles of algebra and topology are illuminated. Assuming a background in point-set topology, Fundamentals of Algebraic Topology covers the...
This rapid and concise presentation of the essential ideas and results of algebraic topology follows the axiomatic foundations pioneered by Eilenberg ...
|
|
cena:
191,85 zł |
Mathematische Werke: Zweiter Band Zahlentheorie Algebra Und Geometrie
ISBN: 9783034840859 / Niemiecki / Miękka / 755 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
268,95 zł |
Mathematische Werke: Erster Band Funktionentheorie
ISBN: 9783034840866 / Niemiecki / Miękka / 734 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfangen des Verlags von 1842 erschienen sind. Der Verlag stellt mit diesem Archiv Quellen fur die historische wie auch die disziplingeschichtliche Forschung zur Verfugung, die jeweils im historischen Kontext betrachtet werden mussen. Dieser Titel erschien in der Zeit vor 1945 und wird daher in seiner zeittypischen politisch-ideologischen Ausrichtung vom Verlag nicht beworben.
Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfangen des Verlags von 1842 erschienen...
|
|
cena:
268,95 zł |
Formal Algorithmic Elimination for Pdes
ISBN: 9783319114446 / Angielski / Miękka / 283 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Investigating the correspondence between systems of partial differential equations and their analytic solutions using a formal approach, this monograph presents algorithms to determine the set of analytic solutions of such a system and conversely to find differential equations whose set of solutions coincides with a given parametrized set of analytic functions. After giving a detailed introduction to Janet bases and Thomas decomposition, the problem of finding an implicit description of certain sets of analytic functions in terms of differential equations is addressed. Effective methods of...
Investigating the correspondence between systems of partial differential equations and their analytic solutions using a formal approach, this monograp...
|
|
cena:
191,85 zł |
Partial Differential Control Theory: Volume I: Mathematical Tools, Volume II: Control System
ISBN: 9789401038454 / Angielski / Miękka / 957 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The mathematical theory of "open" dynamical systems is a creation of the twentieth century. Its humble beginnings focused on ideas of Laplace transforms applied to linear problems of automatic control and to the analysis and synthesis of electrical circuits. However during the second half of the century, it flowered into a field based on an array of sophisticated mathematical concepts and techniques from algebra, nonlinear analysis and differential geometry. The central notion is that of a dynamical system that exchanges matter, energy, or information with its surroundings, i.e. an "open"...
The mathematical theory of "open" dynamical systems is a creation of the twentieth century. Its humble beginnings focused on ideas of Laplace transfor...
|
|
cena:
767,51 zł |
Mathematical Lives: Protagonists of the Twentieth Century from Hilbert to Wiles
ISBN: 9783642447556 / Angielski / Miękka / 251 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Steps forward in mathematics often reverberate in other scientific disciplines, and give rise to innovative conceptual developments or find surprising technological applications. This volume brings to the forefront some of the proponents of the mathematics of the twentieth century, who have put at our disposal new and powerful instruments for investigating the reality around us. The portraits present people who have impressive charisma and wide-ranging cultural interests, who are passionate about defending the importance of their own research, are sensitive to beauty, and attentive to the...
Steps forward in mathematics often reverberate in other scientific disciplines, and give rise to innovative conceptual developments or find surprising...
|
|
cena:
191,85 zł |
The Local Structure of Algebraic K-Theory
ISBN: 9781447159049 / Angielski / Miękka / 436 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Algebraic K-theory encodes important invariants for several mathematical disciplines, spanning from geometric topology and functional analysis to number theory and algebraic geometry. As is commonly encountered, this powerful mathematical object is very hard to calculate. Apart from Quillen's calculations of finite fields and Suslin's calculation of algebraically closed fields, few complete calculations were available before the discovery of homological invariants offered by motivic cohomology and topological cyclic homology. This book covers the connection between algebraic K-theory and...
Algebraic K-theory encodes important invariants for several mathematical disciplines, spanning from geometric topology and functional analysis to numb...
|
|
cena:
460,49 zł |
Local Homotopy Theory
ISBN: 9781493922994 / Angielski / Twarda / 508 str. Termin realizacji zamówienia: 20 dni roboczych This monograph on the homotopy theory of topologized diagrams of spaces and spectra gives an expert account of a subject at the foundation of motivic homotopy theory and the theory of topological modular forms in stable homotopy theory. Beginning with an introduction to the homotopy theory of simplicial sets and topos theory, the book covers core topics such as the unstable homotopy theory of simplicial presheaves and sheaves, localized theories, cocycles, descent theory, non-abelian cohomology, stacks, and local stable homotopy theory. A detailed treatment of the formalism of the... This monograph on the homotopy theory of topologized diagrams of spaces and spectra gives an expert account of a subject at the foundation of motiv... |
|
274,03 zł |
Algebraic Operads
ISBN: 9783642448355 / Angielski / Miękka / 636 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In many areas of mathematics some "higher operations" are arising. These havebecome so important that several research projects refer to such expressions. Higher operationsform new types of algebras. The key to understanding and comparing them, to creating invariants of their action is operad theory. This is a point of view that is 40 years old in algebraic topology, but the new trend is its appearance in several other areas, such as algebraic geometry, mathematical physics, differential geometry, and combinatorics. The present volume is the first comprehensive and systematic approach to... In many areas of mathematics some "higher operations" are arising. These havebecome so important that several research projects refer to such expre... |
|
cena:
498,87 zł |
Advances in Combinatorial Mathematics: Proceedings of the Waterloo Workshop in Computer Algebra 2008
ISBN: 9783642425042 / Angielski / Miękka / 174 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. It is a pleasure for me to have the opportunity to write the foreword to this volume, which is dedicated to Professor Georgy Egorychev on the occasion of his seventieth birthday. I have learned a great deal from his creative and important work, as has the whole world of mathematics. From his life s work (so far) in having made d- tinguished contributions to ?elds as diverse as the theory of permanents, Lie groups, combinatorial identities, the Jacobian conjecture, etc., let me comment on just two of the most important of his research areas. The permanent of an nxn matrix A is Per(A)= a a...
It is a pleasure for me to have the opportunity to write the foreword to this volume, which is dedicated to Professor Georgy Egorychev on the occasion...
|
|
cena:
383,73 zł |
Mathematik À La Carte: Elementargeometrie an Quadratwurzeln Mit Einigen Geschichtlichen Bemerkungen
ISBN: 9783662452691 / Niemiecki / Miękka / 201 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Wenn heutzutage Mathematik auf dem Speiseplan steht, kommen bei Schulern eher selten Begeisterungssturme auf. Auch Lehrer, die noch wissen, was man vor 30 Jahren am Gymnasium unterrichtet hat, haben bisweilen das Gefuhl, dass das Fach Mathematik in der Kursstufe in manchen Bundeslandern nach den Reformen der letzten Jahre zur mathematikfreien Zone degeneriert ist. So wie die Werbung uns glauben macht, ein Produkt aus Gelatine und kunstlichen Aromen sei eine gesunde Zwischenmahlzeit, so wollen uns manche Didaktiker erklaren, im heutigen Unterricht wurden einfach nur andere Kompetenzen... Wenn heutzutage Mathematik auf dem Speiseplan steht, kommen bei Schulern eher selten Begeisterungssturme auf. Auch Lehrer, die noch wissen, was man... |
|
cena:
107,57 zł |
MATLAB Symbolic Algebra and Calculus Tools
ISBN: 9781484203446 / Angielski / Miękka / 260 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. MATLAB is a high-level language and environment for numerical computation, visualization, and programming. Using MATLAB, you can analyze data, develop algorithms, and create models and applications. The language, tools, and built-in math functions enable you to explore multiple approaches and reach a solution faster than with spreadsheets or traditional programming languages, such as C/C++ or Java. MATLAB Symbolic Algebra and Calculus Tools introduces you to the MATLAB language with practical hands-on instructions and results, allowing you to quickly achieve your... MATLAB is a high-level language and environment for numerical computation, visualization, and programming. Using MATLAB, you can analyze data, deve... |
|
cena:
230,22 zł |
Algorithmic Algebraic Combinatorics and Gröbner Bases
ISBN: 9783642424380 / Angielski / Miękka / 311 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In 2006 a special semester on Gr] obner bases and related methods was or- nized by RICAM and RISC, directed by Bruno Buchberger and Heinz Engl. The main focus of the semester were the development of the formal theory of Gr] obner bases (brie?y GB), the e?cient implementation of all algorithms related to this theory, and the promotion of recent and new applications of GB. The workshop D1 Gr] obner bases in cryptography, coding theory and - gebraic combinatorics, Linz, May 1 6, 2006 (chairmen M. Klin, L. Perret, M. Sala) was one of the main ingredients of the semester. The last two days of this...
In 2006 a special semester on Gr] obner bases and related methods was or- nized by RICAM and RISC, directed by Bruno Buchberger and Heinz Engl. The ma...
|
|
cena:
690,75 zł |
Thomas Harriot's Artis Analyticae Praxis: An English Translation with Commentary
ISBN: 9781493902019 / Angielski / Miękka / 299 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Artis analyticae praxis was published in 1631 in Latin. Until relatively - cently, an English edition would not have been considered necessary since most of the people who might have been expected to be interested in the text would have been able to read it in Latin. That is no longer the case and it is ?tting that an English edition should be published. It is also the case that a considerable proportion of the readership of the present volume will not be professional mathematicians, so we have tried to produce a translation that makes the mathematical content accessible to the modern...
The Artis analyticae praxis was published in 1631 in Latin. Until relatively - cently, an English edition would not have been considered necessary sin...
|
|
cena:
383,73 zł |
Basic Notions of Algebra
ISBN: 9783642425165 / Angielski / Miękka / 260 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 22. K-theory 230 A. Topological X-theory 230 Vector bundles and the functor Vec(X). Periodicity and the functors KJX). K(X) and t the infinite-dimensional linear group. The symbol of an elliptic differential operator. The index theorem. B. Algebraic K-theory 234 The group of classes of projective modules. K, K and K of a ring. K of a field and o l n 2 its relations with the Brauer group. K-theory and arithmetic. Comments on the Literature 239 References 244 Index of Names 249 Subject Index 251 Preface This book aims to present a general survey of algebra, of its basic notions and main...
22. K-theory 230 A. Topological X-theory 230 Vector bundles and the functor Vec(X). Periodicity and the functors KJX). K(X) and t the infinite-dimensi...
|
|
cena:
652,38 zł |
Proceedings of the Conference on Applied Mathematics and Scientific Computing
ISBN: 9789400789302 / Angielski / Miękka / 345 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Third Conference on Applied Mathematics and Scienti?c Computing took place June 23-27, 2003 on island of Brijuni, Croatia. The main goal of the conference was to interchange ideas among applied mathematicians in the broadest sense both from and outside academia, as well as experts from other areas who apply different mathematical techniques. During the meeting there were invited and contributed talksand software presentations. Invited presentations were given by active researchers from the ?eldsof approximation theory, numerical methods for differential equations and numericallinear...
The Third Conference on Applied Mathematics and Scienti?c Computing took place June 23-27, 2003 on island of Brijuni, Croatia. The main goal of the co...
|
|
cena:
383,73 zł |