CIS 607
Mathematical Basis for Computing
Syracuse University · UGRD · Fall 2026
1 section
Catalog description
Mathematical logic including predicate calculus, induction, theories with equality relations and groups. Mathematical logic applied to structures like nonnegative integers, tuples, lists, and trees.
Sections
Current meeting, instructor, credit, and enrollment details
001
Availability not recently verifiedClass #syracuse-CIS607Fall 2026UGRD3 credits
- Days & times
- No scheduled meeting time
- Meeting dates
- —
- Location
- —
- Instructor
- Staff
Class numbers and section codes come from the registrar.
Spot missing or incorrect course data?