Students are introduced to:  Elementary logic; Methods of proof; Relations, basic definitions and properties, special types of relations; Boolean algebras; Introduction to graph theory, basic definitions and properties, special types of graphs;    Trees and their applications