Loading…

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...

Full description

Saved in:

Bibliographic Details
Main Author:	Jongsma, Calvin, 1947- (Author)
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Cham, Switzerland : Springer, 2019.
Series:	Undergraduate texts in mathematics.
Physical Description:	1 online resource (xx, 482 pages) : illustrations (some color).
Subjects:	Discrete mathematics.
Online Access:	SpringerLink - Click here for access

Discrete mathematics by Milanič, Martin, Servatius, Brigitte, 1954-, Servatius, Herman, 1957-

Published: Academic Press, 2023

Description: 1 online resource (250 pages)

Elsevier - Click here for access

eBook

Introduction to discrete mathematics via logic and proof

Similar Items

Discrete mathematics by Milanič, Martin, Servatius, Brigitte, 1954-, Servatius, Herman, 1957-

Discrete mathematics : essentials and applications by Grami, Ali, 1955-

Guide to discrete mathematics : an accessible introduction to the history, theory, logic and applications Second edition. by O'Regan, Gerard (Cornelius Gerard)

Discrete mathematics and applications by SpringerLink (Online service)

A brief journey in discrete mathematics by Nelson, Randolph

Discrete mathematics and graph theory : a concise study companion and guide by Erciyes, K.

Discrete mathematics with graph theory by Yadav, Santosh Kumar

Discrete energy on rectifiable sets by Borodachov, Sergiy V., Hardin, Douglas P., Saff, E. B., 1944-

Modern discrete mathematics and analysis : with applications in cryptography, information systems and modeling by SpringerLink (Online service)

Syllogistic logic and mathematical proof by Mancosu, Paolo, Mugnai, Massimo, 1947-

Discrete geometry and optimization by SpringerLink (Online service)

Introduction to discrete event systems Third edition. by Cassandras, Christos G., Lafortune, Stéphane, 1958-

An introduction to discrete-valued time series by Weiss, Christian H., 1977-

Introduction to mathematical systems theory : discrete time linear systems, control and identification Second edition. by Heij, C., Ran, A. C. M. (André C. M.), 1956-, Schagen, Frederik van, 1944-

A logical introduction to proof by Cunningham, Daniel W.

Introduction to discrete event systems 2nd ed. by Cassandras, Christos G.

Ramsey theory for discrete structures by Prömel, H. J.

Computing the continuous discretely : integer-point enumeration in polyhedra by Beck, Matthias

Computing the continuous discretely : integer-point enumeration in polyhedra Second edition. by Beck, Matthias, Robins, Sinai

Modeling discrete time-to-event data by Tutz, Gerhard, Schmid, Matthias

Numerical methods for solving discrete event systems : with applications to queueing systems by Grassmann, Winfried K., Tavakoli, Javad

Discrete time series, processes, and applications in finance by Zumbach, Gilles

Discrete-Time and Discrete-Space Dynamical Systems by Zhang, Kuize

Introduction to mathematical structures and proofs 2nd ed. by Gerstein, Larry J.

Synergies in analysis, discrete mathematics, soft computing and modelling by Forum for Interdisciplinary Mathematics. International Conference, SpringerLink (Online service)

Engineering applications of discrete element method : operation analysis and optimization design of coal and agricultural machinery by SpringerLink (Online service)

Introduction to mathematical systems theory : linear systems, identification and control by Heij, C.

Derivative pricing in discrete time by Cutland, Nigel

Selected topics in discrete geometry by Bezdek, Károly

Research problems in discrete geometry by Brass, Peter

Forbidden configurations in discrete geometry by Eppstein, David

Introduction to discrete linear controls : theory and application by Bishop, Albert B. (Albert Bentley), 1929-1999

Discrete differential geometry by SpringerLink (Online service)

Discrete networked dynamic systems : analysis and performance by Mahmoud, Magdi S., Xia, Yuanqing

Applications of discrete geometry and mathematical morphology : first International Workshop, WADGMM 2010, Istanbul, Turkey, August 22, 2010, Revised selected papers by WADGMM (Workshop) Istanbul, Turkey), SpringerLink (Online service)

Discrete geometry and mathematical morphology : first International Joint Conference, DGMM 2021, Uppsala, Sweden, May 24-27, 2021, Proceedings by International Conference on Discrete Geometry and Mathematical Morphology Uppsala, Sweden) Uppsala, Sweden, SpringerLink (Online service)

Discrete geometry and mathematical morphology : second international joint conference, DGMM 2022, Strasbourg, France, October 24-27, 2022, proceedings by International Conference on Discrete Geometry and Mathematical Morphology Strasbourg, France, SpringerLink (Online service)

Discrete geometry and mathematical morphology : third International Joint Conference, DGMM 2024, Florence, Italy, April 15-18, 2024, Proceedings by International Conference on Discrete Geometry and Mathematical Morphology Florence, Italy, SpringerLink (Online Service)

Modern approaches to discrete curvature by SpringerLink (Online service)

Convex and discrete geometry by Gruber, Peter M., 1941-

Similar Items