03:54 duration 3 minutes 54 seconds
CL - 9c - DPLL II
We return to the example introduced in the previous video, and begin to represent the problem in Haskell.
03:17 duration 3 minutes 17 seconds
CL - 7c - Language I
In this video we introduce the idea of a formal language — a language whose expressions can be represented in Haskell.We begin with a simple example, a language of clausal forms in which the…