Subsystems of Second Order Arithmetic (Perspectives in Logic)
Foundations of mathematics is the study of the most basic concepts and
logical structure ofmathematics, with an eye to the unity of human knowl-
edge. Among the most basic mathematical concepts are: number, shape,
set, function, algorithm, mathematical axiom, mathematical definition,
and mathematical proof. Typical questions in... 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...
|Result Page: 14 13 12 11 10 9 8 7 6 5 |