Produktbild: On the Shape of Mathematical Arguments

On the Shape of Mathematical Arguments

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 €

inkl. 7 % MwSt. zzgl. Versandkosten

Lecture Notes in Computer Science 445

ISBN: 3540528490
ISBN 13: 9783540528494
Autor: Gasteren, Antonetta J M van
Verlag: Springer Verlag GmbH
Umfang: xii, 184 S.
Erscheinungsdatum: 24.07.1990
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 1484039 Kategorie:

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.

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …