CSCI3392 · Computer Science
Morrissey College of Arts & Sciences
A course in mathematical logic for both mathematics and computer science majors. There will be an emphasis on applications in computer science, alongside traditional subject matter. Topics covered include propositional and predicate logic, first-order arithmetic, completeness and incompleteness theorems, computability, automated proof assistants, and satisfiability solvers.
Course experience
Averages use the original five-point historical evaluation scale.
Organization
4.0 / 5
How well the course was organized
Challenge
4.4 / 5
How intellectually challenging students found it
Attendance
4.2 / 5
How necessary attendance was
Assignments
4.4 / 5
How helpful assignments were
Weekly effort
~5
hours per week
Estimated from the original workload response buckets. Individual sections may differ.
Instructor options
Ratings below reflect only recovered evaluations connected to this course.
Across time
Section-level results available in the recovered archive.
Fall 2024
1 section