Digital library
Textbooks, references and open learning resources.
External
MAT 310 Bridge to Advanced Mathematics
Richard Hammack · Virginia Commonwealth University
In the contents: 02: Logic · 2.01: And Or Not · 2.05: Logical Equivalence
External
Mathematics for Computer Science
Eric Lehman, F. Thomson Leighton, & Alberty R. Meyer · Google and Massachusetts Institute of Technology
In the contents: 01: Proofs · 01: Intro to Proofs · 1.06: Proving an If and Only If
External
Elementary Foundations: An Introduction to Topics in Discrete Mathematics
Jeremy Sylvestre · University of Alberta Augustana
In the contents: 1.03: Logical Analysis · 1.04: Tautologies and contradictions · 02: Logical equivalence
External
Mathematical Reasoning
Pamini Thangarajah · Mount Royal University
In the contents: 1.2: More on Logical Statements · 2.1: Subsets and Equality · 2.3: Venn Diagrams and Euler Diagrams
External
Foundations of Computation
Carol Critchlow & David J. Eck · Hobart and William Smith Colleges
In the contents: 01: Logic and Proof · 1.01: Propositional Logic · 1.03: Application - Logic Circuits
External
Delftse Foundations of Computation
Stefan Hugtenburg & Neil Yorke-Smith · Delft University of Technology
In the contents: 01: Logic · 1.01: Propositional Logic · 1.1.02: Logical operators
External
Discrete Mathematics for Computer Science
Jin He · Fresno City College
In the contents: 01: Introduction to Propositional Logic · 1.04: Proving an If and Only If · 1.05: Proof by Cases
External
Discrete Mathematics for Computer Science
Mark A. Fitch · University of Alaska Anchorage
In the contents: 02: Logic · 2.01: Formal Logic · 2.03: Predicate Logic
External
Applied Discrete Structures
Al Doerr & Ken Levasseur · University of Massachusetts Lowell
In the contents: 1.01: Set Notation and Relations · 1.03: Cartesian Products and Power Sets · 1.05: Summation Notation and Generalizations