Inicio > > Ciencias de la computación > PROOF AND COMPUTATION
PROOF AND COMPUTATION

PROOF AND COMPUTATION

Proof and Computation

MAINZER KLAUS / PETER SCHUSTER & HELMUT S KLAUS MAINZER

127,93 €
IVA incluido
Consulta disponibilidad
Editorial:
World Scientific Publishing Co Pte Ltd
Año de edición:
2018
Materia
Ciencias de la computación
ISBN:
9789813270930

Selecciona una librería:

  • Librería Samer Atenea
  • Kálamo Books
  • Librería Perelló (Valencia)
  • Librería Elías (Asturias)
  • Donde los libros
  • Librería Kolima (Madrid)
  • Librería Proteo (Málaga)
¡Pregúntanos!
Sobre IBD

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.

Artículos relacionados

Otros libros del autor

  • PROOF AND COMPUTATION II
    MAINZER KLAUS / PETER SCHUSTER & HELMUT S KLAUS MAINZER
    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 proof theory, constructive mathematics and type theory, univalent mathematics and point-free approaches to topology, extraction of certified programs from proofs, automated proof...