Mathematical Reasoning with Diagrams (Bog, Hardback, Engelsk) af Mateja Jamnik
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematikkens fundament
  5. Mathematical Reasoning with Diagrams

Mathematical Reasoning with Diagrams

(Bog, Hardback, Engelsk)
Forfatter: Mateja Jamnik
Mathematical Reasoning with Diagrams
Forlag: Centre for the Study of Language & Information

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Matematikkens fundament
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

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 formal proof system which allows users to prove theorems using diagrams.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Centre for the Study of Language & Information
Forfatter Mateja Jamnik
Type Bog
Format Hardback
Sprog Engelsk
Udgivelsesdato 01-11-2001
Første udgivelsesår 2001
Serie Lecture Notes
Originalsprog United States
Sideantal 200
Indbinding Hardback
Forlag Centre for the Study of Language & Information
Sideoplysninger 200 pages
Mål 23 x 15 x 2
ISBN-13 / EAN-13 9781575863238