Cantitate/Preț
Produs

Metamath

Autor Norman Megill, David A. Wheeler
en Limba Engleză Hardback – 6 iun 2019
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.
Citește tot Restrânge

Preț: 20650 lei

Preț vechi: 25813 lei
-20% Nou

Puncte Express: 310

Preț estimativ în valută:
3952 4108$ 3274£

Carte tipărită la comandă

Livrare economică 05-19 februarie 25

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9780359702237
ISBN-10: 0359702236
Pagini: 248
Dimensiuni: 157 x 235 x 18 mm
Greutate: 0.52 kg
Editura: Lulu.Com