User:Rkrish67/Books/Discrete Math

Discrete Math

 * Logic and proofs
 * Discrete mathematics
 * First-order logic
 * Predicate logic
 * Second-order propositional logic
 * Proof theory
 * Propositional calculus
 * Empty domain
 * Herbrand's theorem
 * Truth-value semantics
 * Mathematical proof
 * Combinatorial proof
 * Mathematical induction
 * Set theory
 * Infinite set
 * Finite set
 * Definable real number


 * Relations
 * Composition of relations
 * Binary relation
 * Logical matrix
 * Transitive relation
 * Equivalence relation
 * Order theory
 * Domain theory
 * Universal algebra
 * Recurrence relation
 * Floyd-Warshall algorithm
 * Multiset
 * Generating function


 * Graphs
 * Graph theory
 * Transpose graph
 * Four color theorem
 * Hamiltonian path
 * Maximal independent set
 * Independent set (graph theory)


 * Trees
 * Tree (graph theory)
 * Random minimal spanning tree
 * Prim's algorithm


 * Algebraic systems
 * Algebraic structure
 * Regular semi-algebraic system
 * Monoid
 * Permutation group
 * Primitive permutation group
 * Automorphism
 * Isomorphism
 * Homomorphism
 * Normal subgroup
 * Ring (mathematics)
 * Field (mathematics


 * Lattices
 * Lattice (order)
 * Boolean algebra