Discrete Mathematics |
Other editions - View all
Common terms and phrases
A₁ A₂ acyclic algebraic lattice b₁ binary tree Boolean algebra Boolean expression Boolean function Calculate colors complement compound proposition connected Consider contains cosets countable cycle defined digraph DIJKSTRA'S algorithm elements equivalence classes equivalence relation Euler circuit Euler path EXAMPLE false Figure 5(b finite function f Give graph in Figure group G Hamilton circuit Hasse diagram homomorphism identity infinite integers inverse isomorphic labeled lattice loop maps Mathematical Induction matrix minterm monoid multiplication nonempty notation one-to-one correspondence p v q parallel edges partial order partition permutations poset predicate proof propositional calculus Prove R₁ R₂ real numbers recursive definition Repeat Exercise rooted tree s₁ semigroup Show smallest subgroup subsemigroup subset Suppose Theorem tree in Figure true truth table truth values v₁ v₂ variables vertex vertex sequence vertices w₁ w₂ weight wff's x₁