Propositional logic, truth tables, and quantifiers.
| Recommended Free & Legal Textbooks | Description | | :--- | :--- | | | A free, open-source textbook perfect for a first or second-year undergraduate course in math and computer science. Covers proofs, logic, sets, and functions. | | A Cool Brisk Walk Through Discrete Mathematics | Another completely-free-and-open-source educational material, specifically tailored for computer science practitioners. | | Applied Combinatorics | An open-source textbook approved by the American Institute of Mathematics, focusing on fundamental enumeration techniques. | | Book of Proof by Richard Hammack | A free, open-source textbook approved by the American Institute of Mathematics, providing a gentle introduction to mathematical proofs. | | Discrete Mathematics with SageMath | An interactive online textbook that uses SageMath, allowing you to explore and visualize complex concepts. |
Concepts of graphs, pathfinding, and Eulerian graphs.
: Exploring propositional calculus, truth tables, and tautologies.