Saltar al contenido principal
Elsevier

Libros en Matemáticas

  • Essential Numerical Computer Methods

    • 1 Edición
    • Michael L. Johnson
    • Inglés
    The use of computers and computational methods has become ubiquitous in biological and biomedical research. During the last 2 decades most basic algorithms have not changed, but what has is the huge increase in computer speed and ease of use, along with the corresponding orders of magnitude decrease in cost. A general perception exists that the only applications of computers and computer methods in biological and biomedical research are either basic statistical analysis or the searching of DNA sequence data bases. While these are important applications they only scratch the surface of the current and potential applications of computers and computer methods in biomedical research. The various chapters within this volume include a wide variety of applications that extend far beyond this limited perception. As part of the Reliable Lab Solutions series, Essential Numerical Computer Methods brings together chapters from volumes 210, 240, 321, 383, 384, 454, and 467 of Methods in Enzymology. These chapters provide a general progression from basic numerical methods to more specific biochemical and biomedical applications.

  • Doing Bayesian Data Analysis

    A Tutorial Introduction with R
    • 1 Edición
    • John Kruschke
    • Inglés
    There is an explosion of interest in Bayesian statistics, primarily because recently created computational methods have finally made Bayesian analysis tractable and accessible to a wide audience. Doing Bayesian Data Analysis, A Tutorial Introduction with R and BUGS, is for first year graduate students or advanced undergraduates and provides an accessible approach, as all mathematics is explained intuitively and with concrete examples. It assumes only algebra and ‘rusty’ calculus. Unlike other textbooks, this book begins with the basics, including essential concepts of probability and random sampling. The book gradually climbs all the way to advanced hierarchical modeling methods for realistic data. The text provides complete examples with the R programming language and BUGS software (both freeware), and begins with basic programming examples, working up gradually to complete programs for complex analyses and presentation graphics. These templates can be easily adapted for a large variety of students and their own research needs.The textbook bridges the students from their undergraduate training into modern Bayesian methods.

  • Fundamentals of University Mathematics

    • 3 Edición
    • Colin McGregor + 2 más
    • Inglés
    The third edition of this popular and effective textbook provides in one volume a unified treatment of topics essential for first year university students studying for degrees in mathematics. Students of computer science, physics and statistics will also find this book a helpful guide to all the basic mathematics they require. It clearly and comprehensively covers much of the material that other textbooks tend to assume, assisting students in the transition to university-level mathematics.Expertly revised and updated, the chapters cover topics such as number systems, set and functions, differential calculus, matrices and integral calculus. Worked examples are provided and chapters conclude with exercises to which answers are given. For students seeking further challenges, problems intersperse the text, for which complete solutions are provided. Modifications in this third edition include a more informal approach to sequence limits and an increase in the number of worked examples, exercises and problems.The third edition of Fundamentals of university mathematics is an essential reference for first year university students in mathematics and related disciplines. It will also be of interest to professionals seeking a useful guide to mathematics at this level and capable pre-university students.

  • Handbook of Dynamical Systems

    • 1 Edición
    • Volumen 3
    • H. Broer + 2 más
    • Inglés
    In this volume, the authors present a collection of surveys on various aspects of the theory of bifurcations of differentiable dynamical systems and related topics. By selecting these subjects, they focus on those developments from which research will be active in the coming years. The surveys are intended to educate the reader on the recent literature on the following subjects: transversality and generic properties like the various forms of the so-called Kupka-Smale theorem, the Closing Lemma and generic local bifurcations of functions (so-called catastrophe theory) and generic local bifurcations in 1-parameter families of dynamical systems, and notions of structural stability and moduli.

  • Statistical Methods, Students Solutions Manual (e-only)

    • 1 Edición
    • Rudolf J. Freund + 2 más
    • Inglés

  • Numerical Time-Dependent Partial Differential Equations for Scientists and Engineers

    • 1 Edición
    • Volumen 213
    • Moysey Brio + 2 más
    • Inglés
    It is the first text that in addition to standard convergence theory treats other necessary ingredients for successful numerical simulations of physical systems encountered by every practitioner. The book is aimed at users with interests ranging from application modeling to numerical analysis and scientific software development. It is strongly influenced by the authors research in in space physics, electrical and optical engineering, applied mathematics, numerical analysis and professional software development. The material is based on a year-long graduate course taught at the University of Arizona since 1989. The book covers the first two-semesters of a three semester series. The second semester is based on a semester-long project, while the third semester requirement consists of a particular methods course in specific disciplines like computational fluid dynamics, finite element method in mechanical engineering, computational physics, biology, chemistry, photonics, etc.The first three chapters focus on basic properties of partial differential equations, including analysis of the dispersion relation, symmetries, particular solutions and instabilities of the PDEs; methods of discretization and convergence theory for initial value problems. The goal is to progress from observations of simple numerical artifacts like diffusion, damping, dispersion, and anisotropies to their analysis and management technique, as it is not always possible to completely eliminate them.In the second part of the book we cover topics for which there are only sporadic theoretical results, while they are an integral part and often the most important part for successful numerical simulation. We adopt a more heuristic and practical approach using numerical methods of investigation and validation. The aim is teach students subtle key issues in order to separate physics from numerics. The following topics are addressed: Implementation of transparent and absorbing boundary conditions; Practical stability analysis in the presence of the boundaries and interfaces; Treatment of problems with different temporal/spatial scales either explicit or implicit; preservation of symmetries and additional constraints; physical regularization of singularities; resolution enhancement using adaptive mesh refinement and moving meshes.

  • Mathematics for Neuroscientists

    • 1 Edición
    • Fabrizio Gabbiani + 1 más
    • Inglés
    Virtually all scientific problems in neuroscience require mathematical analysis, and all neuroscientists are increasingly required to have a significant understanding of mathematical methods. There is currently no comprehensive, integrated introductory book on the use of mathematics in neuroscience; existing books either concentrate solely on theoretical modeling or discuss mathematical concepts for the treatment of very specific problems. This book fills this need by systematically introducing mathematical and computational tools in precisely the contexts that first established their importance for neuroscience. All mathematical concepts will be introduced from the simple to complex using the most widely used computing environment, Matlab. This book will provide a grounded introduction to the fundamental concepts of mathematics, neuroscience and their combined use, thus providing the reader with a springboard to cutting-edge research topics and fostering a tighter integration of mathematics and neuroscience for future generations of students.

  • Advanced Calculus

    A Transition to Analysis, Student Solutions Manual (e-only)
    • 1 Edición
    • Joseph B. Dence + 1 más
    • Inglés

  • Advances in Computers

    • 1 Edición
    • Volumen 80
    • Marvin Zelkowitz
    • Inglés
    This series, since its first volume in 1960 and now the oldest series still being published, covers new developments in computer technology. Each volume contains from 5 to 7 chapters and 3 volumes are produced annually. Most chapters present an overview of a current subfield within computer science, include many citations, and often new developments in the field by the authors of the individual chapters. Topics include hardware, software, web technology, communications, theoretical underpinnings of computing, and novel applications of computers. The book series is a valuable addition to university courses that emphasize the topics under discussion in that particular volume as well as belonging on the bookshelf of industrial practitioners who need to implement many of the technologies that are described.

  • Statistical Methods

    • 3 Edición
    • Donna L. Mohr
    • Inglés
    Statistical Methods, Third Edition, provides students with a working introduction to statistical methods offering a wide range of applications that emphasize the quantitative skills useful across many academic disciplines. This text takes a classic approach that emphasizes concepts and techniques for working out problems and intepreting results. The book includes research projects, real-world case studies, numerous examples, and data exercises organized by level of difficulty. Students are required to be familiar with algebra. This updated edition includes new exercises applying different techniques and methods; new examples and datasets using current real-world data; new text organization to create a more natural connection between regression and the Analysis of the Variance; new material on generalized linear models; new expansion of nonparametric techniques; new student research projects; and new case studies for gathering, summarizing, and analyzing data.

  • Analytical and Numerical Approaches to Asymptotic Problems in Analysis

    • 1 Edición
    • Volumen 47
    • O. Axelsson + 2 más
    • Inglés

  • A Concrete Approach To Abstract Algebra,Student Solutions Manual (e-only)

    • 1 Edición
    • Jeffrey Bergen
    • Inglés
    A Concrete Approach to Abstract Algebra begins with a concrete and thorough examination of familiar objects like integers, rational numbers, real numbers, complex numbers, complex conjugation and polynomials, in this unique approach, the author builds upon these familar objects and then uses them to introduce and motivate advanced concepts in algebra in a manner that is easier to understand for most students. The text will be of particular interest to teachers and future teachers as it links abstract algebra to many topics wich arise in courses in algebra, geometry, trigonometry, precalculus and calculus. The final four chapters present the more theoretical material needed for graduate study.

  • Introductory Statistics, Student Solutions Manual (e-only)

    • 1 Edición
    • Sheldon M. Ross
    • Inglés

  • Elementary Linear Algebra, Students Solutions Manual (e-only)

    • 1 Edición
    • Stephen Andrilli + 1 más
    • Inglés

  • Advances in Computers

    Improving the Web
    • 1 Edición
    • Volumen 78
    • Marvin Zelkowitz
    • Inglés
    This is volume 78 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.

  • Introductory Statistics

    • 3 Edición
    • Sheldon M. Ross
    • Inglés
    Introductory Statistics, Third Edition, presents statistical concepts and techniques in a manner that will teach students not only how and when to utilize the statistical procedures developed, but also to understand why these procedures should be used. This book offers a unique historical perspective, profiling prominent statisticians and historical events in order to motivate learning. To help guide students towards independent learning, exercises and examples using real issues and real data (e.g., stock price models, health issues, gender issues, sports, scientific fraud) are provided. The chapters end with detailed reviews of important concepts and formulas, key terms, and definitions that are useful study tools. Data sets from text and exercise material are available for download in the text website. This text is designed for introductory non-calculus based statistics courses that are offered by mathematics and/or statistics departments to undergraduate students taking a semester course in basic Statistics or a year course in Probability and Statistics.

  • Introduction to Probability Models, Student Solutions Manual (e-only)

    Introduction to Probability Models 10th Edition
    • 1 Edición
    • Sheldon M. Ross
    • Inglés

  • Elementary Linear Algebra

    • 4 Edición
    • Stephen Andrilli + 1 más
    • Inglés
    Elementary Linear Algebra develops and explains in careful detail the computational techniques and fundamental theoretical results central to a first course in linear algebra. This highly acclaimed text focuses on developing the abstract thinking essential for further mathematical study The authors give early, intensive attention to the skills necessary to make students comfortable with mathematical proofs. The text builds a gradual and smooth transition from computational results to general theory of abstract vector spaces. It also provides flexbile coverage of practical applications, exploring a comprehensive range of topics. Ancillary list:* Maple Algorithmic testing- Maple TA- www.maplesoft.com

  • A Concrete Approach to Abstract Algebra

    From the Integers to the Insolvability of the Quintic
    • 1 Edición
    • Jeffrey Bergen
    • Inglés
    A Concrete Approach to Abstract Algebra presents a solid and highly accessible introduction to abstract algebra by providing details on the building blocks of abstract algebra.It begins with a concrete and thorough examination of familiar objects such as integers, rational numbers, real numbers, complex numbers, complex conjugation, and polynomials. The author then builds upon these familiar objects and uses them to introduce and motivate advanced concepts in algebra in a manner that is easier to understand for most students. Exercises provide a balanced blend of difficulty levels, while the quantity allows the instructor a latitude of choices. The final four chapters present the more theoretical material needed for graduate study.This text will be of particular interest to teachers and future teachers as it links abstract algebra to many topics which arise in courses in algebra, geometry, trigonometry, precalculus, and calculus.

  • Statistical Bioinformatics with R

    • 1 Edición
    • Sunil K. Mathur
    • Inglés
    Statistical Bioinformatics provides a balanced treatment of statistical theory in the context of bioinformatics applications. Designed for a one or two semester senior undergraduate or graduate bioinformatics course, the text takes a broad view of the subject – not just gene expression and sequence analysis, but a careful balance of statistical theory in the context of bioinformatics applications. The inclusion of R & SAS code as well as the development of advanced methodology such as Bayesian and Markov models provides students with the important foundation needed to conduct bioinformatics.

  • Advanced Calculus

    A Transition to Analysis
    • 1 Edición
    • Thomas P. Dence + 1 más
    • Inglés
    Advanced Calculus explores the theory of calculus and highlights the connections between calculus and real analysis – providing a mathematically sophisticated introduction to functional analytical concepts. The text is interesting to read and includes many illustrative worked-out examples and instructive exercises, and precise historical notes to aid in further exploration of calculus. It covers exponential function, and the development of trigonometric functions from the integral. The text is designed for a one-semester advanced calculus course for advanced undergraduates or graduate students.

  • Linear Algebra with Mathematica

    An Introduction Using Mathematica
    • 1 Edición
    • Fred Szabo
    • Inglés
    Linear Algebra: An Introduction With Mathematica uses a matrix-based presentation and covers the standard topics any mathematician will need to understand linear algebra while using Mathematica. Development of analytical and computational skills is emphasized, and worked examples provide step-by-step methods for solving basic problems using Mathematica. The subject's rich pertinence to problem solving across disciplines is illustrated with applications in engineering, the natural sciences, computer animation, and statistics.

  • Environmental Data Analysis with MatLab

    • 1 Edición
    • William Menke + 1 más
    • Inglés
    Environmental Data Analysis with MatLab is a reference work designed to teach students and researchers the basics of data analysis in the environmental sciences using MatLab, and more specifically how to analyze data sets in carefully chosen, realistic scenarios. Although written in a self-contained way, the text is supplemented with data sets and MatLab scripts that can be used as a data analysis tutorial, available at the author's website: http://www.ldeo.colu... This book is organized into 12 chapters. After introducing the reader to the basics of data analysis with MatLab, the discussion turns to the power of linear models; quantifying preconceptions; detecting periodicities; patterns suggested by data; detecting correlations among the data; filling in missing data; and determining whether your results are significant. Homework problems help users follow up upon case studies. This text will appeal to environmental scientists, specialists, researchers, analysts, and undergraduate and graduate students in Environmental Engineering, Environmental Biology and Earth Science courses, who are working to analyze data and communicate results.

  • The Theory of Gambling and Statistical Logic

    • 2 Edición
    • Richard A. Epstein
    • Inglés
    Early in his rise to enlightenment, man invented a concept that has since been variously viewed as a vice, a crime, a business, a pleasure, a type of magic, a disease, a folly, a weakness, a form of sexual substitution, an expression of the human instinct. He invented gambling. Recent advances in the field, particularly Parrondo's paradox, have triggered a surge of interest in the statistical and mathematical theory behind gambling. This interest was acknowledge in the motion picture, "21," inspired by the true story of the MIT students who mastered the art of card counting to reap millions from the Vegas casinos. Richard Epstein's classic book on gambling and its mathematical analysis covers the full range of games from penny matching to blackjack, from Tic-Tac-Toe to the stock market (including Edward Thorp's warrant-hedging analysis). He even considers whether statistical inference can shed light on the study of paranormal phenomena. Epstein is witty and insightful, a pleasure to dip into and read and rewarding to study. The book is written at a fairly sophisticated mathematical level; this is not "Gambling for Dummies" or "How To Beat The Odds Without Really Trying." A background in upper-level undergraduate mathematics is helpful for understanding this work.

  • Introductory Differential Equations

    with Boundary Value Problems
    • 3 Edición
    • Martha L. Abell + 1 más
    • Inglés
    This text is for courses that are typically called (Introductory) Differential Equations, (Introductory) Partial Differential Equations, Applied Mathematics, Fourier Series and Boundary Value Problems. The text is appropriate for two semester courses: the first typically emphasizes ordinary differential equations and their applications while the second emphasizes special techniques (like Laplace transforms) and partial differential equations. The texts follows a "traditional" curriculum and takes the "traditional" (rather than "dynamical systems") approach. Introductory Differential Equations is a text that follows a traditional approach and is appropriate for a first course in ordinary differential equations (including Laplace transforms) and a second course in Fourier series and boundary value problems. Note that some schools might prefer to move the Laplace transform material to the second course, which is why we have placed the chapter on Laplace transforms in its location in the text. Ancillaries like Differential Equations with Mathematica and/or Differential Equations with Maple would be recommended and/or required ancillaries depending on the school, course, or instructor.

  • Sample Surveys: Inference and Analysis

    • 1 Edición
    • Volumen 29B
    • Inglés
    Handbook of Statistics_29B contains the most comprehensive account of sample surveys theory and practice to date. It is a second volume on sample surveys, with the goal of updating and extending the sampling volume published as volume 6 of the Handbook of Statistics in 1988. The present handbook is divided into two volumes (29A and 29B), with a total of 41 chapters, covering current developments in almost every aspect of sample surveys, with references to important contributions and available software. It can serve as a self contained guide to researchers and practitioners, with appropriate balance between theory and real life applications. Each of the two volumes is divided into three parts, with each part preceded by an introduction, summarizing the main developments in the areas covered in that part. Volume 1 deals with methods of sample selection and data processing, with the later including editing and imputation, handling of outliers and measurement errors, and methods of disclosure control. The volume contains also a large variety of applications in specialized areas such as household and business surveys, marketing research, opinion polls and censuses. Volume 2 is concerned with inference, distinguishing between design-based and model-based methods and focusing on specific problems such as small area estimation, analysis of longitudinal data, categorical data analysis and inference on distribution functions. The volume contains also chapters dealing with case-control studies, asymptotic properties of estimators and decision theoretic aspects.

  • Kernel functions and differential equations

    • 1 Edición
    • Volumen 4
    • Inglés

  • Sample Surveys: Design, Methods and Applications

    • 1 Edición
    • Volumen 29A
    • Inglés
    This new handbook contains the most comprehensive account of sample surveys theory and practice to date. It is a second volume on sample surveys, with the goal of updating and extending the sampling volume published as volume 6 of the Handbook of Statistics in 1988. The present handbook is divided into two volumes (29A and 29B), with a total of 41 chapters, covering current developments in almost every aspect of sample surveys, with references to important contributions and available software. It can serve as a self contained guide to researchers and practitioners, with appropriate balance between theory and real life applications. Each of the two volumes is divided into three parts, with each part preceded by an introduction, summarizing the main developments in the areas covered in that part. Volume 29A deals with methods of sample selection and data processing, with the later including editing and imputation, handling of outliers and measurement errors, and methods of disclosure control. The volume contains also a large variety of applications in specialized areas such as household and business surveys, marketing research, opinion polls and censuses. Volume 29B is concerned with inference, distinguishing between design-based and model-based methods and focusing on specific problems such as small area estimation, analysis of longitudinal data, categorical data analysis and inference on distribution functions. The volume contains also chapters dealing with case-control studies, asymptotic properties of estimators and decision theoretic aspects.

  • Philosophy of Technology and Engineering Sciences

    • 1 Edición
    • Inglés
    The Handbook Philosophy of Technology and Engineering Sciences addresses numerous issues in the emerging field of the philosophy of those sciences that are involved in the technological process of designing, developing and making of new technical artifacts and systems. These issues include the nature of design, of technological knowledge, and of technical artifacts, as well as the toolbox of engineers. Most of these have thus far not been analyzed in general philosophy of science, which has traditionally but inadequately regarded technology as mere applied science and focused on physics, biology, mathematics and the social sciences.

  • Advanced Mathematical Tools for Automatic Control Engineers: Volume 2

    Stochastic Systems
    • 1 Edición
    • Alexander S. Poznyak
    • Inglés
    Advanced Mathematical Tools for Automatic Control Engineers, Volume 2: Stochastic Techniques provides comprehensive discussions on statistical tools for control engineers. The book is divided into four main parts. Part I discusses the fundamentals of probability theory, covering probability spaces, random variables, mathematical expectation, inequalities, and characteristic functions. Part II addresses discrete time processes, including the concepts of random sequences, martingales, and limit theorems. Part III covers continuous time stochastic processes, namely Markov processes, stochastic integrals, and stochastic differential equations. Part IV presents applications of stochastic techniques for dynamic models and filtering, prediction, and smoothing problems. It also discusses the stochastic approximation method and the robust stochastic maximum principle.

  • Boundary Value Problems

    and Partial Differential Equations
    • 6 Edición
    • David L. Powers
    • Inglés
    Boundary Value Problems, Sixth Edition, is the leading text on boundary value problems and Fourier series for professionals and students in engineering, science, and mathematics who work with partial differential equations. In this updated edition, author David Powers provides a thorough overview of solving boundary value problems involving partial differential equations by the methods of separation of variables. Additional techniques used include Laplace transform and numerical methods.The book contains nearly 900 exercises ranging in difficulty from basic drills to advanced problem-solving exercises.Professors and students agree that Powers is a master at creating examples and exercises that skillfully illustrate the techniques used to solve science and engineering problems.

  • Advances in Computers

    • 1 Edición
    • Volumen 77
    • Marvin Zelkowitz
    • Inglés
    This is volume 77 of Advances in Computers. Since 1960, annual volumes are produced containing chapters by some of the leading experts in the field of computers today. For 50 years these volumes offer ideas and developments that are changing our society. This volume presents eight different topics covering many different aspects of computer science. A wide range of subjects are covered from insights into the different ways individuals can interact with electronic devices to how common law is adapting to and impacting on the Internet.

  • Handbook of Algebra

    • 1 Edición
    • Volumen 6
    • M. Hazewinkel
    • Inglés
    Algebra, as we know it today, consists of many different ideas, concepts and results. A reasonable estimate of the number of these different items would be somewhere between 50,000 and 200,000. Many of these have been named and many more could (and perhaps should) have a name or a convenient designation. Even the nonspecialist is likely to encounter most of these, either somewhere in the literature, disguised as a definition or a theorem or to hear about them and feel the need for more information. If this happens, one should be able to find enough information in this Handbook to judge if it is worthwhile to pursue the quest. In addition to the primary information given in the Handbook, there are references to relevant articles, books or lecture notes to help the reader. An excellent index has been included which is extensive and not limited to definitions, theorems etc. The Handbook of Algebra will publish articles as they are received and thus the reader will find in this third volume articles from twelve different sections. The advantages of this scheme are two-fold: accepted articles will be published quickly and the outline of the Handbook can be allowed to evolve as the various volumes are published. A particularly important function of the Handbook is to provide professional mathematicians working in an area other than their own with sufficient information on the topic in question if and when it is needed.

  • Combinatory Logic

    • 1 Edición
    • Volumen 65
    • Lev D. Beklemishev
    • Inglés

  • Differential forms in mathematical physics

    • 1 Edición
    • Volumen 3
    • Inglés

  • Theory of extremal problems

    • 1 Edición
    • Volumen 6
    • Inglés

  • Logic Colloquium 76, Proceedings of a conference

    • 1 Edición
    • Volumen 87
    • Lev D. Beklemishev
    • Inglés

  • Logic, Methodology and Philosophy of Science, Proceeding of the 1960 International Congress

    • 1 Edición
    • Volumen 44
    • Lev D. Beklemishev
    • Inglés

  • Mathematical Problems in Elasticity and Homogenization

    • 1 Edición
    • Volumen 2
    • O.A. Oleinik + 2 más
    • Inglés
    This monograph is based on research undertaken by the authors during the last ten years. The main part of the work deals with homogenization problems in elasticity as well as some mathematical problems related to composite and perforated elastic materials. This study of processes in strongly non-homogeneous media brings forth a large number of purely mathematical problems which are very important for applications. Although the methods suggested deal with stationary problems, some of them can be extended to non-stationary equations. With the exception of some well-known facts from functional analysis and the theory of partial differential equations, all results in this book are given detailed mathematical proof.It is expected that the results and methods presented in this book will promote further investigation of mathematical models for processes in composite and perforated media, heat-transfer, energy transfer by radiation, processes of diffusion and filtration in porous media, and that they will stimulate research in other problems of mathematical physics and the theory of partial differential equations.

  • Why Programs Fail

    A Guide to Systematic Debugging
    • 2 Edición
    • Andreas Zeller
    • Inglés
    Why Programs Fail: A Guide to Systematic Debugging is proof that debugging has graduated from a black art to a systematic discipline. It demystifies one of the toughest aspects of software programming, showing clearly how to discover what caused software failures, and fix them with minimal muss and fuss. The fully updated second edition includes 100+ pages of new material, including new chapters on Verifying Code, Predicting Erors, and Preventing Errors. Cutting-edge tools such as FindBUGS and AGITAR are explained, techniques from integrated environments like Jazz.net are highlighted, and all-new demos with ESC/Java and Spec#, Eclipse and Mozilla are included. This complete and pragmatic overview of debugging is authored by Andreas Zeller, the talented researcher who developed the GNU Data Display Debugger(DDD), a tool that over 250,000 professionals use to visualize the data structures of programs while they are running. Unlike other books on debugging, Zeller's text is product agnostic, appropriate for all programming languages and skill levels. The book explains best practices ranging from systematically tracking error reports, to observing symptoms, reproducing errors, and correcting defects. It covers a wide range of tools and techniques from hands-on observation to fully automated diagnoses, and also explores the author's innovative techniques for isolating minimal input to reproduce an error and for tracking cause and effect through a program. It even includes instructions on how to create automated debugging tools. The text includes exercises and extensive references for further study, and a companion website with source code for all examples and additional debugging resources is available.

  • Philosophy of Mathematics

    • 1 Edición
    • Inglés
    One of the most striking features of mathematics is the fact that we are much more certain about the mathematical knowledge we have than about what mathematical knowledge is knowledge of. Are numbers, sets, functions and groups physical entities of some kind? Are they objectively existing objects in some non-physical, mathematical realm? Are they ideas that are present only in the mind? Or do mathematical truths not involve referents of any kind? It is these kinds of questions that have encouraged philosophers and mathematicians alike to focus their attention on issues in the philosophy of mathematics. Over the centuries a number of reasonably well-defined positions about the nature of mathematics have been developed and it is these positions (both historical and current) that are surveyed in the current volume. Traditional theories (Platonism, Aristotelianism, Kantianism), as well as dominant modern theories (logicism, formalism, constructivism, fictionalism, etc.), are all analyzed and evaluated. Leading-edge research in related fields (set theory, computability theory, probability theory, paraconsistency) is also discussed. The result is a handbook that not only provides a comprehensive overview of recent developments but that also serves as an indispensable resource for anyone wanting to learn about current developments in the philosophy of mathematics.

  • Quantification in Nonclassical Logic

    • 1 Edición
    • Volumen 153
    • Dov M. Gabbay + 2 más
    • Inglés
    Quantification and modalities have always been topics of great interest for logicians. These two themes emerged from philosophy andlanguage in ancient times; they were studied by traditional informalmethods until the 20th century. In the last century the tools becamehighly mathematical, and both modal logic and quantification found numerous applications in Computer Science. At the same time many other kinds of nonclassical logics were investigated and applied to Computer Science. Although there exist several good books in propositional modal logics, this book is the first detailed monograph in nonclassical first-order quantification. It includes results obtained during the past thirty years. The field is very large, so we confine ourselves with only two kinds of logics: modal and superintuitionistic. The main emphasis of Volume 1 is model-theoretic, and it concentrates on descriptions of different sound semantics and completeness problem --- even for these seemingly simple questions we have our hands full. The major part of the presented material has never been published before. Some results are very recent, and for other results we either give new proofs or first proofs in full detail.

  • Logic Colloquium '80

    • 1 Edición
    • D. van Dalen + 2 más
    • Inglés
    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
    • 1 Edición
    • Volumen 100D
    • Inglés

  • Essential Mathcad for Engineering, Science, and Math ISE

    • 2 Edición
    • Brent Maxfield
    • Inglés
    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.

  • Logic from Russell to Church

    • 1 Edición
    • Volumen 5
    • Dov M. Gabbay + 1 más
    • Inglés
    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.

  • Handbook of Statistical Analysis and Data Mining Applications

    • 1 Edición
    • Robert Nisbet + 2 más
    • Inglés
    The Handbook of Statistical Analysis and Data Mining Applications is a comprehensive professional reference book that guides business analysts, scientists, engineers and researchers (both academic and industrial) through all stages of data analysis, model building and implementation. The Handbook helps one discern the technical and business problem, understand the strengths and weaknesses of modern data mining algorithms, and employ the right statistical methods for practical application. Use this book to address massive and complex datasets with novel statistical approaches and be able to objectively evaluate analyses and solutions. It has clear, intuitive explanations of the principles and tools for solving problems using modern analytic techniques, and discusses their application to real problems, in ways accessible and beneficial to practitioners across industries - from science and engineering, to medicine, academia and commerce. This handbook brings together, in a single resource, all the information a beginner will need to understand the tools and issues in data mining to build successful data mining solutions.

  • Advances in Computers

    Computer Performance Issues
    • 1 Edición
    • Volumen 75
    • Marvin Zelkowitz
    • Inglés
    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

    • 2 Edición
    • David S G Stirling
    • Inglés
    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

    • 1 Edición
    • Volumen 5
    • C.M. Dafermos + 1 más
    • Inglés
    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

Temas relacionados