Search for tag: "booleans"

CL - 11a - Expressions

This video introduces the idea that expressions are things we can study.We look first at evaluating algebraic expressions by substituting values for variables, and then do the same for Boolean…

From  Haoran Peng on November 12th, 2020 0 likes 302 plays 0  

CL - 8a - Language II

In this video we return to the idea of a formal language — a language whose expressions can be represented in Haskell.

From  Haoran Peng on November 1st, 2020 0 likes 343 plays 0  

CL - Lecture 4c - Conjunction

In this video, we try to arrive at the conjunction rule.

From  Haoran Peng on October 11th, 2020 0 likes 516 plays 0  

FP - Lecture 8 - Algebraic Data Types

This is the video for the FP lecture on Algebraic Data Types.

From  Claudia-Elena Chirita on October 10th, 2020 0 likes 437 plays 0  

CL - Lecture 1.h - A Small Universe in Haskell

We represent our small universe in Haskell. If this doesn't yet make sense, don't worry; come back to this once you're a bit more familiar with Haskell. There is a slight…

From  Claudia-Elena Chirita on September 11th, 2020 0 likes 678 plays 0