Apr 19, 2024  
Undergraduate/Graduate Catalog 2015-2016 
    
Catalog Navigation
  Catalog Home
  Catalog Addenda
  Programs Changes, 2015-16
  Catalog Archives 2010/11-2015/16
  Catalog Archives 2007/08 - 2009/10
  About Us
  Academic Calendar
  Academic Departments
  Academic Policies
  Academic Programs
  Accreditations and Certifications
  Admission-Graduate
  Admission-Undergraduate
  Board of Trustees
  Campus Life
  Campus Map
  Colleges of the University
  Compliance Policies of the University
  Core Curriculum Requirements
  Course Descriptions
  Faculty and Librarians
  Financial Aid
  Officers of the University
  Other Educational Opportunities
  Resources
  Tuition and Fees
HELP
Undergraduate/Graduate Catalog 2015-2016 [ARCHIVED CATALOG] See drop-down menu above to access other catalogs.

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

MATH 445 - Logic Programming

(3 credits)
Prerequisite: Junior or senior mathematics major or equivalent background; and consent of the department
The propositional and first order predicate logic from an axiomatic point of view will be studied. Algorithmic methods of theorem proving will be emphasized. Offered periodically.


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