Selecciona tu país

América

Europa

Resto del mundo

portada Mathematical Reasoning with Diagrams: Volume 127 (en Inglés)

Mathematical Reasoning with Diagrams: Volume 127 (en Inglés)

Formato

Libro Físico

Autor

Mateja Jamnik

Editorial

Center for the Study of Language and Informat

Año

2001

Idioma

Inglés

N° páginas

200

Encuadernación

Tapa Blanda

Dimensiones

22.9x15.4x1.2 cm

Peso

0.31 kg.

ISBN

1575863243

ISBN13

9781575863245

Categorías

Lógica matemática

Mathematical Reasoning with Diagrams: Volume 127 (en Inglés)

Mateja Jamnik (Autor) · Center for the Study of Language and Informat · Tapa Blanda

Libro Nuevo Importado

Envío: 21 a 29 días háb.

$ 89.89$ 44.94

-50%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan 15 unidades

$ 44.94

Llega entre el 22 Sep y el 06 Oct a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Mathematical Reasoning with Diagrams: Volume 127 (en Inglés)"

Mathematicians at every level use diagrams to prove theorems. Mathematical Reasoning with Diagrams investigates the possibilities of mechanizing this sort of diagrammatic reasoning in a formal computer proof system, even offering a semi-automatic formal proof system--called Diamond--which allows users to prove arithmetical theorems using diagrams.