Symbolic Programming

Catalog description

This course introduces the basic concepts and methods of symbolic programming. Symbolic programming involves the construction and analysis of complex symbolic expressions that can be used to represent different types of information. This course also introduces functional programming and logic programming as two widely used paradigms for symbolic computation. Course topics include recursion, list processing, tree processing, backtracking, unification and resolution.