CS 442. Logic in Computer Science

Credits 3.00 PeopleSoft Course ID 013264 Grading Basis GRD

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(s): Fully admitted Computer Science majors and minors only and junior or senior standing.