Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7 707 857-29-98
  +7(7172) 65-23-70
  10:00-18:00 пн-пт
  shop@logobook.kz
   
    Поиск книг                        
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Бестселлеры | |
 

Metamath: A Computer Language for Mathematical Proofs, Megill Norman, Wheeler David A.


Варианты приобретения
Цена: 49450.00T
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: 269 шт.  
При оформлении заказа до: 2025-07-23
Ориентировочная дата поставки: конец Сентября - начало Октября
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: 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.

Автор: Kenneth A. Megill
Название: Thinking for a Living: The Coming Age of Knowledge Work
ISBN: 3110289687 ISBN-13(EAN): 9783110289688
Издательство: Walter de Gruyter
Цена: 185890.00 T
Наличие на складе: Невозможна поставка.
Описание: This book questions our beliefs in the role of the information profession and tells us how to become information workers of the future by providing advice on overcoming the challenges facing the library profession. It develops the idea of the knowledge culture and knowledge work and goes on to expand how information needs to be shared and not hoarded as in the traditional role of libraries as keepers of knowledge. This second edition provides a clear and very accessible practical framework for knowledge work.

Thinking for a Living

Автор: Megill, Kenneth A.
Название: Thinking for a Living
ISBN: 3110289482 ISBN-13(EAN): 9783110289480
Издательство: Walter de Gruyter
Цена: 148700.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book questions our beliefs in the role of the information profession and tells us how to become information workers of the future by providing advice on overcoming the challenges facing the library profession. It develops the idea of the knowledge culture and knowledge work and goes on to expand how information needs to be shared and not hoarded as in the traditional role of libraries as keepers of knowledge. This second edition provides a clear and very accessible practical framework for knowledge work.


Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2)
ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
Kaspi QR
   В Контакте     В Контакте Мед  Мобильная версия