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

CIS 626 - Theoretical Foundations of Computer Science

College of Engineering and Computer Science
3 credit(s) Irregularly
Computability and decidability, first-order logic, lambda calculus systems, program verification, semantics of programming languages, theory of language.
PREREQ: CIS 607