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. See below for more information.
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. For permission to enroll contact UCLA's MSOL Program: (310) 825-6542 or email@example.com at least 2 weeks before course starts. Visitors not permitted. Restricted course; call (310) 206-6794 for permission to enroll. Web enrollments automatically generate a "Permission to Enroll" request.
No refunds after September 13, 2021
Our team members are here to help. Hours: Mon-Fri, 8am-5pm