CSC I2800
Topics in the Theory of Computing
CUNY City College · UGRD · Fall 2026
1 section
Catalog description
Topics of current interest, such as program correctness, mechanical theorem proving, parallel computation, automata theory, advanced topics in abstract complexity, formal systems and their decision problems.
Sections
Current meeting, instructor, credit, and enrollment details
001
Availability not recently verifiedClass #cuny_city-CSCI2800Fall 2026UGRD3 credits
- Days & times
- No scheduled meeting time
- Meeting dates
- —
- Location
- —
- Instructor
- Staff
Class numbers and section codes come from the registrar.
Spot missing or incorrect course data?