Shortcuts
Top of page (Alt+0)
Page content (Alt+9)
Page menu (Alt+8)
Your browser does not support javascript, some WebOpac functionallity will not be available.
.
Default
.
PageMenu
-
Main Menu
-
Simple Search
.
Advanced Search
.
Journal Search
.
Refine Search Results
.
Preferences
.
Search Menu
Simple Search
.
Advanced Search
.
New Items Search
.
Journal Search
.
Refine Search Results
.
Bottom Menu
Help
Italian
.
English
.
German
.
New Item Menu
New Items Search
.
New Items List
.
Links
SISSA Library
.
ICTP library
.
Italian National web catalog (SBN)
.
Trieste University web catalog
.
Udine University web catalog
.
© LIBERO v6.4.1sp220816
Page content
You are here
:
Catalogue Display
Catalogue Display
Introduction to Discrete Mathematics via Logic and Proof
.
Bookmark this Record
Catalogue Record 49810
.
.
Author info on Wikipedia
.
.
LibraryThing
.
.
Google Books
.
.
Amazon Books
.
Catalogue Information
Catalogue Record 49810
.
Reviews
Catalogue Record 49810
.
British Library
Resolver for RSN-49810
Google Scholar
Resolver for RSN-49810
WorldCat
Resolver for RSN-49810
Catalogo Nazionale SBN
Resolver for RSN-49810
GoogleBooks
Resolver for RSN-49810
ICTP Library
Resolver for RSN-49810
.
Share Link
Jump to link
Catalogue Information
Field name
Details
Dewey Class
511.1
Title
Introduction to Discrete Mathematics via Logic and Proof ([EBook]) / by Calvin Jongsma.
Author
Jongsma, Calvin
Other name(s)
SpringerLink (Online service)
Publication
Cham : Springer International Publishing , 2019.
Physical Details
XX, 482 pages : 854 illus., 5 illus. in color. : online resource.
Series
Undergraduate texts in mathematics
ISBN
9783030253585
Summary Note
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.:
Contents note
Preface -- List of Notations -- 1. Propositional Logic -- 2. First-Order Logic -- 3. Mathematical Induction and Arithmetic -- 4. Basic Set Theory and Combinatorics -- 5. Set Theory and Infinity -- 6. Functions and Equivalence Relations -- 7. Posets, Lattices, and Boolean Algebra -- 8. Topics in Graph Theory -- A. Inference Rules for PL and FOL -- Index.
System details note
Online access to this digital book is restricted to subscription institutions through IP address (only for SISSA internal users).
Internet Site
https://doi.org/10.1007/978-3-030-25358-5
Links to Related Works
Subject References:
Discrete Mathematics
.
Mathematical logic
.
Mathematical Logic and Foundations
.
Authors:
author
.
Jongsma, Calvin
.
Corporate Authors:
SpringerLink (Online service)
.
Series:
Undergraduate texts in mathematics
.
Classification:
511.1
.
511.1 (DDC 23)
.
.
ISBD Display
Catalogue Record 49810
.
Tag Display
Catalogue Record 49810
.
Related Works
Catalogue Record 49810
.
Marc XML
Catalogue Record 49810
.
Add Title to Basket
Catalogue Record 49810
.
Catalogue Information 49810
Beginning of record
.
Catalogue Information 49810
Top of page
.
Download Title
Catalogue Record 49810
Export
This Record
As
Labelled Format
Bibliographic Format
ISBD Format
MARC Format
MARC Binary Format
MARCXML Format
User-Defined Format:
Title
Author
Series
Publication Details
Subject
To
File
Email
Reviews
This item has not been rated.
Add a Review and/or Rating
49810
1
49810
-
2
49810
-
3
49810
-
4
49810
-
5
49810
-
Quick Search
Search for