Skip to main content
Elsevier

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.

  • The Nuts and Bolts of Proofs

    An Introduction to Mathematical Proofs
    • 4th Edition
    • Antonella Cupillari
    • English
    The Nuts and Bolts of Proofs: An Introduction to Mathematical Proofs provides basic logic of mathematical proofs and shows how mathematical proofs work. It offers techniques for both reading and writing proofs. The second chapter of the book discusses the techniques in proving if/then statements by contrapositive and proofing by contradiction. It also includes the negation statement, and/or. It examines various theorems, such as the if and only-if, or equivalence theorems, the existence theorems, and the uniqueness theorems. In addition, use of counter examples, mathematical induction, composite statements including multiple hypothesis and multiple conclusions, and equality of numbers are covered in this chapter. The book also provides mathematical topics for practicing proof techniques. Included here are the Cartesian products, indexed families, functions, and relations. The last chapter of the book provides review exercises on various topics. Undergraduate students in engineering and physical science will find this book invaluable.

  • Algorithmic Aspects of Combinatorics

    • 1st Edition
    • Volume 2
    • English

  • Southeast Asian Conference on Logic

    • 1st Edition
    • C.-T. Chong + 1 more
    • English
    The visit of Gerald Sacks to the National University of Singapore in 1981 provided an opportunity to organize a shortconference in Mathematical Logic. We were fortunate to receive encouragement and material support for this venture from several sources. Specific acknowledgements are made below. Sponsorship of the conference by the Association for Symbolic Logic was received and gave added inspiration. A final word in this connexion concerns the debt we owe to invited speakers who were able to provide for travel expenses from their own resources. Their presence at the conference would not have been possible otherwise. The publication of these Proceedings came about through an initiative of North Holland. The progress in producing the volume has been somewhat fitful, and we appreciate their forbearance and understanding. The items herein, with some exceptions, are written versions of invited talks given at the conference. Abstracts of contributed papers have appeared in the Journal of Symbolic Logic. The two workshops: in Recursion Theory by Mark Tamthai and Model Theory by Chris Ash, which were held in conjunction with the conference, are not recorded. We were fortunate to receive editorial assistance from John Bell during his visit to NUS. A great debt is owed to Mimi Bell and Madam Lam for producing the splendid typescript for the volume.

  • Saks Spaces and Applications to Functional Analysis

    • 1st Edition
    • Volume 28
    • English

  • Random Graphs '83

    • 1st Edition
    • Volume 28
    • A. Rucinski + 1 more
    • English
    The range of random graph topics covered in this volume includes structure, colouring, algorithms, mappings, trees, network flows, and percolation. The papers also illustrate the application of probability methods to Ramsey's problems, the application of graph theory methods to probability, and relations between games on graphs and random graphs.

  • Approximation of Vector Valued Functions

    • 1st Edition
    • Volume 25
    • English
    This work deals with the many variations of the Stoneileierstrass Theorem for vector-valued functions and some of its applications. The book is largely self-contained. The amount of Functional Analysis required is minimal, except for Chapter 8. The book can be used by graduate students who have taken the usual first-year real and complex analysis courses.

  • Near-rings: The Theory and its Applications

    • 1st Edition
    • Volume 23
    • English

  • Logic Colloquium '84

    • 1st Edition
    • J.B. Paris + 2 more
    • English
    This proceedings volume contains most of the invited talks presented at the colloquium. The main topics treated are the model theory of arithmetic and algebra, the semantics of natural languages, and applications of mathematical logic to complexity theory. The volume contains both surveys by acknowledged experts and original research papers presenting advances in these disciplines.

  • Advances in Graph Theory

    • 1st Edition
    • Volume 3
    • English

  • Enzyme mathematics

    • 1st Edition
    • Volume 10
    • English

Related subjects