Cargando…

Understanding mathematical proof

Introduction The need for proof The language of mathematics Reasoning Deductive reasoning and truth Example proofs Logic and ReasoningIntroduction Propositions, connectives, and truth tables Logical equivalence and logical implication Predicates and quantification Logical reasoning Sets and Function...

Descripción completa

Detalles Bibliográficos
Autores principales: Taylor, John, Garnier, Rowan
Lenguaje:eng
Publicado: CRC Press 2014
Materias:
Acceso en línea:http://cds.cern.ch/record/2018824
_version_ 1780946767447064576
author Taylor, John
Garnier, Rowan
author_facet Taylor, John
Garnier, Rowan
author_sort Taylor, John
collection CERN
description Introduction The need for proof The language of mathematics Reasoning Deductive reasoning and truth Example proofs Logic and ReasoningIntroduction Propositions, connectives, and truth tables Logical equivalence and logical implication Predicates and quantification Logical reasoning Sets and Functions Introduction Sets and membership Operations on setsThe Cartesian product Functions and composite functions Properties of functions The Structure of Mathematical ProofsIntroduction Some proofs dissected An informal framework for proofs Direct proof A more formal framework Finding Proofs Direct proo
id cern-2018824
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2014
publisher CRC Press
record_format invenio
spelling cern-20188242021-04-21T20:18:41Zhttp://cds.cern.ch/record/2018824engTaylor, JohnGarnier, RowanUnderstanding mathematical proofMathematical Physics and MathematicsIntroduction The need for proof The language of mathematics Reasoning Deductive reasoning and truth Example proofs Logic and ReasoningIntroduction Propositions, connectives, and truth tables Logical equivalence and logical implication Predicates and quantification Logical reasoning Sets and Functions Introduction Sets and membership Operations on setsThe Cartesian product Functions and composite functions Properties of functions The Structure of Mathematical ProofsIntroduction Some proofs dissected An informal framework for proofs Direct proof A more formal framework Finding Proofs Direct prooCRC Pressoai:cds.cern.ch:20188242014
spellingShingle Mathematical Physics and Mathematics
Taylor, John
Garnier, Rowan
Understanding mathematical proof
title Understanding mathematical proof
title_full Understanding mathematical proof
title_fullStr Understanding mathematical proof
title_full_unstemmed Understanding mathematical proof
title_short Understanding mathematical proof
title_sort understanding mathematical proof
topic Mathematical Physics and Mathematics
url http://cds.cern.ch/record/2018824
work_keys_str_mv AT taylorjohn understandingmathematicalproof
AT garnierrowan understandingmathematicalproof