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...
Autores principales: | , |
---|---|
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 |