10% de desconto

Exploring Formalisation

A Primer In Human-Readable Mathematics In Lean 3 With Examples From Simplicial Topology

de Clara Loh
idioma: inglês
Editor: Springer International Publishing AG, setembro de 2022 ‧
50,01€
10% DESCONTO CARTÃO
portes grátis
Venda o seu livro
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.

Exploring Formalisation

A Primer In Human-Readable Mathematics In Lean 3 With Examples From Simplicial Topology

de Clara Loh

Propriedade Descrição
ISBN: 9783031146480
Editor: Springer International Publishing AG
Data de Lançamento: setembro de 2022
Idioma: Inglês
Dimensões: 155 x 235 x 20 mm
Encadernação: Capa mole
Páginas: 147
Tipo de produto: Livro
Coleção: Surveys And Tutorials In The Applied Mathematical Sciences
Classificação Temática: Livros em Inglês > Ciências Exatas e Naturais > Matemática
Livros em Inglês > Outros
EAN: 9783031146480

LIVROS DA MESMA COLEÇÃO