Name: Metamath: A Computer Language for Mathematical Proofs (en Inglés)
Price: 59.42 USD
Availability: InStock
Author: Norman Megill; David A Wheeler
ISBN: 9780359702237

portada Metamath: A Computer Language for Mathematical Proofs (en Inglés)

Metamath: A Computer Language for Mathematical Proofs (en Inglés)

Formato

Libro Físico

Editorial

Lulu.Com

Autor

Norman Megill; David A Wheeler

Idioma

Inglés

N° páginas

248

Encuadernación

Tapa Dura

ISBN13

9780359702237

Metamath: A Computer Language for Mathematical Proofs (en Inglés)

Norman Megill; David A Wheeler (Autor) · Lulu.Com · Tapa Dura

Libro Nuevo Importado

Envío: 17 a 24 días háb.

$ 108.04$ 59.42

-45%

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

Libro Nuevo

Quedan más de 100 unidades

$ 59.42

Llega entre el 03 Sep y el 16 Sep a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Metamath: A Computer Language for Mathematical Proofs (en Inglés)"

Metamath is a computer language and an associated computer program for archiving, verifying, and studying mathematical proofs. The Metamath language is simple and robust, with an almost total absence of hard-wired syntax, and we believe that it provides about the simplest possible framework that allows essentially all of mathematics to be expressed with absolute rigor. While simple, it is also powerful; the Metamath Proof Explorer (MPE) database has over 23,000 proven theorems and is one of the top systems in the "Formalizing 100 Theorems" challenge. This book explains the Metamath language and program, with specific emphasis on the fundamentals of the MPE database.