About CS 1640 A

Introduction to analytic and formal methods of computer science with practical examples, including analysis or data structures, recursion relations, proof methods, and logic programming. Credit not awarded for both CS 1640 and MATH 2055. Prerequisites: CS 1210 or CS 2100; MATH 1234 or MATH 1242.

Notes

Prereqs enforced by the system: (CS 1210 or 2100) and (MATH 1234 or 1242); Open to Degree and PACE students

Syllabus Unavailable

Please contact the department for information about this course.

Important Dates

Note: These dates may change before registration begins.

Courses may be cancelled due to low enrollment. Show your interest by enrolling.

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

Remind Me Form

Remind yourself about CS 1640 A.

We'll send you a reminder before Fall 2026 registration begins.