CSE 2500: Introduction to Discrete Systems
Introduction to formal mathematical thinking including discrete systems and proofs. Discrete system topics include logic, set theory, basic number theory, basic combinatorics, functions, relations, sequences, sums, products, recurrence, and countability. Proof topics include direct proof, including proof by cases and induction, and indirect proof, including proof by contrapositive and contradiction.
- Credits
- 3
- Offered
- Spring 2027, Fall 2026
- Campuses
- Storrs, Stamford
- Requirements
- CSE 1010 or 1729.
Spring 2027 sections
Taught by Seung-Hyun Hong, Olga Glebova, and Ellie Sherafat.
| Section | Type | Meets | Instructor | Campus | Room | Seats |
|---|---|---|---|---|---|---|
| 002 | LEC | 3:30PM - 4:45PM / MoWe | Seung-Hyun Hong | Storrs | HBL 2119A | 44 of 70 open |
| 003 | LEC | 12:30PM - 1:45PM / MoWe | Olga Glebova | Storrs | MCHU 305 | 18 of 70 open |
| 801 | LEC | 9:30AM - 10:45AM / TuTh | Ellie Sherafat | Stamford | DWTN 305 | 48 of 60 open |
Seats as of Nov 12, 2026. HuskyScheduler shows live seats when you search.
Fall 2026 sections
Taught by Olga Glebova, David Strimple, Matthew Lamoureux, and Ellie Sherafat.
| Section | Type | Meets | Instructor | Campus | Room | Seats |
|---|---|---|---|---|---|---|
| 001 | LEC | 12:30PM - 1:45PM / TuTh | Olga Glebova | Storrs | MCHU 201 | 3 of 60 open |
| 002 | LEC | 9:30AM - 10:45AM / TuTh | David Strimple | Storrs | MCHU 305 | 27 of 60 open |
| 003 | LEC | 11:15AM - 12:05PM / MoWeFr | Matthew Lamoureux | Storrs | PWE 150 | 2 of 60 open |
| 801 | LEC | 9:30AM - 10:45AM / TuTh | Ellie Sherafat | Stamford | DWTN 3117 | 16 of 43 open |
| 802 | LEC | 12:30PM - 1:45PM / TuTh | Ellie Sherafat | Stamford | DWTN 135 | 32 of 45 open |
Seats as of Nov 12, 2026. HuskyScheduler shows live seats when you search.
More courses
All CSE courses (Computer Science and Engineering) ยท All UConn subjects