Dec 14, 2025  
2021-2022 Graduate Catalog 
    
Catalog Navigation
  Catalog Home
  Apply Now
  About USD
  Accreditations
  Academic Degrees Offered
  Application Procedures
  Admission to Graduate School
  Graduate School Policies and Procedures
  Colleges & Schools
  Departments & Programs
  Graduate Degree and Program Requirements
  Courses
  Research & Creative Scholarship Opportunities, and Research Centers
  Tuition, Fees, and Financial Assistance
  Libraries
  Student Resources and Services
  Continuing & Distance Education
  Disability Services
  Graduate Faculty
  Campus Directory
  Campus Map
  Contact Us
  Consumer Information
  My Portfolio
HELP
2021-2022 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

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)