|
Sep 07, 2024
|
|
|
|
CS 455 - 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. May not be taken for credit by students who have received credit for CS 555 .
Prerequisite(s): CS 351 .
Add to My Favorites (opens a new window)
|
|