May 11, 2024  
2020-2021 Undergraduate Catalog 
    
Catalog Navigation
  Catalog Home
  Message from the President
  University Calendar
  About the University
  Admissions
  General Education: The Human Community
  Degrees Offered
  Colleges
  Academic Departments
  Programs of Study
  Course Descriptions
  Academic Policies and Procedures
  Student Services and Learning Resources
  University and Post-Graduate Resources
  Tuition and Fees
  Financial Aid, Scholarships and Student Employment
  University Faculty
  Publishing Statement
  Your Right To Know
  Non-Discrimination Statement
  Archived Catalogs
HELP
2020-2021 Undergraduate Catalog [ARCHIVED CATALOG]

CS 442. Logic in Computer Science

3.00
An exploration of some of the many connections between logic and computing, such as the application of classical and temporal logic in program verification, logic and logic programming, decidability, computability, automatic theorem proving, the computational complexity of logic algorithms, and applications of logic in artificial intelligence. A course in discrete mathematics or logic is recommended as preparation for this course. Prerequisite: Fully admitted Computer Science majors and minors only and junior or senior standing.