| Call Number | 10664 |
|---|---|
| Day, Time & Location | View Class Schedule & Location in Vergil |
| Points | 4 |
| Grading Mode | Standard |
| Approvals Required | None |
| Instructor | Ansaf Salleb-Aouissi |
| Type | LECTURE |
| Method of Instruction | In-Person |
| Course Description | Logic and formal proofs, sequences and summation, mathematical induction, binomial coefficients, elements of finite probability, recurrence relations, equivalence relations and partial orderings, and topics in graph theory (including isomorphism, traversability, planarity, and colorings). |
| Web Site | Vergil |
| Subterm | 05/26-07/03 (A) |
| Department | Computer Science |
| Enrollment | 40 students (120 max) as of 11:05AM Monday, May 18, 2026 |
| Subject | Computer Science |
| Number | W3203 |
| Section | 001 |
| Division | Interfaculty |
| Section key | 20262COMS3203W001 |