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
TkRaek5saHFPVU0xUW5rM1pIaEVaSFpMTkhoVlJFMUdUV1JDVUUxWVYwUlZVMlJvZG5Ca01TdFhXR05vTWt4RVkyeHNRazFhUjB3MlF6TlRjMjVhTUhRMFEwbG9Ua1ZRVm1ObGMxaHVUa2Q1TUVOcVZITm1kV0pDYkVwQ1VUWmhUakYyTlZkNVpXWTBTRmRZTmxjemFXOVlMMU5SVkc1T1dVWnlhakZOY0VwTWQzTlBWRE5TVVdnMWJVOXZUVzUwVFZGNFdYaE1jRVoxYUVWMmFuSnJaekJzWlVvM1NrbHpLMmhQUzJVMVQxRnBlUzlMVmpaS1l6TjVkSFZCUmt4elVqQjFVbVo0TUZkeGNHY3JVREJvWVROR1IzSk5lSGNyWkhoYVQyOUdTako2T1c1dFNXNVBWSE5QU0RaU1dVTTRhMWt4VTJsU1lVMWtTekk0Y0ZWVlJFdFJkWEExTlUxdE5qUlRVbUZHVFRaVlVpdHdUa0ZMVmxwTGVFaGFhbE12Um1SMWVFNVNSSGxUV1ZKWlkyVm1TVEZJUVd0b1dqWjVOelJyVTJ4SWFFY3JZbXA0UldOdFpGbEJOek5sUmpoTU1XZE9WRWRYVFdodWNsSTNUM3AyY0U1eVJUTTVOVnBxVjBGVldtSlVjbVJVYWtsUWFYZG1TbEpuY1Zsd05WWklWRE5HWTA5UFJVRXZVa1JYTms1R2JUQnVNaXRwUWpKcWFFdHJiV2RwYTBOblFqaEpWa2xoVEd4RVdIcENOM0JIUWxaVFEzTTFRamRYVlZVMFFXZHRWV2h0UkN0dFNXY3hhV3g0ZVhjd09ESlhhVEJuT0VKeVNrVTRhRkUwVlRCUFdHNUNabE5OV0hwTWVFTTJSeTlQYmxOQk1tRkZRM1pwYUZkUFZtaGFSbWh3UjNoTVFXNXlXV0ZMTW5GWVNIQnZlWEl4YkhCc1lrOU5XVmhLV0d4cFdFMUtVVVJ4VjFZcmMyNUJlRVkyZURWNVVFRjRkMU55WlRrdlVHVllZbmQyWjNseFRUZFBUMHg1YVhwa0syRk9VbVIxYUZkc1oyZDFTSE53ZEVkSFZuazNVekpQTDJaQmNYSTFTV0owUzJNNFpWZElRVWhIYldsTGVsb3ZhbHBqY0hab1luYzFjMDltUzFGUlJrazRXRUpMYlhWcFEzWXlUWEZDVHpSck9FeHhURE51T0RoUFFrbDFiV1pEVDFGTFRtSmpjMVpuUVVSUlpXOTRXSEJ6WmxGcGRFZDZTVXhIVmxkeFQwVktWVmRIUmpWRGN6VkxUelJMZFdWVlVsSjJTMmxWWmxwNFUyMVFZMVk0UFE9PTpCTW13V0d4MmtFOHFmeXV6Ym5GRit3PT0=
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 |
| 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
-
10%Games And Full Abstraction For A Functional Metalanguage With Recursive TypesSPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG97,34€ 10% CARTÃOportes grátis
-
10%Inheritance Relationships For Disciplined Software ConstructionSPRINGER LONDON LTD97,34€ 10% CARTÃOportes grátis
-
10%Regions In EvolutionTAYLOR & FRANCIS LTD209,26€
232,51€portes grátis -
10%Forgotten FootprintsParthian Books27,04€ 10% CARTÃOportes grátis