| Call Number | 12348 |
|---|---|
| Day & Time Location |
TR 11:40am-12:55pm To be announced |
| 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 1:05PM Sunday, May 10, 2026 |
| Subject | Computer Science |
| Number | W3203 |
| Section | 001 |
| Division | Interfaculty |
| Section key | 20261COMS3203W001 |