Math 151 -Introduction to discrete mathematics

Students are introduced to: Elementary logic, Predicates and Quantifiers ; Methods of proof ; Relations, basic definitions and properties, Representing relations, Equivalence Relations, Partial orderings ; Introduction to graph theory, basic definitions and properties, special types of graphs, Representing graphs and graph isomorphism, Connectivity; Trees and their applications, Tree Traversal, Spanning Trees; Boolean Algebra, Boolean Functions, Representing Boolean functions, Logic Gates, Minimization of circuits