Search Results

CSE 515. Automated Reasoning. 4 Units.

Prerequisites: CSE 431
Study of deduction algorithms for expert systems and the limitations thereof, propositional calculus, quantification theory, completeness and incompleteness theorems, Herbrand-Gödel computability, resolution principle, equality and inequality relations.