adicionar à lista de desejos
Exploring Formalisation
A Primer In Human-Readable Mathematics In Lean 3 With Examples From Simplicial Topology
idioma: inglês
Editor:
Springer International Publishing AG, setembro de 2022 ‧
ver detalhes do produto
50,01€
10% DESCONTO
CARTÃO
T1RkTlFraDNNbGMyTWl0T1VXdFpTRmhaVEV4QmVsVjVUR2R1TkdGSFlrbEplbVJCV1VVeE4xaFphREJPV2toNk5FNU9RVVJNZWxaVFlVaDJOSEJETVdaTVdtczFTVkUyUjNkdVkxUm5lSEZ0Y2pObVl6aHlNR0U1VG5oNE5IRkxTakF4UjFkM1RGVk5jVFp5VFM5RE9FTnpaM1pUUkhOYVFXbENTekZ4WlU0cllXdG5kRE5tT1ZCMGEyZEViVTFEWTNsU2FuTk1WWFUzZW1kak5FRmhZbkpsVW1sQ1VVeFZVWGh5YlNzek5VMU1abmd4YkdwelVHOXpaa1p2U2xCaFp6RXdXWFZxU1RGQmVHSXlOSEIwUzBOalpXeE9TVUZyZHpGbFpYQkdjakZKUjB4VlRVOXdXbmhFVDNWelVtZHRiWEZxVEdzNWJHWjNLMmRvTkV0RUwwZEJaRXBOY201UmJERlRlVFJEWWpnMU1ERjJjSFZyYzFGbE4xUmpNVE50SzIxNWJHc3JLMGN3TldKNmQyTnZiekpyWjBzNFNVVTFhVlZHTkhCcksyOHZlbFZSZUZScE5EbEhXVUpXVFhGR2JHUTVTbk4zZDBwU00zSm9UU3RxTm1RMVJUQjRTSEJZYWpCd2RERkpWbWxIZVhkaFRuaFdOMmwzUzJGM1pqSkhaMnBpTjJOT1dsZHRRMjhyVXpkc2NUa3dRMnd4ZFU5dE5IVXZiR2RLUlhSdU1FZFRhWEp2Ym01cWVuaFBRVWRHU2t4blRGaDFhRUZOTjBwaWJ6ZFhWSFpTVW1kQ1RqY3ZTMEp4TjFKalozcDBjRlJzVFRKQlZtaEpiVkpNYTJGTFNFSlRWVmRTVjFkWGNHNU5TR2w0YkZZNGFFaHZVVlJvV0UxUVF6WlRlVEZST1RsRVFVRnBSekp1Wm5reGJuaFpkaXRaVVU0MWJuQldhRWgwVUdkQ1VrOW9RM1p3TWtKMU1rUXpiRzFhZG5jNFVVWnJPSFkzUjFkWVVIWnNTU3N3T1ZKdFIzbGpkREI0TmpKbllUQk1XalprY2pKNVRrRTJOVVF2UmtSVWNHOXViWG80WTJaa016TTJNV2ROYkUxMFZHUmxZVVJzT1UxVU0wbGFTakZrY0djMlUzSlhNQ3RsTlc1bWQwRkpNM0JhZVhGc1NXaDFSMnN5VVVWcmIxRTFVMlJxUmtWMmJEQXZaM2xDU3k4cmFITktNa3BWWVVaUmNrRm1TVEIwVlVsT2VVNUhhRWxLU0hSNVJWSXdhVEpWYlhFd1ZFSlRja0ZCUWpBNFFucHZjMWRCTkhNdldYaFdWMEUyUTBSaVlWaFdOaTlyUkZCT2REVnZlbVpqTm5CSVJGVmxjMXBUZWxKMlJWWkhTMUptU3paWk9XVnpUbVZtY0U1b05qWkZWSFJQYkVzekswOXZUVzlOVld4S2JqRkxaaTh5ZFhWTVpWQkJhWFU0Tld0V2JnPT06dDY4eVJlc3hzSXZsMEVxQzZFNDQzdz09
portes grátis
Venda o seu livro
SINOPSE
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.
DETALHES
| 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
-
Concise Introduction To Classical MechanicseBook10%Springer Nature Switzerland53,65€
59,61€ -
Boundary Element Method For Magnetohydrodynamic Flow10%Springer International Publishing AG68,12€
75,69€portes grátis
-
Ergodic Theoretic Methods In Group Homology10%Springer Nature Switzerland AG58,12€ 10% CARTÃOportes grátis