Department of Computer Science

Course director: G. Gotshalks
Implementation details

COSC 3401.03 Introduction to Symbolic Computation

Section A  Fall         Mon, Wed 17:30-19:00

The course will introduce and explore programming concepts used in symbolic and knowledge-based computing. It is intended to give the student a programming background which will be useful for further work in logic programming, expert systems, and artificial intelligence.

The programming languages Lisp and Prolog will be considered in detail. Lisp is a functional programming language based on the list structure. It is widely used in artificial intelligence applications. Prolog is a declarative programming language based on the concept of a logical assertion. It is widely used for constructing knowledge-based and expert systems.

The course will develop the following concepts.


Prerequisites: general prerequisites, including MATH2090.03