Discrete Computational Structures

Topics included are propositional logic, set theory, graph theory and combinatorial analysis, and Boolean algebra. Applications and theory are discussed.