Aug 14, 2024  
2007-2009 Graduate Catalog 
    
Catalog Navigation
  Catalog Home
  About USD
  Graduate Degrees Offered
  Application Procedures
  Admission to Graduate School
  Information for International Students
  Graduate School Policies
  Courses
  Colleges & Departments
  Departments
  Programs
  Research & Creative Scholarship Opportunities
  Tuition and Financial Assistance
  University Housing
  Continuing and Distance Education
  Graduate Faculty - myU. > Faculty-Staff > Advising-Faculty Resources > Graduate School
  Graduate Student Grievance Procedure
  Contact Us
  My Portfolio
HELP
2007-2009 Graduate Catalog [Archived Catalog]

Facebook this Page (opens a new window)
Tweet this Page (opens a new window)
Add to Portfolio (opens a new window)

CSC 751 - PROGRAMMING SCIENCE

3credit hour(s)

Description Mathematical approaches to the generation of correct software. Concepts include predicate calculus, programs as predicates, and formal specifications using relations. Laboratory component.


Check Course Availability


Facebook this Page (opens a new window)
Tweet this Page (opens a new window)
Add to Portfolio (opens a new window)