Apr 16, 2024  
2013-2014 Graduate Catalog 
    
Catalog Navigation
  Catalog Home

  About USD

  Accreditations

  Academic Degrees Offered

  Application Procedures

  Admission to Graduate School

  Graduate School Policies

  Courses

  Colleges, Schools & Departments

  Departments

  Graduate Degree and Program Requirements

  Research & Creative Scholarship Opportunities, and Research Centers

  Tuition, Fees, and Financial Assistance

  Libraries

  Student Resources and Services

  Division of Continuing & Distance Education

  Disability Services

  Graduate Faculty

  Campus Directory

  Campus Map

  Contact Us

  My Portfolio
HELP
2013-2014 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

3 cr hrs

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)