An introduction to awe-inspiring ideas at the brink of paradox: infinities of different sizes, time travel, probability and measure theory, and computability theory.

This award-winning book introduces the reader to awe-inspiring issues at the intersection of philosophy and mathematics. It explores ideas at the...

This is the first book to focus on the problem of ensuring the correctness of floating-point hardware designs through mathematical methods. Formal Verification of Floating-Point Hardware Design advances a verification methodology based on a unified theory of register-transfer logic and floating-point arithmetic that has...

This text illustrates the fundamental simplicity of the properties of orthogonal functions and their developments in related series. Begins with a definition and explanation of the elements of Fourier series, and examines Legendre polynomials and Bessel functions. Also includes Pearson frequency functions and chapters on orthogonal,...

Want to “know it all” when it comes to algebra? Algebra Know-It-ALL gives you the expert, one-on-one instruction you need, whether you're new to algebra or you're looking to ramp up your skills. Providing easy-to-understand concepts and thoroughly explained...

Continuing a bestselling tradition, An Introduction to Cryptography, Second Edition provides a solid foundation in cryptographic concepts that features all of the requisite background material on number theory and algorithmic complexity as well as a historical look at the field. With numerous additions and restructured material, this edition...

Are you familiar with the IEEE floating point arithmetic standard? Would you like to understand it better? This book gives a broad overview of numerical computing, in a historical context, with a special focus on the IEEE standard for binary floating point arithmetic. Key ideas are developed step by step, taking the reader from floating point...

Computational logic is a fast-growing field with applications in artificial intelligence, constraint solving, and the design and verification of software and hardware systems. Written with graduate and advanced undergraduate students in mind, this textbook introduces computational logic from the foundations of first-order logic to state-of-the-art...

The book explores how build a mechanical inferences by making use of arithmetic operations on a string of numbers representing statements. In this way logic is reduced to a branch of the combinatory calculus. It covers the field of traditional logic by showing that any kind of inference can be mechanically reduced to three-variables and...

From its origins as a sublanguage of XSLT, XPath has come into its own as a key element of XML. XPath 2.0 has emerged as a robust language twice the size of its predecessor, complex and capable of standing on its own.

This substantive volume, by the editor of the W3C® XSLT 2.0 specification, is the authoritative reference on XPath 2.0. It...

"No present book comes near this one in the range and depth of treatment of these two extremely important methods—the Lanczos algorithm and the method of conjugate gradients." Chris Paige, School of Computer Science, McGill University. The Lanczos and conjugate gradient (CG) algorithms are fascinating numerical...

Using a range of very different examples, this beginner's guide will take you through the
most important aspects of GNU Octave. The book starts by introducing how you work with
mathematical objects like vectors and matrices, demonstrating how to perform simple
arithmetic operations on these objects and explaining how to use some of...

Applied Fuzzy Arithmetic provides a well-structured compendium that offers both a deeper knowledge about the theory of fuzzy arithmetic and an extensive view on its applications in the engineering sciences, making it a resource for students, researchers, and practical engineers. The first part of the book gives an introduction...