Name: Proof and Computation: Digitization in Mathematics, Computer (en Inglés)
SKU: 50960860
Price: 147.75 USD
Availability: InStock
Author: Klaus Mainzer Et Al
ISBN: 9789813270930

portada Proof and Computation: Digitization in Mathematics, Computer (en Inglés)

Proof and Computation: Digitization in Mathematics, Computer (en Inglés)

Formato

Libro Físico

Editorial

World Scientific Publishing Uk

Autor

Klaus Mainzer Et Al

Año

2018

Idioma

Inglés

N° páginas

300

Encuadernación

Tapa Dura

ISBN13

9789813270930

Categorías

Ciencias de la computación

Proof and Computation: Digitization in Mathematics, Computer (en Inglés)

Klaus Mainzer Et Al (Autor) · World Scientific Publishing Uk · Tapa Dura

Libro Nuevo Importado

Envío: 20 a 27 días háb.

$ 268.63$ 147.75

-45%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan 100 unidades

$ 147.75

Llega entre el 13 Oct y el 26 Oct a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Proof and Computation: Digitization in Mathematics, Computer (en Inglés)"

This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisciplinary point of view. Its scope includes Predicative Foundations, Constructive Mathematics and Type Theory, Computation in Higher Types, Extraction of Programs from Proofs, and Algorithmic Aspects in Financial Mathematics. By filling the gap between (under-)graduate level textbooks and advanced research papers, the book gives a scholarly account of recent developments and emerging branches of the aforementioned fields.