| Call Number | 10664 |
|---|---|
| Day & Time Location |
TR 10:10am-1:20pm 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 |
| Subterm | 05/26-07/03 (A) |
| Department | Computer Science |
| Enrollment | 0 students (120 max) as of 9:07PM Thursday, January 29, 2026 |
| Subject | Computer Science |
| Number | W3203 |
| Section | 001 |
| Division | Interfaculty |
| Section key | 20262COMS3203W001 |