книги Наука, техника, медицина Техника Теоретические основы Теория упругости Теория машин и механизмов

Metamath

Код 3372631

  • ISBN: 978-5-5083-5283-7

Нет в продаже

Аннотация к книге "Metamath"

High Quality Content by WIKIPEDIA articles! Metamath is a language for developing strictly formalized mathematical definitions and proofs accompanied by a proof checker for this language and a growing database of thousands of proved theorems covering conventional results in logic, set theory, number theory, group theory, algebra, analysis, and topology, as well as topics in Hilbert spaces and quantum logic.

Оставить комментарий

Оцените книгу:

ISBN: 978-5-5083-5283-7

Книга находится в категориях

Прикладная социология Основы философии Математика ГОСТы, стандарты

Вместе с этой книгой покупают

Просмотренные товары