|
|
|
May 14, 2024
|
|
2014-2015 Graduate Course Catalog [ARCHIVED CATALOG]
|
CIS 607 - Mathematical Basis for Computing3 credit(s) At least 1x fall or spring
Crosslisted with: CSE 607
Mathematical logic including predicate calculus, induction, theories with equality relations and groups. Mathematical logic applied to structures like nonnegative integers, tuples, lists, and trees.
|
|
|