Open Educational Resources
Document Type
Textbook
Publication Date
Fall 2021
Abstract
The first objective of this book is to define and discuss the meaning of truth in mathematics. We explore logics, both propositional and first-order , and the construction of proofs, both formally and human-targeted. Using the proof tools, this book then explores some very fundamental definitions of mathematics through set theory. This theory is then put in practice in several applications. The particular (but quite widespread) case of equivalence and order relations is studied with detail. Then we introduces sequences and proofs by induction, followed by number theory. Finally, a small introduction to combinatorics is given.
Creative Commons License
This work is licensed under a Creative Commons Attribution-Noncommercial 4.0 License
Included in
Discrete Mathematics and Combinatorics Commons, Logic and Foundations Commons, Number Theory Commons, Set Theory Commons, Theory and Algorithms Commons
Comments
This book was developed with the syllabus of MA-471: Introduction to Discrete Mathematics of Queensborough Community College (QCC) in mind.