Matemática

Theorem Proving With The Real Numbers

de John Harrison 

eBook
Bertrand.pt - Theorem Proving With The Real Numbers
idioma: Inglês
Editor: SPRINGER LONDON
Edição: dezembro de 2012
10%
118,59€
Poupe 11,86€ (10%) Cartão Leitor Bertrand
Disponibilidade Imediata
EBOOK PARA ADOBE DIGITAL EDITIONS (ADE)

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.

Da mesma coleção

ver +
Games And Full Abstraction For A Functional Metalanguage With Recursive Types
20%
portes grátis
20% Cartão Leitor Bertrand
97,34€
Poupe 19,47€
SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG
Inheritance Relationships For Disciplined Software Construction
20%
portes grátis
20% Cartão Leitor Bertrand
97,34€
Poupe 19,47€
SPRINGER LONDON LTD
Theorem Proving With The Real Numbers
de John Harrison 
ISBN:
9781447115915
Ano de edição:
12-2012
Editor:
SPRINGER LONDON
Idioma:
Inglês
Tipo de Produto:
eBook
Coleção:
Distinguished Dissertations
Formato:
PDF para ADE i
Classificação Temática:
eBooks  >  eBooks em Inglês  >  Ciências Exatas e Naturais  >  Matemática

EAN:
9781447115915
Regions In Evolution
20%
portes grátis
20% Cartão Leitor Bertrand
209,54€
Poupe 41,91€
TAYLOR & FRANCIS LTD
Forgotten Footprints
20%
portes grátis
20% Cartão Leitor Bertrand
27,04€
Poupe 5,41€
Parthian Books
X
O QUE É O CHECKOUT EXPRESSO?

O ‘Checkout Expresso’ utiliza os seus dados habituais (morada e/ou forma de envio, meio de pagamento e dados de faturação) para que a sua compra seja muito mais rápida. Assim, não tem de os indicar de cada vez que fizer uma compra. Em qualquer altura, pode atualizar estes dados na sua ‘Área de Cliente’.

Para que lhe sobre mais tempo para as suas leituras.