2018-2019 Graduate Course Catalog 
    
    Mar 28, 2024  
2018-2019 Graduate Course Catalog [ARCHIVED CATALOG]

CIS 607 - Mathematical Basis for Computing

College of Engineering and Computer Science
3 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.