Feb 09, 2023  
2020-2021 Graduate Catalog 
2020-2021 Graduate Catalog [ARCHIVED CATALOG]

CISC 604 - Logic in Computer Science

Credit(s): 3
Component: Lecture
Formal introduction to first-order logic with emphasis on its relevance to computer science. Syntax, semantics, models, formal proofs and results on soundness, consistency, completeness, compactness and undecidability. Automated theorem proving also covered.
Repeatable for Credit: N Allowed Units: 3 Multiple Term Enrollment: N Grading Basis: Student Option
PREREQ: CISC304 equivalent. RESTRICTIONS: Credit cannot be received for both CISC604 and CISC404.