| Call Number | 12348 |
|---|---|
| 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 |
| Department | Computer Science |
| Enrollment | 214 students (215 max) as of 2:05PM Monday, May 18, 2026 |
| Subject | Computer Science |
| Number | W3203 |
| Section | 001 |
| Division | Interfaculty |
| Section key | 20261COMS3203W001 |