Mohlo by se vám také líbit

Více informací o knize Mathematical Reasoning with Diagrams

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 213 bodů

Anotace knihy

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.

Parametry knihy

Zařazení knihy Knihy v angličtině Mathematics & science Mathematics Mathematical foundations

• Plný název: Mathematical Reasoning with Diagrams
• Autor: Mateja Jamnik
• Jazyk: Angličtina
• Vazba: Pevná
• Počet stran: 200
• EAN: 9781575863238
• ID: 04821096
• Nakladatelství: University of Chicago Press
• Hmotnost: 412 g
• Rozměry: 236 × 180 × 17 mm
• Datum vydání: 04. February 2002

Oblíbené z jiného soudku

---

---

---