<p>Lecture, four hours; laboratory, four hours; outside study, four hours. Requisite: course 161. Introduction to theory and practice of automated reasoning using propositional and first-order logic. Topics include syntax and semantics of formal logic; algorithms for logical reasoning, including satisfiability and entailment; syntactic and semantic restrictions on knowledge bases; effect of these restrictions on expressiveness, compactness, and computational tractability; applications of automated reasoning to diagnosis, planning, design, formal verification, and reliability analysis. Letter grading.</p>

Computer Science

Known as the birthplace of the Internet and where countless other cutting-edge technologies took their first steps, the school is consistently ranked among the top 10 public engineering schools in the U.S.

Henry Samueli School of Engineering and Applied Science

Computer science is concerned with the design, modeling, analysis, and applications of computer systems.

General Catalog

Automated Reasoning: Theory and Applications

COMSCI264A

4 units