|
Sep 07, 2024
|
|
|
|
CS 555 - Logic ProgrammingUnits: 3 Declarative programming techniques: formal specification of the problem itself rather than of a solution algorithm. Survey of logic programming languages such as Prolog, applications, theoretical foundations propositional logic, predicate calculus, resolution, theorem proving, non-determinism, meta-programming.
Prerequisite(s): For undergraduates and enrollment requirement For graduate students: CS 351 and MATH 270 or 370.
Add to My Favorites (opens a new window)
|
|