Dec 26, 2024  
2014-2015 Graduate Catalog 
    
2014-2015 Graduate Catalog ARCHIVED CATALOG: CONTENT MAY NOT BE CURRENT. USE THE DROP DOWN ABOVE TO ACCESS THE CURRENT CATALOG.

CS 781 - Automated Deduction


Credits 3

Use of computers for forming deductions and proving theorems in symbolic logic covered. Topics include resolution, unification, proof strategies, and equality. Also examines areas of application: problem solving, question answering, program verification, automatic programming and logic programming (Prolog).

Prerequisites