About CS 2250 A
Formal languages and expressiveness. Turing completeness and Church's Thesis. Decidability and tractability. Complexity classes and theory of NP completeness. Prerequisites: CS 1640 or MATH 2055. Co-requisite: CS 2240.
Notes
Prereqs enforced by the system: CS 1640 or MATH 2055; Open to Degree and PACE students
Section Description
First course on automata, computability, and complexity.
Evaluation
Weekly quizzes, exams (3), homework (5 or 6), weekly active learning exercises.
Important Dates
Note: These dates may change before registration begins.
Note: These dates may not be accurate for select courses during the Summer Session.
| Last Day to Add | |
|---|---|
| Last Day to Drop | |
| Last Day to Withdraw with 50% Refund | |
| Last Day to Withdraw with 25% Refund | |
| Last Day to Withdraw |
Resources
There are no courses that meet this criteria.
Remind Me Form
CS 2250 A is closed to new enrollment.
Fill out the form fields and you will be notified when the course is updated with Spring 2026 details. What can you do while you wait? Get your application started now by completing our pre-registration form.