Books in Mathematics

The Mathematics collection presents a range of foundational and advanced research content across applied and discrete mathematics, including fields such as Computational Mathematics; Differential Equations; Linear Algebra; Modelling & Simulation; Numerical Analysis; Probability & Statistics.

Books Journals

Combinatory Logic

1st Edition
Volume 65
June 17, 2009
Lev D. Beklemishev
English
eBook
9 7 8 0 0 8 0 9 5 4 7 7 6

Theory of extremal problems

1st Edition
Volume 6
June 15, 2009
A.D. Ioffe + 1 more
English
eBook
9 7 8 0 0 8 0 8 7 5 2 7 9

Logic Colloquium 76, Proceedings of a conference

1st Edition
Volume 87
June 15, 2009
Lev D. Beklemishev
English
eBook
9 7 8 0 0 8 0 9 5 4 9 6 7

Mathematical Problems in Elasticity and Homogenization

1st Edition
Volume 2
June 15, 2009
O.A. Oleinik + 2 more
English
eBook
9 7 8 0 0 8 0 8 7 5 2 3 1

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.

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

1st Edition
Volume 44
June 15, 2009
Lev D. Beklemishev
English
eBook
9 7 8 0 0 8 0 9 5 4 7 1 4

Why Programs Fail

2nd Edition
June 12, 2009
Andreas Zeller
English
Paperback
9 7 8 0 1 2 3 7 4 5 1 5 6
eBook
9 7 8 0 0 8 0 9 2 3 0 0 0

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.

Why Programs Fail

2nd Edition
June 12, 2009
Andreas Zeller
English
Paperback
9 7 8 0 1 2 3 7 4 5 1 5 6
eBook
9 7 8 0 0 8 0 9 2 3 0 0 0

Philosophy of Mathematics

1st Edition
June 11, 2009
Andrew Irvine + 3 more
English
Hardback
9 7 8 0 4 4 4 5 1 5 5 5 1
eBook
9 7 8 0 0 8 0 9 3 0 5 8 9

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

1st Edition
Volume 153
June 9, 2009
Dov M. Gabbay + 2 more
English
Hardback
9 7 8 0 4 4 4 5 2 0 1 2 8
eBook
9 7 8 0 0 8 0 9 3 1 1 2 8

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

1st Edition
June 5, 2009
D. van Dalen + 2 more
English
eBook
9 7 8 0 0 8 0 9 6 0 3 4 0

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.

Related subjects

Mathematics and applied mathematics

Statistics and probability

Life Sciences

Physical Sciences & Engineering

Social Sciences & Humanities

Health

Books in Mathematics

Combinatory Logic

Theory of extremal problems

Logic Colloquium 76, Proceedings of a conference

Mathematical Problems in Elasticity and Homogenization

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

Why Programs Fail

Why Programs Fail

Philosophy of Mathematics

Quantification in Nonclassical Logic

Logic Colloquium '80

Related subjects