Skip to main content

Books in Mathematics and applied mathematics

  • Logic Colloquium '80

    • 1st Edition
    • D. van Dalen + 2 more
    • English
    The papers appearing in this volume are part of those originally intended for presentation at the conference: Logic Colloquium '80 - European Summer Meeting of the Association for Symbolic Logic (A.S.L.) which was to takeplace in Prague, August 24·30, 1980, principally under the auspices of the Czech Academy of Sciences. There were 36 invited speakers from Western and Eastern Europe, Israel, the U.S., and the U.S.S.R. The local organizingcommittee cabled participants on July 15, 1980 to inform them that the meeting was cancelled for technical reasons; a subsequent communication stated that the cancellation was due to unforeseen circumstances lying beyond the controlof the organizing committee. The unexpected cancellation of the Prague meeting was greatly regretted, since so much care, time, and energy had been given to its advance preparation by the local organizing committee as well as by representatives of the A.S.L.and its European Committee. The late date on which cancellation took place required drastic changes of plans by speakers and participants. Last-minute efforts to reschedule the meeting elsewhere in Europe could not be realized.
  • Fundamentals of the theory of operator algebras. V4

    Special topics--advanced theory, an exercise approach
    • 1st Edition
    • Volume 100D
    • English
  • Logic from Russell to Church

    • 1st Edition
    • Volume 5
    • Dov M. Gabbay + 1 more
    • English
    This volume is number five in the 11-volume Handbook of the History of Logic. It covers the first 50 years of the development of mathematical logic in the 20th century, and concentrates on the achievements of the great names of the period--Russell, Post, Gödel, Tarski, Church, and the like. This was the period in which mathematical logic gave mature expression to its four main parts: set theory, model theory, proof theory and recursion theory. Collectively, this work ranks as one of the greatest achievements of our intellectual history. Written by leading researchers in the field, both this volume and the Handbook as a whole are definitive reference tools for senior undergraduates, graduate students and researchers in the history of logic, the history of philosophy, and any discipline, such as mathematics, computer science, and artificial intelligence, for whom the historical background of his or her work is a salient consideration.
  • Essential Mathcad for Engineering, Science, and Math

    • 2nd Edition
    • Brent Maxfield
    • English
    Using the author's considerable experience of applying Mathcad to engineering problems, Essential Mathcad introduces the most powerful functions and features of the software and teaches how to apply these to create comprehensive calculations for any quantitative subject. The simple, step-by-step approach makes this book an ideal Mathcad text for professional engineers as well as engineering , science, and math students. Examples from a variety of fields demonstrate the power and utility of Mathcad's tools, while also demonstrating how other software, such as Excel spreadsheets, can be incorporated effectively. A full version of Mathcad v15 is available by using the registration code included in the front of the book (North America only). The included software is for educational purposes only.
  • Advances in Computers

    Social Net Working and the Web
    • 1st Edition
    • Volume 76
    • Marvin Zelkowitz
    • English
    This is volume 76 of the Advances in Computers. Since 1960, annual volumes are produced containing chapters by some of the leading experts in the field of computers today. For almost 50 years these volumes present ideas and developments that are radically changing our society. One of the most important ideas sweeping though society today is the social networking website. Names like Wikipedia, Flickr, Second Life, Twitter, Facebook, Meetup, MySpace, LinkedIn, among others, are becoming common parlance as the youth, and a growing segment of the adult population, now view such websites as alternatives to the corner convenience store or coffee shop and critically important avenues for social interactions. In this volume we explore this phenomenon to describe the development of some of these ideas as well as developments in web technology that enable this to occur. This volume contains seven chapters divided into two parts. The first three chapters describe the social networking phenomenon and provide insights into the technology and influences on our culture. The last four chapters provide details of the underlying technology that allows the web to expand to include these social networking sites, as well as other new applications for information dissemination, accessing, and sharing.
  • Advances in Computers

    Computer Performance Issues
    • 1st Edition
    • Volume 75
    • Marvin Zelkowitz
    • English
    This is volume 75 of Advances in Computers. This series, which began publication in 1960, is the oldest continuously published anthology that chronicles the ever- changing information technology field. In these volumes we publish from 5 to 7 chapters, three times per year, that cover the latest changes to the design, development, use and implications of computer technology on society today. In this present volume we present five chapters describing new technology affecting users of such machines. In this volume we continue a theme presented last year in volume 72 – High Performance Computing. In volume 72 we described several research projects being conducted in the United States on the development of a new generation of high performance supercomputers.
  • Mathematical Analysis and Proof

    • 2nd Edition
    • David S G Stirling
    • English
    This fundamental and straightforward text addresses a weakness observed among present-day students, namely a lack of familiarity with formal proof. Beginning with the idea of mathematical proof and the need for it, associated technical and logical skills are developed with care and then brought to bear on the core material of analysis in such a lucid presentation that the development reads naturally and in a straightforward progression. Retaining the core text, the second edition has additional worked examples which users have indicated a need for, in addition to more emphasis on how analysis can be used to tell the accuracy of the approximations to the quantities of interest which arise in analytical limits.
  • Handbook of Differential Equations: Evolutionary Equations

    • 1st Edition
    • Volume 5
    • C.M. Dafermos + 1 more
    • English
    Handbook of Differential Equations: Evolutionary Equations is the last text of a five-volume reference in mathematics and methodology. This volume follows the format set by the preceding volumes, presenting numerous contributions that reflect the nature of the area of evolutionary partial differential equations. The book is comprised of five chapters that feature the following: A thorough discussion of the shallow-equations theory, which is used as a model for water waves in rivers, lakes and oceans. It covers the issues of modeling, analysis and applications • Evaluation of the singular limits of reaction-diffusion systems, where the reaction is fast compared to the other processes; and applications that range from the theory of the evolution of certain biological processes to the phenomena of Turing and cross-diffusion instability Detailed discussion of numerous problems arising from nonlinear optics, at the high-frequency and high-intensity regime • Geometric and diffractive optics, including wave interactions Presentation of the issues of existence, blow-up and asymptotic stability of solutions, from the equations of solutions to the equations of linear and non-linear thermoelasticity Answers to questions about unique space, such as continuation and backward uniqueness for linear second-order parabolic equations. Research mathematicians, mathematics lecturers and instructors, and academic students will find this book invaluable
  • Delta Functions

    Introduction to Generalised Functions
    • 2nd Edition
    • R F Hoskins
    • English
    Delta Functions has now been updated, restructured and modernised into a second edition, to answer specific difficulties typically found by students encountering delta functions for the first time. In particular, the treatment of the Laplace transform has been revised with this in mind. The chapter on Schwartz distributions has been considerably extended and the book is supplemented by a fuller review of Nonstandard Analysis and a survey of alternative infinitesimal treatments of generalised functions. Dealing with a difficult subject in a simple and straightforward way, the text is readily accessible to a broad audience of scientists, mathematicians and engineers. It can be used as a working manual in its own right, and serves as a preparation for the study of more advanced treatises. Little more than a standard background in calculus is assumed, and attention is focused on techniques, with a liberal selection of worked examples and exercises.
  • Partial Differential Equations and Boundary Value Problems with Maple

    • 2nd Edition
    • George A. Articolo
    • English
    Partial Differential Equations and Boundary Value Problems with Maple, Second Edition, presents all of the material normally covered in a standard course on partial differential equations, while focusing on the natural union between this material and the powerful computational software, Maple. The Maple commands are so intuitive and easy to learn, students can learn what they need to know about the software in a matter of hours - an investment that provides substantial returns. Maple's animation capabilities allow students and practitioners to see real-time displays of the solutions of partial differential equations. This updated edition provides a quick overview of the software w/simple commands needed to get started. It includes review material on linear algebra and Ordinary Differential equations, and their contribution in solving partial differential equations. It also incorporates an early introduction to Sturm-Liouville boundary problems and generalized eigenfunction expansions. Numerous example problems and end of each chapter exercises are provided.