2016-2017 Graduate Course Catalog 
    
    Dec 12, 2024  
HELP
2016-2017 Graduate Course Catalog [ARCHIVED CATALOG]

Facebook this Page (opens a new window)
Tweet this Page (opens a new window)

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 


Facebook this Page (opens a new window)
Tweet this Page (opens a new window)
Catalog Navigation
  Catalog Home
  General Information
  Academic Rules
  Academic Offerings
  Other Programs
  Courses
  School of Architecture
  College of Arts and Sciences
  School of Education
  College of Engineering and Computer Science
  David B. Falk College of Sport and Human Dynamics
  School of Information Studies
  College of Law
  Martin J. Whitman School of Management
  Maxwell School of Citizenship and Public Affairs
  S.I. Newhouse School of Public Communications
  College of Visual and Performing Arts
  University College
  SUNY-ESF (Partner Institution)
  Archived Catalogs