Implementando las matemáticas con el sistema de desarrollo de pruebas Nuprl

Cuatro objetivos del libro:

1. Ofrecer un tutorial sobre las ideas matemáticas que subyacen a nuestra investigación.
2. Servir como manual para los usuarios del sistema Nuprl.
3. Dar una visión general del proyecto para aquellos interesados en las aplicaciones de los resultados y para aquellos inclinados a la investigación básica en el área.
4. Presentar la investigación que ha surgido a medida que hemos trabajado en el sistema Nuprl.

Autor: R. L. Constable
Editorial: Createspace Independent Publishing Platform
Publicado: 23/01/2012
Páginas: 310
Tipo de encuadernación: Tapa blanda
Peso: 0.92lbs
Tamaño: 9.02h x 5.98w x 0.65d
ISBN13: 9781468059106
ISBN10: 1468059106
Categorías BISAC:
- Matemáticas | Lógica
- Informática | Ciencias de la Computación

Este título no es retornable