Thư viện số
Giáo trình, tài liệu tham khảo và tài nguyên học tập mở.
Nguồn ngoài
MAT 310 Bridge to Advanced Mathematics
Richard Hammack · Virginia Commonwealth University
Có trong mục lục: 02: Logic · 2.01: And Or Not · 2.05: Logical Equivalence
Nguồn ngoài
Mathematics for Computer Science
Eric Lehman, F. Thomson Leighton, & Alberty R. Meyer · Google and Massachusetts Institute of Technology
Có trong mục lục: 01: Proofs · 01: Intro to Proofs · 1.06: Proving an If and Only If
Nguồn ngoài
Elementary Foundations: An Introduction to Topics in Discrete Mathematics
Jeremy Sylvestre · University of Alberta Augustana
Có trong mục lục: 1.03: Logical Analysis · 1.04: Tautologies and contradictions · 02: Logical equivalence
Nguồn ngoài
Mathematical Reasoning
Pamini Thangarajah · Mount Royal University
Có trong mục lục: 1.2: More on Logical Statements · 2.1: Subsets and Equality · 2.3: Venn Diagrams and Euler Diagrams
Nguồn ngoài
Foundations of Computation
Carol Critchlow & David J. Eck · Hobart and William Smith Colleges
Có trong mục lục: 01: Logic and Proof · 1.01: Propositional Logic · 1.03: Application - Logic Circuits
Nguồn ngoài
Delftse Foundations of Computation
Stefan Hugtenburg & Neil Yorke-Smith · Delft University of Technology
Có trong mục lục: 01: Logic · 1.01: Propositional Logic · 1.1.02: Logical operators
Nguồn ngoài
Discrete Mathematics for Computer Science
Jin He · Fresno City College
Có trong mục lục: 01: Introduction to Propositional Logic · 1.04: Proving an If and Only If · 1.05: Proof by Cases
Nguồn ngoài
Discrete Mathematics for Computer Science
Mark A. Fitch · University of Alaska Anchorage
Có trong mục lục: 02: Logic · 2.01: Formal Logic · 2.03: Predicate Logic
Nguồn ngoài
Applied Discrete Structures
Al Doerr & Ken Levasseur · University of Massachusetts Lowell
Có trong mục lục: 1.01: Set Notation and Relations · 1.03: Cartesian Products and Power Sets · 1.05: Summation Notation and Generalizations