Math For Computer Science Majors

Catalog description

Topics include: the logic of compound statements, argument forms and rules of inference, truth tables, conditional statements, predicates and quantified statements, mathematical proofs and induction, set theory, functions, relations, probability, graphs and circuits, formal languages and regular expressions, finite state automata, and solvability issues and principles.