Logo

Implementing Mathematics with The Nuprl Proof Development System

Small book cover: Implementing Mathematics with The Nuprl Proof Development System

Implementing Mathematics with The Nuprl Proof Development System
by

Publisher: Prentice Hall
ISBN/ASIN: 0134518322
ISBN-13: 9780134518329

Description:
The authors offer a tutorial on the new mathematical ideas which underlie their research. In doing so they have tried to provide several entry points into the material, even at the cost of considerable redundancy. Many of the ideas will be accessible to a well-trained undergraduate with a good background in mathematics and computer science.

Home page url

Download or read it online for free here:
Read online
(online html)

Similar books

Book cover: FractalsFractals
- Wikibooks
The aim of this text is to develop an informal, light introduction to the world of fractal geometry and to inspire further research into the subject, whether your interest is of a pure, applied or even recreational nature.
(6603 views)
Book cover: Art Gallery Theorems and AlgorithmsArt Gallery Theorems and Algorithms
by - Oxford University Press
Art gallery theorems and algorithms are so called because they relate to problems involving the visibility of geometrical shapes and their internal surfaces. This book explores generalizations and specializations in these areas.
(16433 views)
Book cover: Mathematics in the Age of the Turing MachineMathematics in the Age of the Turing Machine
by - arXiv
Computers have rapidly become so pervasive in mathematics that future generations may look back to this day as a golden dawn. The article gives a survey of mathematical proofs that rely on computer calculations and formal proofs.
(12834 views)
Book cover: Mathematics for Computer ScientistsMathematics for Computer Scientists
by - BookBoon
In this textbook you will find the basic mathematics needed by computer scientists. It should help you to understand the meaning of mathematical concepts. Subjects as elementary logic, factorization, plotting functions and matrices are explained.
(22986 views)