adicionar à lista de desejos
Exploring Formalisation
A Primer In Human-Readable Mathematics In Lean 3 With Examples From Simplicial Topology
language: english
Publisher:
Springer International Publishing AG, September of 2022 ‧
see product details
67,58€
10% OFF
CARD
VnpaTmEzY3pXSG8zUmtkcVZVbFNOMlpaVVZWcFYwRkpOMkpxUWtSeE5UZzNWRmR5WjFaSVVIbDBVM2RyVGpkRU1EWXdNVTFIVVROMVlWbGlabFIzYVRsMFNWaENRbmxpY1VKNWQwYzViVmRxTkZSMUswdGlPQ3RVUzFKcFdHNUpibFJwWVhrcmFFRjBXRXB0ZEVZMVZETkJhWFExT1hrMVIzTlVVazF2VVhOUFdWazRkUzlFSzFONU1qTm5UbFZVVERCaFEweHpTbWRVY1djNE1uQkVRVGt4UzBKWGNrMWlSMkpqVFZWd2QzWndSVWhvWW5aak9WVkNZVXBGUVV4cWNHMUpUR3gzYjFwM2VFdFRaRWQxVEdWeGFqQm5kVzFCZFRSYU1qWlVTak5qVTJWTGVqaFJUa2hOWTJJclZsVmpLMFpZU2xKWmFtcEpjMXB6ZEc5NFkyTndUR3BWYVhWcmRuRnlZVUUzYzA1a2VsTkpVR2xZTDNsTVkwNXhkSEIwYkdGS1JWQlBMemN2YkhoU1NrbENOVm95UkVVMWJEUXJOSHBQVUhkUk1UbEtNMVl2VmxkUWIxVjFWQ3RpWldOelJIbENVelYzUlZsbVZIQjZiVlJ1TkRaMFYwWjFiRXhSU2xad1VrUkhSV05rU1dSTFdVcEJUelJSVVZwQmNYQTJhMmxFUVhsMmRXVmlTMFphYm1od2QydHpSVlkwUjBSNGVWcG9PVXRJY0dzNFZWSmtRbGR0UXpWNVdYbHlSa0pTUkhJdk1qZHFaRzVVY20xQldtaDNXVE5TTWk4dlMyOHJlVEJwUzBGVEwyNUhRM2hsVWxwTE9GZEtOME5QZUM4MlJuaEtOVnByUW5nd1YyUnljbFl4VEc5aU5IRktXRmx0TWs5SmR6VjBOSEJQY21aWUsydHlVM2c0UlVsR1ZGcEdVM0ZVZEVWVFFYcG9WV2QzYWxoR1ZGQlViR0p0TUhsRFoxVnpSR3BYUW5SSWFrZG1OMGcwVFN0Q1VsWmFUMU5oYkc5c1ZYUmxjVmt3YVRkTVdtVmhPSEIwUzFCSFlrcHNlaXR2ZUhaeWVtTjZTVWN6TVhCMGRIQk5iR2xFTm1GYVpUa3ZjekptZWpOS2QzcE5aM2RYZFdaeE5taGpXV3hOWmpKaVExWllValk1Um1SQk1UQnRSM0I1YkhaeWJEZHNhVE5NT0hGdmEzRlhTelJXU1d0U1RtcFlTV2hpYjBKVVpXcGhZbXRCZVV4TGVuVXJSVmRFWldGQ0sxVlVkVEphYm1jNFpFRnVVbTlqY21waWRuUkhVMHRIUTFGQmVIVTBZV2hLWVd0WGVFcDBTMFE0Uld4c1dtVjVRbmxZTUZwb2NXSk5WVmN2VDFoWmRDODNTRzVUSzFaeVJsTXdVVDA5OmZNR2NKRHlGQ3lxVzZwTVFoN2F3U0E9PQ==
free shipping
Sell your book
SYNOPSIS
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.
DETeBook com proteção para wookreaderILS
| Property | Description |
|---|---|
| ISBN: | 9783031146480 |
| Publisher: | Springer International Publishing AG |
| Release Date: | September of 2022 |
| Language: | English |
| Dimensions: | 155 x 235 x 20 mm |
| Cover: | Softcover |
| Pages: | 147 |
| Format: | Book |
| Collection: | Surveys And Tutorials In The Applied Mathematical Sciences |
| Categories: |
Books in English
>
Science
>
Mathematics
Books in English > Others |
| EAN: | 9783031146480 |
BOOKS FROM THE SAME COLLECTION
-
eBook10%Concise Introduction To Classical MechanicsSpringer Nature Switzerland53,65€
59,61€ -
10%Boundary Element Method For Magnetohydrodynamic FlowSpringer International Publishing AG91,24€
101,38€free shipping
-
10%Ergodic Theoretic Methods In Group HomologySpringer Nature Switzerland AG74,34€ 10% CARDfree shipping