|
Sep 10, 2024
|
|
|
|
2023-2024 Undergraduate Catalog [ARCHIVED CATALOG]
|
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.
|
|