2023-2024 Undergraduate Catalog 
    
    Apr 08, 2025  
HELP
2023-2024 Undergraduate Catalog [Archived]

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

CS 421 - Formal Methods

3 Credits

Description
Elements of formal logic; various approaches to automation including resolution; restrictions and search methods; inductive theorem-proving; Knuth-Bendix completion; Boyer-Moore theorem-prover; applications.

Prerequisites
A grade of C or better in both CS 203 or 303 and CS 202 or 302, or consent of instructor.

Note
Open to graduate students. Graduate students are required to do additional work of a research nature.




Click here for the Fall 2025 Class Schedule

Click here for the Spring 2026 Class Schedule

Click here for the Summer 2026 Class Schedule



Facebook this Page (opens a new window)
Tweet this Page (opens a new window)
Add to Portfolio (opens a new window)
Catalog Navigation
  Catalog Home
  Academic Calendar
  The University
  Admission Requirements and Regulations
  Fees, Expenses, and Financial Aid
  Undergraduate Academic Information
  University Foundational Studies
  Honors College
  Student Affairs
  Colleges and Departments
  Programs by Department
  Programs
  Online Programs
  Degree Maps
  Courses
  Transfer Initiatives
  Credit for Prior Learning
  Professional Certification and Licensure
  Campus Map
  University Trustees and Administration
  Archived Catalogs
  My Portfolio