About CS 1640 B

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.


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

Section Description

Discrete Structures covers the fundamental mathematical tools that Computer Science students will need for upper level classes. We will focus on logic and proofs, sets and functions, and mathematical induction. Students will learn to understand logical reasoning, construct well formed proofs, and common proof patterns.

Section Expectation

Typical classes will mix lecture and discussions. Students should expect to spend 6-8 hours a week on coursework outside of class.


Online and written homework, quizzes and classroom participation will be used for evaluation.

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


There are no courses that meet this criteria.

Interest Form

CS 1640 B is closed to new enrollment.

But we can remind you a few days before the next term opens. You can also see what terms are enrolling currently.