Zur Startseite gehen
0,00 €*
Cover: 9780359702237 | Metamath | A Computer Language for Mathematical Proofs | Buch | 2019
Dekorationsartikel gehören nicht zum Leistungsumfang.
Metamath
A Computer Language for Mathematical Proofs
Buch von Norman Megill (u. a.)
Sprache: Englisch

46,20 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Kategorien:
Beschreibung
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.
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.
Details
Erscheinungsjahr: 2019
Genre: Importe, Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Buch
ISBN-13: 9780359702237
ISBN-10: 0359702236
Sprache: Englisch
Einband: Gebunden
Autor: Megill, Norman
Wheeler, David A.
Hersteller: Lulu.com
Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße: 235 x 157 x 18 mm
Von/Mit: Norman Megill (u. a.)
Erscheinungsdatum: 06.06.2019
Gewicht: 0,515 kg
Artikel-ID: 123694083
Details
Erscheinungsjahr: 2019
Genre: Importe, Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Buch
ISBN-13: 9780359702237
ISBN-10: 0359702236
Sprache: Englisch
Einband: Gebunden
Autor: Megill, Norman
Wheeler, David A.
Hersteller: Lulu.com
Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße: 235 x 157 x 18 mm
Von/Mit: Norman Megill (u. a.)
Erscheinungsdatum: 06.06.2019
Gewicht: 0,515 kg
Artikel-ID: 123694083
Sicherheitshinweis

Ähnliche Produkte

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...