      » Home  » Our Profile  » Academic Programs  » Centers of Excellence  » Outreach  » Scholarships  » Web-Enhanced Courses  » Contact Us  » STARS  » DNIMAS  » News & Extras  » About Us     CSC 270 : Objectives

 Main Objective To introduce students to topics in discrete mathematics which are important for advanced computer science courses To expand students’ mathematical reasoning capabilities so that they can read, comprehend and construct mathematical arguments successfully. Measureable Objectives:The student will be able to... Explain with examples the basic terminology of functions, relations, and sets. Perform the operations associated with sets, functions, and relations. Relate practical examples to the appropriate set, function, or relation model, and interpret the associated operations and terminology in context. Apply formal methods of symbolic propositional and predicate logic. Describe how formal tools of symbolic logic are used to model algorithms and real-life situations. Use formal logic proofs and logical reasoning to solve problems such as puzzles. Outline the basic structure of and give examples of each proof technique described in this unit. Discuss which type of proof is best for a given problem.

____________________________________________________________