Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology - Surveys and Tutorials in the Applied Mathematical Sciences - Clara Loh - Libros - Springer International Publishing AG - 9783031146480 - 25 de septiembre de 2022
En caso de que portada y título no coincidan, el título será el correcto

Clara Loh
Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology - Surveys and Tutorials in the Applied Mathematical Sciences 1st ed. 2022 edition

Precio
$ 59,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 23 de jun. - 6 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

This primer on mathematics formalisation provides a rapid, hands-on introduction to proof verification in Lean. After a quick introduction to Lean, the basic techniques of human-readable formalisation are introduced, illustrated by simple examples on maps, induction and real numbers.

147 pages, 1 Illustrations, black and white; VI, 147 p. 1 illus.

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 25 de septiembre de 2022
ISBN13 9783031146480
Editores Springer International Publishing AG
Páginas 147
Dimensiones 150 × 220 × 10 mm   ·   301 g
Lengua Alemán  

Mas por Clara Loh

Mostrar todo

Mere med samme udgiver

Ver todo de Clara Loh ( Ej. Paperback Book )