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
10%
67,58€
Poupe 6,76€ (10%) 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.

Coleções

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
10% cartão
portes grátis
Ergodic Theoretic Methods In Group Homology
74,34€

poupe 7,43€

Ergodic Theoretic Methods In Group Homology

de Clara Loh 

(0)
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.