COM SCI 264A
Automated Reasoning: Theory and Applications
Description: 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.
Units: 4.0
Units: 4.0
1 of 1
Most Helpful Review
Fall 2023 - Probably the best professor here. He knows the content well, is incredibly approachable and clarifies doubts very well. His lectures are amazing, they keep you engaged. Homeworks were manageable and exams were of appropriate difficulty. The only thing that would be a great addition to the class would be direct applications of the concepts learnt - they would be fun to explore. Overall, fantastic professor and great class.
Fall 2023 - Probably the best professor here. He knows the content well, is incredibly approachable and clarifies doubts very well. His lectures are amazing, they keep you engaged. Homeworks were manageable and exams were of appropriate difficulty. The only thing that would be a great addition to the class would be direct applications of the concepts learnt - they would be fun to explore. Overall, fantastic professor and great class.
AD
1 of 1
