CISC 404 - Logic in Computer Science

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: CISC 304. RESTRICTIONS: Students who received credit in CISC604 are not eligible to take this course without permission.

Course Typically Offered: Fall

General Education Objectives:
GE5B: Reason Computationally