HuskyScheduler
Open the scheduler
MATH 3265: Independent Elective
Applied logic selected from set theory, computability theory, nonclassical logic, and type theory. Topics may include ordinal and cardinal numbers, transfinite recursion, the ZFC axioms, models of computation, undecidable problems, modal logic, intuitionistic logic.
- Credits
- 3
- Offered
- Fall 2026
- Campuses
- Storrs
- Requirements
- MATH 2142Q, or a grade of C or better in MATH 2710, or CSE 2500, or PHIL 2211Q.
Fall 2026 sections
Taught by Reed Solomon.
| Section | Type | Meets | Instructor | Campus | Room | Seats |
|---|---|---|---|---|---|---|
| 001 | LEC | 12:30PM - 1:45PM / TuTh | Reed Solomon | Storrs | MONT 421 | 17 of 32 open |
Seats as of Nov 12, 2026. HuskyScheduler shows live seats when you search.