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
50,01€
10% OFF
CARD
YjJadFdFZzBaVmh3VGtWWk4wWnBNWEpGZG5kSlNVMHJNbWRXUTNKVlRWUmpZbkZZUlVkb00wNXpOMnB0VWtJMFpFVm9ibEJDV0hKUlRITk9PVlJKUTJrdmVWWTJkV1ZCT1haRlUwazBOVmhwVUdseFNXUkhOVUZyY0daRGVtVmhSRmRPUm5WeWNFUm5LMHRJYlc5bVdYbFZjMEZRYlVNMVVGWlBZM3BsZEZGRGJYVk9LMjl1ZURGVFFubDFOMmxDY1U5cE1qTjFUWGxaZGprck5saG9kV2cwV0ZSeGMzbzNha1ZVTDBWSFRuWjViazlVUVZjMmFGZHNVa2g0VjJ0YVNXdzBVakZWVUhnclVqTk5Ua3BZUTFWQ01USlBPSGhxYVcxb00zTlNZVzVqUWtzNWVXczFUWGhUUkRoc2RXdDZTbXhYWmt4NllqSmlTakYwV1RoMEszWnZjUzlvUlZsUFRWazRkQ3REZDNwaVNVdDVORUZQYXpSYVlXcDNjemxZWVVOMmRsSmlZbFEwVlhScGNXVjZNMjk2WkVvd05XWlROVll6VkV4cFJWWkJORzVoVUhwV1ZUQjBhMmRXV1ZKQ1Z5OVZSMkZtTDJ4c2QycDVXSGh3VlcwM2RWWkRSQzlQZWxsd1NETjNhRlJJTDJsaWVraHlOVkZrYzIxMmFGcDFRV3hvU0RscFdERkJUVEJVTWtkTVRFTkhjM1JqV0M5RloxSjFUR0ZSYWpsdWRuWndXVFpWTW1vck1IZENNVXQyU200dlRFUmhiRVJoVkUxWWFUUk9TRTlFU2pCek1IUnVOV1Z3ZW1SWVdVbFhkemxRVjJObmFIUXlhRmw1Y1RGUlVWVkxVVXN4UVhsR1RscDVaRmR6Y2k4dlVsRk1ZVkphZEc0eU1FcEtialZWYVhkTGVYWmhjVWxzWkV0c09GSk9RMGRwYlN0NVdrazRhbFV6WnpaaFlXMHJWVzl2Yld4dmQyWmlVRWxTVTBaTVNURnhRbmhzVG0xdGVuVmtOblF2WVVoUGFESTRNbloyZURaaGJIcENjVUZJU0RkMVlqVlNXakl5WVU5Nk1YcDNVSEZLVkZkVU0xVXpjMnB2UkhoMmIyUlNXbEl3YkdGTU9IWmFRa2N2UWpnNWMxRlllV3c1TjBoaVlWWlZNVXd2VmtSUE5XcE9WSFF4VDJoNFVEUjRibWhJWm5GWUwxRTJTVE5aUVRaM1dubEhibEp0VTA1SmVrZzBaWEZUWjJaVFIxQTBOMk12Y205VE4zbGhaMm81VkhKck4ydE9hWFJ3T0ZBMVNrVlliVVV4SzNacWRWZFFORFl3UWtGTVlVazFkazV2ZVV0NVN5OXRTbVpFZUVsV2NGSktUbEZ6UW1KYVJIVTVUM0oxWWpGb2FWZEpaejA5OjlqZm1IaTlVaTdyQmpkTW5aMmt5OUE9PQ==
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.
DETAILS
| 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
-
Concise Introduction To Classical MechanicseBook10%Springer Nature Switzerland53,65€
59,61€ -
Boundary Element Method For Magnetohydrodynamic Flow10%Springer International Publishing AG68,12€
75,69€free shipping
-
Ergodic Theoretic Methods In Group Homology10%Springer Nature Switzerland AG58,12€ 10% CARDfree shipping