May 02, 2024  
Graduate Studies Catalog 2021-2022 
    
Catalog Navigation
  Catalog Home
  Accreditations and Licensures
  Mission Statement/Memberships of the University
  Academic Calendar
  General Information
  Admission and Registration
  Academic Regulations
  Resources
  Tuition and Fees
  Accountancy
  Applied Behavior Analysis
  Business Administration
  Business Analytics
  Chemistry, Biochemistry, Clinical Chemistry
  Clinical Mental Health Counseling, Rehabilitation Counseling, School Counseling
  Education
  Finance
  Health Administration and Human Resources
  Health Informatics, MS
  Nursing
  Occupational Therapy
  Physical Therapy
  Software Engineering
  Theology
  World Languages and Cultures
  Course Descriptions
  University Administration
  Download a PDF of the 2021-2022 Graduate Studies Catalog
HELP
Graduate Studies Catalog 2021-2022 [ARCHIVED CATALOG]

Facebook this Page (opens a new window)
Tweet this Page (opens a new window)

SE 500 - Mathematics for Software Engineering

3 cr.
(Prerequisite admission to the program) This course introduces students to the formal mathematical tools and methods necessary for software engineering. Topics include equational logic, propositional calculus and its applications, techniques of proof, formal logic, quantification and predicate calculus, application of predicate calculus to programming, and mathematical induction.


Facebook this Page (opens a new window)
Tweet this Page (opens a new window)