adicionar à lista de desejos
Theorem Proving With The Real Numbers eBook
idioma: inglês
Editor:
SPRINGER LONDON, dezembro de 2012 ‧
ver detalhes do produto
118,59€
10% DESCONTO
CARTÃO
V2xaQlVsYzFNbUZYUjJSNWNFWTBjV1F4TlRGSEwyUnRRVzFGVEc5WGNtMUVPWEl3VTNFd2FIWnZXazlqYVZRelVuVTNRVWx0WTNGVWFtTXlUMmRMYm1adVdEbFlWMlJXYmpsS2RHdFllbTlYVVdoYWJrRndZV3BHY3psSVMxcFVhMnhSVG10emFVdHNLMGhYYjJ0MlFVTTJSREk1TmtRd2IzaG1aRGgyVEdwaGVIRlhhbFJOZW5KdWNraEJUamsxWTNabFQxTlZORmhLVlV0MFdFeGFXR2wwWm5WYWNERlVhbEE0VkdkU1RESnZkVUZ5YjBSNVdqUnBURnA1VDI1NU9XUXJVVzFQU0dWaGEyOVpNVmRCYVU1REt5dHFVbmxwZWxoWFExVmxPV2RRZDNKSFRtUmlRbUpEUVRocmVpczBjVkI0U0hCdk5tTmlhVXhHUm5obmFVNXFaRVYxUlhKVFZ6WjJOVFZSVTFBM2REQm9hemhxUVZkdmFXcFNLM1ExYms0MFZEbDJNSGxJWkZJcldESkRhM1phTW01WlMwcE5jazlFZUZCbWRVUkZaSEJqYkRST1FqRkdOV1ZQYlhGTmNYQjJZMUZ2UWxocmRIUmxSVmhXTlhSQ01sbHdkbEZWVld4dFRXZFlNVmhyUmxsNVdXaEpaVEI1YW5saVFVaHdSbFJ4UzBKeVoxa3dXRlpVTTA1WlpHUmpjWGhSVlUxSU1WSXpUa1kxZVZFM1JXbzFjakpJV205WmNGSlBNMFpUUVRCSVFXMTNablZwVm0xRVkwUlVWVzFPVTBNcldWVnpNMHQ0YUN0SlJURlZTMjV6V1c1cVJUUjRUMlFyUm5wclppc3ZSMjl2VjJwQlFVcFRhMHQxUTBkaFVqaDJVMW93WldkelJFTTVORlZKTldsV2FFTkRXazF3TkZoYU5GcDJTMDluV1V0M1UwSkxVSGcwWTFCa2MxWkhkV05DTjJVdlNIWkdiMmh1YVcxTU9IWnJXVU50TlVaUk16bHpNbFpqUWxGNU1XRkpSaTlpTWtSbVRubDZWMmRVYzJsS2NXeFVNQ3RCVWxScGQzQmpRMnhFYnpKYU1EVXJkalkwVDBSVVJtSnpVbXBoWldNeE1tOXpRWHByT1hONmRYTjVWREphVXpnd2NtUlROVmg2YTBGd1NXVjVTME5PTkVFeVNGSjZNV05yVFd0bFVHdHBSaXN3YjBKaVpWUTFLMmhJWlhWU01UaHpla2RPYTJ4Vk1tTlRVVkZvZEZWRWJuazJkV3d3VWxCdGRtdHBTVGRhV1hCVlUwSTRaR1ZvTjBJeE4wY3pNblJ2UFE9PTpsN05qV1FKT1ViU2JUNWdxU0c3R2NRPT0=
DISPONIBILIDADE IMEDIATA
Ebook para ADE
SINOPSE
This book discusses the use of the real numbers in theorem proving. We de- scribe the rigorous definitional construction of the real numbers, using a new version of Cantor's method, and the formalization of a significant portion of real analysis.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9781447115915 |
| Editor: | SPRINGER LONDON |
| Data de Lançamento: | dezembro de 2012 |
| Idioma: | Inglês |
| Tipo de produto: | eBook |
| Formato e Compatibilidade: | PDF para ADE |
| Coleção: | Distinguished Dissertations |
| Classificação Temática: |
eBooks em Inglês
>
Ciências Exatas e Naturais
>
Matemática
|
| EAN: | 9781447115915 |
LIVROS DA MESMA COLEÇÃO
-
Games And Full Abstraction For A Functional Metalanguage With Recursive Types10%SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG97,34€ 10% CARTÃOportes grátis
-
Inheritance Relationships For Disciplined Software Construction10%SPRINGER LONDON LTD97,34€ 10% CARTÃOportes grátis
-
Regions In Evolution10%TAYLOR & FRANCIS LTD188,59€
209,54€portes grátis -
Forgotten Footprints10%Parthian Books27,04€ 10% CARTÃOportes grátis