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 101Lecture1 Mon Wed Fri12:0013:00
BlockedCPSC 312 1W1Waiting List1 Mon Wed Fri12:0013:00