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.

Status Section Activity Term Interval Days Start Time End Time Comments
FullCPSC 312 201Lecture2 Mon Wed Fri13:0014:00
CPSC 312 2W1Waiting List2 Mon Wed Fri13:0014:00