Save To Worklist

CPSC 312 Functional and Logic Programming

Principles of symbolic computing, using languages based upon first-order logic and the lambda calculus. Algorithms for implementing such languages. Applications to artificial intelligence and knowledge representation.

This course is eligible for Credit/D/Fail grading. To determine whether you can take this course for Credit/D/Fail grading, visit the Credit/D/Fail website. You must register in the course before you can select the Credit/D/Fail grading option.

Credits: 3

Pre-reqs: One of CPSC 210, EECE 210, EECE 309, CPEN 221.


No sections offered for 2018 Summer.