Matemática

Exploring Formalisation

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

de Clara Loh 

Bertrand.pt - Exploring Formalisation
idioma: Inglês
Editor: Springer International Publishing AG
Edição: setembro de 2022
Portes
Grátis
20%
50,01€
Poupe 10,00€ (20%) Cartão Leitor Bertrand
RESERVAR NA LIVRARIA Livrarias

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.

Da mesma coleção

ver +
Concise Introduction To Classical Mechanics
10%
59,61€ 53,65€
Springer Nature Switzerland
eBook
Boundary Element Method For Magnetohydrodynamic Flow
20%
portes grátis
20% Cartão Leitor Bertrand
75,69€
Poupe 15,14€
Springer International Publishing AG
Exploring Formalisation
A Primer In Human-Readable Mathematics In Lean 3 With Examples From Simplicial Topology
de Clara Loh 
ISBN:
9783031146480
Ano de edição:
09-2022
Editor:
Springer International Publishing AG
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  >  Livros em Inglês  >  Ciências Exatas e Naturais  >  Matemática

Livros  >  Livros em Inglês  >  Outros

EAN:
9783031146480
Ergodic Theoretic Methods In Group Homology
20%
portes grátis
20% Cartão Leitor Bertrand
58,12€
Poupe 11,62€
Springer Nature Switzerland AG
X
O QUE É O CHECKOUT EXPRESSO?

O ‘Checkout Expresso’ utiliza os seus dados habituais (morada e/ou forma de envio, meio de pagamento e dados de faturação) para que a sua compra seja muito mais rápida. Assim, não tem de os indicar de cada vez que fizer uma compra. Em qualquer altura, pode atualizar estes dados na sua ‘Área de Cliente’.

Para que lhe sobre mais tempo para as suas leituras.