¿Qué está mal?

Aviso: Antes de informar sobre un error con la descarga, por favor, prueba el enlace directo: Metamath: A Computer Language for Pure Mathematics

Cargando...

Debes iniciar sesión para hacer esto.

Metamath: A Computer Language for Pure Mathematics

Metamath: A Computer Language for Pure Mathematics

Metamath: A Computer Language for Pure Mathematics

Puntuación: ---- | 0 votos
| Enviando voto
| ¡Votado!
|

Detalles del libro:

pos
Global
pos
Categoría
Año:2014
Editor:Autoedición
Páginas:211 páginas
Idioma:inglés
Desde:21/04/2014
Tamaño:965 KB
Licencia:Pendiente de revisión

Contenido:

Metamath is a computer language and an associated computer program for archiving, verifying, and studying mathematical proofs at a very detailed level. The Metamath language incorporates no mathematics per se but treats all mathematical statements as mere sequences of symbols. You provide Metamath with certain special sequences (axioms) that tell it what rules of inference are allowed. Metamath is not limited to any specific field of mathematics. The Metamath language is simple and robust, with an almost total absence of hard-wired syntax, and I believe that it provides about the simplest possible framework that allows essentially all of mathematics to be expressed with absolute rigor.

Using the Metamath language, you can build formal or mathematical systems that involve inferences from axioms. Although a database is provided that includes a recommended set of axioms for standard mathematics, if you wish you can supply your own symbols, syntax, axioms, rules, and definitions.

(...)

Like most computer languages, the Metamath language uses the standard (ascii) characters on a computer keyboard, so it cannot directly represent many of the special symbols that mathematicians use. A useful feature of the Metamath program is its ability to convert its notation into the LATEX typesetting language. This feature lets you convert the ascii tokens you've defined into standard mathematical symbols, so you end up with symbols and formulas you are familiar with instead of somewhat cryptic ascii representations of them. Metamath is probably conceptually diferent from anything you've seen before and some aspects may take some getting used to. This book will help you decide whether Metamath suits your specific needs.

Categorías:

Etiquetas:

Cargando comentarios...

Escaneando listas...

El libro en números

Posición global

posición en categorías

en catálogo desde

21/04/2014

puntuación

Nothing yet...

votos

Nothing yet...

'LIKES' sociales

Nothing yet...

Visitas

Descargas

Esto puede tardar un momento

Interés

Segmentación por países

Esto puede tardar un momento

Páginas de entrada

Segmentación por sitios web

evolución

Esto puede tardar un momento

Cargando...