Tools

LEADER 03213cam a2200457Ii 4500

001 on1104867257;

003 OCoLC;

005 20200727082939.0;

008 190620s2019 sz a 001 0 eng d;

019 a| 1145766642;

020 a| 3030253570;

020 a| 9783030253578q| (hardback);

029 1 a| AU@b| 000066900563;

029 1 a| CHBISb| 011493079;

029 1 a| CHVBKb| 573821879;

035 a| (Sirsi) o1104867257;

035 a| (OCoLC)1104867257z| (OCoLC)1145766642;

049 a| EREE;

050 4 a| QA297.4b| .J76 2019;

100 1 a| Jongsma, Calvin,d| 1947-e| author.=| ^A1391140;

245 10 a| Introduction to discrete mathematics via logic and proof /c| Calvin Jongsma.;

264 1 a| Cham :b| Springer Nature,c| 2019.;

300 a| xx, 482 pages :b| illustrations ;c| 25 cm.;

336 a| textb| txt2| rdacontent;

337 a| unmediatedb| n2| rdamedia;

338 a| volumeb| nc2| rdacarrier;

490 1 a| Undergraduate texts in mathematics;

504 a| Includes bibliographical references and index.;

505 0 a| Introduction -- Propositional Logic -- First-Order Logic -- Mathematical Induction and Arithmetic -- Basic Set Theory and Combinatorics -- Set Theory and Infinity -- Functions and Equivalence Relations -- Posets, Lattices, and Boolean Algebra -- Topics in Graph Theory -- Index;

520 a| 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.;

650 0 a| Discrete mathematics.=| ^A1407758;

650 7 a| Discrete mathematics.2| fast0| (OCoLC)fst02009030;

830 0 a| Undergraduate texts in mathematics.=| ^A236098;

938 a| Brodartb| BRODn| 125044585;

938 a| YBP Library Servicesb| YANKn| 16282028;

994 a| C0b| ERE;

596 a| 1;

998 a| 5249581;

999 a| QA297.4 .J76 2019w| LCc| 1i| 30372017362820d| 7/22/2020e| 7/15/2020l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 2/24/2020x| BOOKz| JSTACKSo| .STAFF. jjlm;

Introduction to discrete mathematics via logic and proof / Calvin Jongsma.

Author/creator	Jongsma, Calvin, 1947- author.
Format	Book
Publication	Cham : Springer Nature, 2019.
Description	xx, 482 pages : illustrations ; 25 cm.
Subjects	Discrete mathematics.

Series	Undergraduate texts in mathematics Undergraduate texts in mathematics. ^A236098
Contents	Introduction -- Propositional Logic -- First-Order Logic -- Mathematical Induction and Arithmetic -- Basic Set Theory and Combinatorics -- Set Theory and Infinity -- Functions and Equivalence Relations -- Posets, Lattices, and Boolean Algebra -- Topics in Graph Theory -- Index
Abstract	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.
Bibliography note	Includes bibliographical references and index.
Issued in other form	Online version: Jongsma, Calvin. Introduction to discrete mathematics via logic and proof. Cham, Switzerland : Springer, 2019 9783030253585
ISBN	3030253570
ISBN	9783030253578 (hardback)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA297.4 .J76 2019	✔ Available	Place Hold

Introduction to discrete mathematics via logic and proof / Calvin Jongsma.

Click here for more information about this title

Availability