Aug 13, 2025  
2011-2012 Undergraduate Catalog 
    
Catalog Navigation
Catalog Home
Academic Calendar
The University
Admission Requirements and Regulations
Fees, Expenses, and Financial Aid
Undergraduate Academic Information
University Foundational Studies
University Honors Program
Student Affairs
College of Graduate and Professional Studies
University Trustees, Administration, and Faculty
ISU Foundation
Colleges
Colleges and Departments
Departments
Programs
Courses
Campus Map
My Portfolio
2011-2012 Undergraduate Catalog [Archived] 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
CS 202 and 303.

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



Add to Portfolio (opens a new window)