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
67,58€
10% DESCONTO
CARTÃO
Um5WaE5GaFZUV2RCTlhabVNWZFBaVk01TTJKdWRXb3ZTM2Q2YVRaSUx6TjBZWEE0V0U1a2QzWXlkWE56U0ZWWFUyVjJaMHhpVVdkUFpVNXRZMFZ4VkROa2NYRXhNSEo1ZVdjeFdTOWlOMHhDTWpWemJFVnhiVWx6VTB4a2VHbDZlRE41UlROaE1WZHlOVUZOY25aMVRHdzNkblV3Tmt0SVQxQjFaQ3R0ZW1ST2JIQXlNSGxIVXpWdmJWWmxaVlp3TlZkVVVVVk9TRmRHY1dWelFUVldRMDlTTldkYU9FZEpkakZ1ZUU1M2VFTk5MMnhLZWs5TWFFWnBRbkpKUXpOeFFYUkJVR3hoYUhWTFFURkdOVXBEVEhSSGJGWm5kak5OWlZFNE9XUkVabEpVVTJOVmFVNHZPVTF1VTJJeUsxTjFaVW8yYjNoSGFUUnRXbWcxWlZwRFVXaDJkVzV5VlhFemFYTjRjWFpSZEZndldsUXZjVEZVWWs1T1ltOXlabWR4VUU5bllrbFpiblpVWml0NlFscGpVa3BuY1hwbFIxWkNPVEpTUzJsUFpUSk9iRFF5T0RsRVNUUTVhekp4WW1wRU9WWTNia2szZDI1SVZFSTRlWFZrWWtOclMzUTVTbEpMTkhGcE1XRXZTMjlrTlZCd1JEZzVSRkpPTkRSR1MzTkxZMEZ0UXpKUkx6VXpiRVJJWmtkU1NqSXJiakZDY0ZwcmMxSmxXRTVqVmxwemQyaHJka1JIVlZWdFRIWkNlV3BzYmk5SVMwVTBhVGhpYkZOalVIWndlRmRvUlN0dWVUVnlhbUp0WlU0NVVXZERaWFpLYUhKRGF6Qk1TWE51ZUU1RFdFcEJORkJYYm01MVdTOUVWR3hHUVdSdVpqWnBSSE5oU2s0MVFXVlJTVzFrUTB4aVZtVTFXSGN4V1ZnclRsRXZMMU5oV1hWWk0wbFVTSEpySzJ0Uk5FSlRMMmgyV2tKTllrdE1jek0xZVV4RU0zTlZWRVJZUkVWS01XeFVXREJEYW5kcVdGUXpWelZuVERaemRrTnZUbFJSYVVwUWNGWkhhRzFuY1ZOc05WcHVSMkpyWkV0UmQweGhTM1Z1ZDNWQmREbFhWMFJ5VEZWdGMzcEpZMWxLVkZwSFQybFhUa05zWWpoSU5GRkpZbXBqUnl0M1ExYzNXRlFyUmt0NlRXTlhhV2RISzBOTUwxa3hZa05oTURJNFRuazVaMHBrV0RCWk1sTkJORnB4T0hWUkt6VlNZVll6Vm14TWNXNUtURXM1V1hVek16RmlZWE5oUlhFeFYxZFNNemhtUlZsMWExcHVSalZZWkhodU1VTjJOMWxSVTNKVVZHUmpTR0ZSWXpGa1JEVklLMFZ5YTBWVmVtRTRTR3BCWTNoR2IzcDVOa1EyZEU1MVVIVkRaRXB4TVd0cmMwUkRNa0l4WVdwcWRsUmxVa2xzWTJwaFMyUjVjbkpEVkM5MGVnPT06by9jUE5wYVg5NXU3c1RPRkloVGZidz09
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
-
eBook10%Concise Introduction To Classical MechanicsSpringer Nature Switzerland53,65€
59,61€ -
10%Boundary Element Method For Magnetohydrodynamic FlowSpringer International Publishing AG91,24€
101,38€portes grátis
-
10%Ergodic Theoretic Methods In Group HomologySpringer Nature Switzerland AG74,34€ 10% CARTÃOportes grátis