College of Science, Engineering and Technology
College of Science, Engineering and Technology -  sst.nsu.edu
Chapters Syllabus Objectives Labs Practice Area Lecture Notes Sample Tests
 
     » Home
     » Our Profile
     » Academic Programs
     » Centers of Excellence
     » Outreach
     » Scholarships
     » Web-Enhanced Courses
     » Contact Us
     » STARS
     » DNIMAS
     » News & Extras
     » About Us



NSU - Norfolk State University
 
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.

 
  ____________________________________________________________
  Copyrights © 2008. - cset.nsu.edu - all rights reserved.