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
Full CPSC 312 101 Lecture 1 Mon Wed Fri 12:00 13:00
Blocked CPSC 312 1W1 Waiting List 1 Mon Wed Fri 12:00 13:00