How to read and do proofs : an introduction to mathematical thought processes

How to read and do proofs an introduction to mathematical thought processes

The truth of it all -- The forward-backward method -- On definitions and mathematical terminology -- Quantifiers I: The construction method -- Quantifiers II: The choose method -- Quantifiers III: Induction -- Quantifiers IV: Specialization -- Quantifiers V: Nested quantifiers -- The contradiction m...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Solow, Daniel (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: New York u.a. Wiley 1990
Ausgabe:2. ed., [4. print.]
Schlagworte:
Logic, Symbolic and mathematical > Mathematik > Beweis > Beweistheorie
Online Zugang:Inhaltsverzeichnis
Inhaltstext
Table of Contents
Publisher description
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:The truth of it all -- The forward-backward method -- On definitions and mathematical terminology -- Quantifiers I: The construction method -- Quantifiers II: The choose method -- Quantifiers III: Induction -- Quantifiers IV: Specialization -- Quantifiers V: Nested quantifiers -- The contradiction method -- The contrapositive method -- Nots of nots lead to knots -- Special proof techniques -- Summary -- Appendices -- Solutions to exercises -- Glossary of mathematical symbols -- Index.
Beschreibung:Includes index
Beschreibung:XX, 242 S
graph. Darst.
23 cm
ISBN:0471510041
0-471-51004-1