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
Discrete Mathematics for Information Technology
Simon Crothers · Kwantlen Polytechnic University · 2026
Discrete Mathematics for Information Technology is an applied, student-focused introduction to the mathematical foundations that underpin modern computing. Designed for learners in information technology and business contexts, this textbook bridges theory and practice by connecting core concepts, such as number systems, data representation, logic, proofs, relations, algorithms, Boolean algebra, and graph theory, to real-world applications in programming, networking, databases, and systems design. Each chapter is structured with clear explanations, worked examples, case studies, and programming-oriented exercises that reinforce both conceptual understanding and practical skills. Emphasis is placed on developing analytical thinking, problem-solving, and the ability to model and reason about digital systems with precision and confidence. As an open educational resource, the text is adaptable and accessible, supporting a wide range of teaching and learning environments. By integrating mathematical rigor with authentic IT scenarios, this book equips students with the essential tools needed to succeed in modern, data-driven and technology-focused careers.
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