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 1: the construction method -- Quantifiers II: the choose method -- Quantifiers III: specialization -- Quantifiers IV: nested quantifiers -- Nots of nots lead to knots -- the contradiction...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Solow, Daniel (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Hoboken, NJ Wiley 2010
Ausgabe:	5. ed.
Schlagworte:	Proof theory > Logic, Symbolic and mathematical > Textbooks > Logic, Symbolical and mathematical > Einführung > Mathematik > Beweis > Methode > Beweistheorie
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Bestellen

Beschreibung
Zusammenfassung:	The truth of it all -- The forward-backward method -- On definitions and mathematical terminology -- Quantifiers 1: the construction method -- Quantifiers II: the choose method -- Quantifiers III: specialization -- Quantifiers IV: nested quantifiers -- Nots of nots lead to knots -- the contradiction method -- The contrapositive method -- The uniqueness methods -- Induction -- The either/or methods -- The max/min methods -- Summary -- Appendices: Examples of proofs from discrete mathematics ; Examples of proofs from linear algebra ; Examples of proofs from modern algebra ; Examples of proofs from real analysis
Beschreibung:	Includes bibliographical references and index
Beschreibung:	XVIII, 301 S. graph. Darst.
ISBN:	0470392169 0-470-39216-9 9780470392164 978-0-470-39216-4