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 Dura

Dimensiones

23.7x15.9x1.7 cm

Peso

0.42 kg.

ISBN

1575863235

ISBN13

9781575863238

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 Dura

Libro Nuevo Importado

Envío: 20 a 28 días háb.

$ 180.14$ 90.07

-50%

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

Libro Nuevo

Quedan 15 unidades

$ 90.07

Llega entre el 21 Sep y el 05 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.