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. See below for more information. 

READ MORE ABOUT THIS COURSE
Online
Starting at $4,500.00
As few as 12 weeks
4.0
3.6

About this course:

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.

Fall 2021 Schedule

Date & Time
Details
Format
 
-
This section has no set meeting times.
Available
See Details
383174
Fee:
$4,500.00
Onlineformat icon
ENROLL BY: Sep 20, 2021
See Details
Notes

Restricted course. For permission to enroll contact UCLA's MSOL Program: (310) 825-6542 or admissions@seas.ucla.edu 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.

Refund Deadline
No refunds after September 13, 2021

Contact Us

Our team members are here to help. Hours: Mon-Fri, 8am-5pm

This course applies towards the following certificates & specializations…

Keep up to date on the latest news and offerings in Engineering

vector icon of building

Corporate Education

Learn how we can help your organization meet its professional development goals and corporate training needs.

Learn More

vector icon of building

Donate to UCLA Extension

Support our many efforts to reach communities in need.

Innovation Programs

Student Scholarships

Coding Boot Camp

Lifelong Learning