Cargando…

Introduction to discrete mathematics via logic and proof

This textbook introduces discrete mathematics by emphasizing the importance of reading and writing proofs. Because it begins by carefully establishing a familiarity with mathematical logic and proof, this approach suits not only a discrete mathematics course, but can also function as a transition to...

Descripción completa

Detalles Bibliográficos
Autor principal: Jongsma, Calvin
Lenguaje:eng
Publicado: Springer 2019
Materias:
Acceso en línea:https://dx.doi.org/10.1007/978-3-030-25358-5
http://cds.cern.ch/record/2700048
_version_ 1780964468952399872
author Jongsma, Calvin
author_facet Jongsma, Calvin
author_sort Jongsma, Calvin
collection CERN
description This textbook introduces discrete mathematics by emphasizing the importance of reading and writing proofs. Because it begins by carefully establishing a familiarity with mathematical logic and proof, this approach suits not only a discrete mathematics course, but can also function as a transition to proof. Its unique, deductive perspective on mathematical logic provides students with the tools to more deeply understand mathematical methodology—an approach that the author has successfully classroom tested for decades. Chapters are helpfully organized so that, as they escalate in complexity, their underlying connections are easily identifiable. Mathematical logic and proofs are first introduced before moving onto more complex topics in discrete mathematics. Some of these topics include: Mathematical and structural induction Set theory Combinatorics Functions, relations, and ordered sets Boolean algebra and Boolean functions Graph theory Introduction to Discrete Mathematics via Logic and Proof will suit intermediate undergraduates majoring in mathematics, computer science, engineering, and related subjects with no formal prerequisites beyond a background in secondary mathematics.
id cern-2700048
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2019
publisher Springer
record_format invenio
spelling cern-27000482021-04-21T18:15:47Zdoi:10.1007/978-3-030-25358-5http://cds.cern.ch/record/2700048engJongsma, CalvinIntroduction to discrete mathematics via logic and proofMathematical Physics and MathematicsThis textbook introduces discrete mathematics by emphasizing the importance of reading and writing proofs. Because it begins by carefully establishing a familiarity with mathematical logic and proof, this approach suits not only a discrete mathematics course, but can also function as a transition to proof. Its unique, deductive perspective on mathematical logic provides students with the tools to more deeply understand mathematical methodology—an approach that the author has successfully classroom tested for decades. Chapters are helpfully organized so that, as they escalate in complexity, their underlying connections are easily identifiable. Mathematical logic and proofs are first introduced before moving onto more complex topics in discrete mathematics. Some of these topics include: Mathematical and structural induction Set theory Combinatorics Functions, relations, and ordered sets Boolean algebra and Boolean functions Graph theory Introduction to Discrete Mathematics via Logic and Proof will suit intermediate undergraduates majoring in mathematics, computer science, engineering, and related subjects with no formal prerequisites beyond a background in secondary mathematics.Springeroai:cds.cern.ch:27000482019
spellingShingle Mathematical Physics and Mathematics
Jongsma, Calvin
Introduction to discrete mathematics via logic and proof
title Introduction to discrete mathematics via logic and proof
title_full Introduction to discrete mathematics via logic and proof
title_fullStr Introduction to discrete mathematics via logic and proof
title_full_unstemmed Introduction to discrete mathematics via logic and proof
title_short Introduction to discrete mathematics via logic and proof
title_sort introduction to discrete mathematics via logic and proof
topic Mathematical Physics and Mathematics
url https://dx.doi.org/10.1007/978-3-030-25358-5
http://cds.cern.ch/record/2700048
work_keys_str_mv AT jongsmacalvin introductiontodiscretemathematicsvialogicandproof