Catalog

CS 461 - Logic for Computer Science and Math (4)

Propositional and predicate calculus, syntax and semantics, formal theories, logic programming, lambda calculus. Applications of logic to computer science and mathematics. Four hours lecture. Prerequisite: MATH 201 (grade of C or better), or permission of instructor.