COM SCI 264A · CS 264AAutomated Reasoning: Theory and Applications
Computer Science · 4 units · Graduate courses (200-299)
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.
When it runs
- Fall 2025
- Fall 2026
Scheduled, not typical — from UCLA’s Schedule of Classes, which publishes Fall 2025 through Spring 2027 and nothing before it.
Requisites
Official UCLA wording
Requisite: course 161.
BruinTree reads · Prerequisite
confidence 1.00 · from textRequires
Everything that has to come before this course, not just the courses named in the requisite above.
COM SCI 264A
- COM SCI 161Fundamentals of Artificial Intelligence
- COM SCI 180Introduction to Algorithms and Complexity
1 direct requisite. Showing 4 courses over 3 levels; the branches marked with a count carry on past it. Every course here opens its own tree.
Unlocks
What this course is a requisite for, and what those courses lead to in turn.
COM SCI 264A
- COM SCI 265AMachine Learning
1 course lists this as a requisite. The whole downstream is here — 1 course over 1 level. Every course here opens its own tree.