Fall enrollment is open, and closes September 28. Check out the Academic Term Calendar for more information.
Automated Reasoning: Theory and Application
COM SCI XLC 264A
This course is part of the UCLA Henry Samueli School of Engineering and Applied Science (HSSEAS) Master of Science in Engineering Online (MSOL) program. It is available only to students pre-approved by HSSEAS. For more information visit msol.ucla.edu.
CS 264A. Automated Reasoning: Theory and Applications. (Instructor: Darwiche, A.) 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.
Restricted course.
1. Please contact the Master of Science Online (MSOL) program at admissions@seas.ucla.edu or (310) 825-6542 for approval.
2. Once approved, you may submit a petition to enroll (PTE) request through this website. Click "add to cart" to apply for enrollment
Refund Deadline
Refunds only available from June 16, 2025 to October 10, 2025
We use cookies to understand how you use our site and to improve your experience, including personalizing content and to store your content preferences. By continuing to use our site, you accept our use of cookies.
Read our privacy policy.
