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
VUc1amNEUnNkemR0Wmsxbk9FazRhM1ZYWldFd1lUaHJkRkpEUkRBclpHRjNTeXN5WkZOTlFWUXllVTk2YUhwdVFVMVhSR3hCUlZOaWRUTmlia1pDZDFrMFpDOVdZekJRUWxGaE9ITkpaV2gzTTBwNGMwaFRSVzR6UVdkaU55OTVTa0ZLVlZoSGFUUXZVazV5VFhFNGVVNW5aV052T0RCYWFIQlpTM05JUW5CRGIzUnZTMEY2Y1VOVWFGVTFOVWhDY0dscGJ5c3piRlJQVmxVeGVtVnZTWGhYT0djMVJUbEZkVXh6UmxZMFUwdzRTamwxUTFWaVYxTk5NMklyVUhOYVVVUjVlVmhaY2tkd01sbEZieXR5ZGxWTU1UaHJNREJKYTNObmVqTXpZM0pJYkVreFJFWnhTMmxDWlhwbFZtODJiR000VkROdU0xbDZWVGhOU0dSTEwweEhTMVJxU0RKTFVHdDVaVUUyZDFWc1YzVlZUV3hwVDNKc2JYRndkaTlhYWxkWWR6WlFSM1JQVEdkNFZ5dFhOSFJzYW1GVlUyRTBjVmhsZVhoM1IwOWlkVFlyYVhCSGJtOVhaemcyYkZaeWVDOXRSR3h6Vm10R2NGRlBNaXRDUmxZM1ZqQXZPRlpGY1U1SVlVWnZXVVJPVG1Kd1pHSXZWa1pFUjFSalQxZHNMMVV6TUVrclRGZE1ZMmhrTTFsdGNYWlZZVnBLY2paTlYyMXBlVWMwU2tWQ2VHODBOMWRSZERsQ05HUlRiMHhDWTBjNWMwVkhjRWxTTkc5d2FHTkpSMlppTldac1RWZzBNa3c1TDFJNFVFUjBlamN2ZW5oTVYwdGljRkpNT0ZST2J6ZERTRmhMVVZCWVFqRnFTMHB1TmpSMWVpOXlaMEp6Y3paWlVVSTBiVnBRV1RWS09FYzJVVVk1WVRGb1IwSjVVVEpoWVRnMmJ6UkNUR3RETldWdmNrMW1SRkZZVW1kaWEwUlNiREJpUkRRNU5VNXNORlJRWldKR2NEaFRORlJ2TjJaTFRUSnBVbU5VZDJ0T1EweDFaalZQTldSa2RUaHJSR0ZyYWpCc1RXSjZTakZ3SzNWemJUWm1hbFY0Y2toTlN6WndUeTh5VFN0T1p6WjRhWGxDTTJOeFRXZDVXVGM1TlZodlUxWlFaemx5TldOUGJtSkphVGRsYUhJMmFEZzRNV3REVkRGa1dHOVhiREF6TnpKSlJVdE9NbWg1Tm14WE9FaFRjR1F6Y0hGTmFUSjNRV1J5V0dSTmQzUnBibkZaZEVsRmNEbHZXbGd4VTJkM1MyNUlPWEJXTVVsbWQxbFFTR0ZPVFd4T0swcFlWVFF4VlUxU01ESnFVSE5QWlVSblRsRnJVbWhuTVhwcE0xSm5VR2RJVlV4cVdWSlpURWRWTm1KQmJHUlRkM2hzTVdZd05URXlObGwyZVhGaldESXplVmxUVUhaTlJYVmpTRElyUjBGeVV3PT06TmZ1bXVrWW9UQXhLWWRsTFlwTWNkUT09
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