Discrete Mathematics with Applications

Designed to provide a strong mathematics background for computer science, engineering, and mathematics students. Topics in the text are drawn from logic, Boolean algebra, combinatorics, automata, and graph theory. A chapter on automata theory and formal languages is included along with programming notes using Pascal language constructions to show how programming and mathematics are related. Logic is introduced briefly in chapter one and then expanded upon in chapter four.