Metamath: A Computer Language for Mathematical Proofs 9780359702237

Варианты приобретения

Цена: 7418.00р.
Кол-во:
Наличие: Поставка под заказ. Есть в наличии на складе поставщика.
Склад Америка: Есть
При оформлении заказа до: 2025-09-28
Ориентировочная дата поставки: конец Ноября -начало Декабря
При условии наличия книги у поставщика.

Добавить в корзину

в Мои желания

Автор: Megill Norman, Wheeler David A.
Название: Metamath: A Computer Language for Mathematical Proofs
ISBN: 9780359702237
Издательство: Lulu.com
Классификация:

Информационные технологии: общие вопросы

ISBN-10: 0359702236
Обложка/Формат: Hardcover
Страницы: 248
Вес: 0.54 кг.
Дата издания: 06.06.2019
Язык: English
Размер: 229 x 152 x 18
Читательская аудитория: General (us: trade)
Рейтинг:
Поставляется из: США
Описание: 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: A Computer Language for Mathematical Proofs, Megill Norman, Wheeler David A.