Carte Mathematical Reasoning with Diagrams Mateja Jamnik

Mathematical Reasoning with Diagrams

From Intuition to Automation

Autor: Mateja Jamnik
Limbă: engleză
Legare: Carte broșată
Disponibilitate: În depozitul extern în cantități mici
Expediem în 13-18 zile
164.06 lei
Mathematicians at every level use diagrams to prove theorems. This book investigates the possibiliti...

Informații despre carte

Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2002
Pagini
210
EAN
9781575863245
ISBN
9781575863245
Enbook ID
06352717
Greutate
306
Dimensiuni
152 x 229 x 12

Descriere completă

Mathematicians at every level use diagrams to prove theorems. This book investigates the possibilities of mechanizing this sort of reasoning in a formal computer-proof system, and offers a semi-automatic proof system which allows users to prove theorems using diagrams.

S-ar putea să te intereseze

Computational Autism

BORIS GALITSKY
551.35 lei
98.45 lei
96.94 lei
58.34 lei
69.63 lei
41.31 lei

Math Renaissance

RACHEL STEINIG
148.34 lei

Child Sex Trafficking

MC Griffin Campbell
64.59 lei

All's Well That Ends Well

William Shakespeare
55.22 lei
193.68 lei

Health Communism

Artie Vierkant
104.90 lei

Curious Herbal

Janet Stiles Tyson
303.23 lei

Clienții care au cumpărat această carte au mai cumpărat și

35.46 lei

Gesundheitsforschung

Winand Gellner
242.56 lei

Estudios sobre Kafka

Ernesto Feria Jaldón
84.34 lei
215.96 lei
253.04 lei
61.46 lei

Роман о Виолетте

Александр Дюма
80.21 lei
499.24 lei