Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
On the Brink of Paradox: Highlights from the Intersection of Philosophy and Mathematics (The MIT Press)
On the Brink of Paradox: Highlights from the Intersection of Philosophy and Mathematics (The MIT Press)
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
...
Formal Verification of Floating-Point Hardware Design
Formal Verification of Floating-Point Hardware Design

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...

Fourier Series and Orthogonal Polynomials (Dover Books on Mathematics)
Fourier Series and Orthogonal Polynomials (Dover Books on Mathematics)
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,...
Algebra Know-It-ALL: Beginner to Advanced, and Everything in Between
Algebra Know-It-ALL: Beginner to Advanced, and Everything in Between
Master algebra from the comfort of home!

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...

An Introduction to Cryptography, Second Edition (Discrete Mathematics and Its Applications)
An Introduction to Cryptography, Second Edition (Discrete Mathematics and Its Applications)
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...
Numerical Computing with IEEE Floating Point Arithmetic
Numerical Computing with IEEE Floating Point Arithmetic

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...

The Calculus of Computation: Decision Procedures with Applications to Verification
The Calculus of Computation: Decision Procedures with Applications to Verification
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...
Mechanical Logic in Three-Dimensional Space
Mechanical Logic in Three-Dimensional Space

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...

XPath 2.0 Programmer's Reference (Programmer to Programmer)
XPath 2.0 Programmer's Reference (Programmer to Programmer)
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...

The Lanczos and Conjugate Gradient Algorithms: From Theory to Finite Precision Computations
The Lanczos and Conjugate Gradient Algorithms: From Theory to Finite Precision Computations
"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...
GNU Octave Beginner's Guide
GNU Octave Beginner's Guide

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: An Introduction with Engineering Applications
Applied Fuzzy Arithmetic: An Introduction with Engineering Applications

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...

unlimited object storage image
Result Page: 14 13 12 11 10 9 8 7 6 5 
©2021 LearnIT (support@pdfchm.net) - Privacy Policy