CISC 604 - Logic in Computer Science (3cr.)

Credit(s): 3
LOGIC IN COMPUTER SCIENCE
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.


Print-Friendly Page (opens a new window)