On the Shape of Mathematical Arguments

Beschreibung

This book deals with the presentation and systematic design of mathematical proofs, including correctness proofs of algorithms. A technical rather than psychological view of heuristics and a stress on exploiting for- malism effectively are two key features.

Autor*in

Antonetta J.M. van Gasteren

Themen in »On the Shape of Mathematical Arguments«

Algorithmenentwurf Lösen von Aufgaben algorithm algorithm design algorithms formalization mathematical methodology mathematische Methodik problem solving proof theory

Stimmen zu »On the Shape of Mathematical Arguments«

Details

Link teilen