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