Mathematical Foundations of Computer Science
An introduction to mathematical reasoning and discrete structures relevant to computer science: propositional and predicate logic, proof techniques including induction, sets, relations, functions, counting, graphs, and number theory.
Johns Hopkins · EN.601.230 · Fall 2023
Logic
- 1.1 Propositions and logical operations · 1.2 Evaluating compound operations · 1.3 Conditional statements · 1.4 Logical Equivalence · 1.5 Laws of propositional logic · 1.6 Logical reasoning · 1.7 Rules of inference with propositions · 1.8 Predicate and Quantifiers