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
WW5OYVluWnNaRUkyTldweksxZHpSRGRqWlRsMWFEQnhXa3BSU1VrMmJWaElSVnBrVG5oMmJUUktiREp4VjNCTFZXWk1SamxxTjNwNE9HSTBlbGxyZG5sb1QyNVdWazAwVEVwWVUzcFJNbXhQVHl0QlRDc3lRVlV5YWxKMWNsQnVLMVZzTjJneldYSmtWaXM0WjBSSlF5OWhXSGhsWlM5NlQwMXNSV0pyTVZOaFZVSldTMnRLZGtWT1RuRkpTR0l4TDFsNWNFaFVRV2x3ZHpCdGJXMU5jUzlqWTNCTk9XOWpWa1I1TURrd1ZVMDNMM0ZSWnpoT2JXRXhiazFKTm1KdVNsRldTRTkwTjJJNGVtVkJRbmgwTjJreU5tTnlja3Q2YTJsUlZFSmhkRmhCZW5GUGRUYzRWVU5JUWs1S2NIRTNZblF5Wm5GTGNFaDNjV3RWZEdGNk5rZDNNbkpYT1ZVNVJFNXJVMmxIVUhoRFZqZFNRVVZ1VDFCblRrZGFSMnhCUldac04wVlZZVEpJY21oV09ITnljRE5aWmpsS1QzaFBaWEI1Wm01QldXdFBWekpvUzFSRWREbHBhMWR2V1dOM09GQlFZMkZYWmxGcmFHMTVja0ZVVHpCQlNXNUJNVmxCV0ZGV0wzazBOV0pVZWxGd1psTjFXRlJvTkZwSmRscDRORnBCVlhOSlVtaFVOV2ROTWxOc1dsWnViM0UwUkRNeU5UVlpjekpJYkVsU1NrdHVSbVYzWlZwaFJVTkhNWEpTZVdkRFlWcG1WbE5YV2pSSVRIWkJWVWROY0hKeWFGTlhSMjVMUzNabGF6bHZURVoxZW1acGQxaFhNRkE0TWpsVlVtTm5lVVZzV1hoV2VIWnZSRWxwYVhwTk1uVmpjV0Y0YUdOVFZIQnRSM2x0WW1wT1ZXSTBNMnBUYVM4M1VFcGpRVVU1YXpWd1NXUk1TV1ZrWlN0SVpTOXBjR1ZNWlRKbVlUWmxZbXhZWkdJMU9ESnlURGR5YzFZNVEyRkpUWE5vTHpSWGIwOVdVM0FyZDJNMmVDdGxjMXBtVTJzd1kxWjVWRGt3T0VsNU5XWmtlVEIxV21oUVJXcGFUbFZEUkZOWVZWVnVaVE00YlhwVk5pOWxLMm8yV0dSVk1YUm1hVFphV205MlNGUXJVMVp3YzJOdVMyTlhkMU5QTUZCUGJucGhjM0ZLZW14YVIyZHFPVTh5VkVKNVpYQkJSRnB0TW1sMU1FaEpWMWhrYkVvMlVsTXlORGgwVUN0Q1JYcEZObFUzY0d3NFprWkhOMWROZFZCRU5sUnNTV2s0ZUhCWE1HdFpSeXRIT1ZwUVQwTm9aRUpQYXpWdmNERlRlRGhSWnpsRGNWRmtZVTR3WTBJclMzazNTSFJCUW1SRE5IRlpaejA5OjN5aGhTYnVjZzBuM2xKT1hTbjRVSEE9PQ==
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