2021-2022 Undergraduate Catalog 
    
    Mar 28, 2024  
2021-2022 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
A grade of C or better in both CS 202 and CS 303, 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 2023 Class Schedule

Click here for the Spring 2024 Class Schedule

Click here for the Summer 2024 Class Schedule




Add to Portfolio (opens a new window)