Interested in this course for Spring 2026? If you are a new UVM Advance/Non-Degree student, choose your course and complete the application form. If you are a current UVM student, enroll in a course through MY UVM Portal. If you have questions please chat with us or schedule a 15 or 30-minute virtual meeting with an Enrollment Coach.

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

Section Description

Discrete Structures covers the fundamental mathematical tools that computer science students will need for upper level classes. We will focus on logic, sets and functions, primes and divisibility, and the importance of clear proof-writing.

Section Expectation

The textbook we will be using is an interactive online textbook called Discrete Math, available through zyBooks.com. This requires a purchase of online access to the book for the semester.

Evaluation

Class participation, quizzes, tests, and a final examination will be used for evaluation.

Important Dates

Note: These dates may not be accurate for select courses during the Summer Session.

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

Deadlines
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.