COMP 360A
Spring 2025
| Section:
01
|
| This course may be repeated for credit. |
The course will be an introduction to automated reasoning for computer science. Decision procedures for the satisfiability of formulas of propositional logic and of various fragments of first-order equational theories will be covered. For the application part of the course, students will use the automated modeling tool Alloy to design and analyze software systems. Student work will include both mathematical exercises and programming exercises. |
|
| Credit: 1 |
Gen Ed Area Dept:
NSM MATH |
| Course Format: Lecture | Grading Mode: Student Option |
| Level: UGRD |
Prerequisites: COMP212 AND MATH228 |
|
Fulfills a Requirement for: (COMP) |
|
Past Enrollment Probability: 90% or above |
| SECTION 01 |
| Instructor(s): Rose,Robert Times: .M.W... 10:50AM-12:10PM; Location: JUDD113; |
| Total Enrollment Limit: 25 | | SR major: 15 | JR major: 10 | | |
| Seats Available: 0 | GRAD: X | SR non-major: 0 | JR non-major: 0 | SO: 0 | FR: 0 |
| Drop/Add Enrollment Requests | | | | | |
| Total Submitted Requests: 6 | 1st Ranked: 3 | 2nd Ranked: 1 | 3rd Ranked: 2 | 4th Ranked: 0 | Unranked: 0 |
|