Skip to content
Dibs Fall 2026 Sign in

COM SCI 264A

Automated Reasoning: Theory and Applications

Course statistics

Predicted GPA
3.54
n = 309 · 4 terms · ± 0.031
A range
50%
of letter grades
Taken P/NP
0%
— of those passed
D / F / W
0.3%
incl. withdrawals

Sections in Fall 2026

Sections offered, with live enrollment and predicted GPA
Section Status Enrolled Seat risk Meets Instructor Predicted GPA
Lec 1 Waitlist
60 of 60
100% full
 fills MW 10:00am-11:50am Darwiche, A.Y.
3.54n=309 · this instructor
Lec 80 Open
29 of 35
83% full
 fills Time TBA Darwiche, A.Y.
3.54n=309 · this instructor
Lec 91 Open
9 of 39
23% full
 fills MW 10:00am-11:50am Darwiche, A.Y.
3.54n=309 · this instructor

Enrollment history

Final enrollment per term, averaged across that term's sections. Four years deep, summer excluded. Per-section live curves are on each section page.

  • 3621F
  • 3622F
  • 5323F
  • 3324F
Enrolment by term: 21F 36, 22F 36, 23F 53, 24F 33
Peak 53 Most recent 33 in 24F 4 terms on record

Grade distribution

  • A+ 14 · 4.5%
  • A 96 · 30.7%
  • A- 45 · 14.4%
  • B+ 105 · 33.5%
  • B 39 · 12.5%
  • B- 8 · 2.6%
  • C+ 1 · 0.3%
  • F 1 · 0.3%
  • S 1 · 0.3%
  • U 1 · 0.3%
  • I 2 · 0.6%

Grey bars are non-letter outcomes — P/NP, S/U, incompletes. They are excluded from the GPA entirely rather than scored, because counting a P as a 4.0 would be a fabrication.

By instructor

Instructor Predicted Raw n Terms A range
DARWICHE, ADNAN YOUSSEF 3.54 3.54 309 4 50%

“Predicted” is shrunk toward the course average, which is itself shrunk toward the department — so an instructor with a handful of students sits near the course mean rather than topping the list.

By term