Cargando…

Writing proofs in analysis

This is a textbook on proof writing in the area of analysis, balancing a survey of the core concepts of mathematical proof with a tight, rigorous examination of the specific tools needed for an understanding of analysis. Instead of the standard "transition" approach to teaching proofs, whe...

Descripción completa

Detalles Bibliográficos
Autor principal: Kane, Jonathan M
Lenguaje:eng
Publicado: Springer 2016
Materias:
Acceso en línea:https://dx.doi.org/10.1007/978-3-319-30967-5
http://cds.cern.ch/record/2157782
_version_ 1780950740761575424
author Kane, Jonathan M
author_facet Kane, Jonathan M
author_sort Kane, Jonathan M
collection CERN
description This is a textbook on proof writing in the area of analysis, balancing a survey of the core concepts of mathematical proof with a tight, rigorous examination of the specific tools needed for an understanding of analysis. Instead of the standard "transition" approach to teaching proofs, wherein students are taught fundamentals of logic, given some common proof strategies such as mathematical induction, and presented with a series of well-written proofs to mimic, this textbook teaches what a student needs to be thinking about when trying to construct a proof. Covering the fundamentals of analysis sufficient for a typical beginning Real Analysis course, it never loses sight of the fact that its primary focus is about proof writing skills. This book aims to give the student precise training in the writing of proofs by explaining exactly what elements make up a correct proof, how one goes about constructing an acceptable proof, and, by learning to recognize a correct proof, how to avoid writing incorrect proofs. To this end, all proofs presented in this text are preceded by detailed explanations describing the thought process one goes through when constructing the proof. Over 150 example proofs, templates, and axioms are presented alongside full-color diagrams to elucidate the topics at hand.
id cern-2157782
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2016
publisher Springer
record_format invenio
spelling cern-21577822021-04-21T19:40:47Zdoi:10.1007/978-3-319-30967-5http://cds.cern.ch/record/2157782engKane, Jonathan MWriting proofs in analysisMathematical Physics and MathematicsThis is a textbook on proof writing in the area of analysis, balancing a survey of the core concepts of mathematical proof with a tight, rigorous examination of the specific tools needed for an understanding of analysis. Instead of the standard "transition" approach to teaching proofs, wherein students are taught fundamentals of logic, given some common proof strategies such as mathematical induction, and presented with a series of well-written proofs to mimic, this textbook teaches what a student needs to be thinking about when trying to construct a proof. Covering the fundamentals of analysis sufficient for a typical beginning Real Analysis course, it never loses sight of the fact that its primary focus is about proof writing skills. This book aims to give the student precise training in the writing of proofs by explaining exactly what elements make up a correct proof, how one goes about constructing an acceptable proof, and, by learning to recognize a correct proof, how to avoid writing incorrect proofs. To this end, all proofs presented in this text are preceded by detailed explanations describing the thought process one goes through when constructing the proof. Over 150 example proofs, templates, and axioms are presented alongside full-color diagrams to elucidate the topics at hand.Springeroai:cds.cern.ch:21577822016
spellingShingle Mathematical Physics and Mathematics
Kane, Jonathan M
Writing proofs in analysis
title Writing proofs in analysis
title_full Writing proofs in analysis
title_fullStr Writing proofs in analysis
title_full_unstemmed Writing proofs in analysis
title_short Writing proofs in analysis
title_sort writing proofs in analysis
topic Mathematical Physics and Mathematics
url https://dx.doi.org/10.1007/978-3-319-30967-5
http://cds.cern.ch/record/2157782
work_keys_str_mv AT kanejonathanm writingproofsinanalysis