|
|
|
Feb 15, 2025
|
|
2014-2015 Graduate Course Catalog [ARCHIVED CATALOG]
|
CIS 626 - Theoretical Foundations of Computer Science3 credit(s) Irregularly
Computability and decidability, first-order logic, lambda calculus systems, program verification, semantics of programming languages, theory of language.
PREREQ: CIS 607
|
|
|