Search for tag: "haskell"

CL - Sequents

We introduce sequents, where we have finite sets of predicates on both sides of the turnstile.

From  Haoran Peng on October 20th, 2020 0 likes 231 plays 0  

CL - Q&A - Thursday Week 4

In week 4 we introduced Gentzen's sequents.You should make sure you understand when a sequent is valid, and what it means to provide a counter-example to a sequent -- a universe in which the…

From  Haoran Peng on October 20th, 2020 0 likes 230 plays 0  

FP - Lecture 10 - Expression Trees as Algebraic Data Types

This is the video for the 10th FP lecture.

From  Claudia-Elena Chirita on October 19th, 2020 0 likes 123 plays 0  

FP - Lecture 9 - Expression Trees as Algebraic Data Types

This is the video for the ninth FP lecture on Expression Trees as Algebraic Data Types.

From  Claudia-Elena Chirita on October 18th, 2020 0 likes 193 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 460 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 368 plays 0  

FP - Lecture 7 - Function Properties

This is the video for the FP lecture on function properties.

From  Claudia-Elena Chirita on October 8th, 2020 0 likes 573 plays 0  

FP - Lecture 6 - Map, Filter, Fold

This FP lecture video presents the concepts of map, filter, and fold.

From  Claudia-Elena Chirita on October 4th, 2020 0 likes 465 plays 0  

CL - Lecture 3h - Operator Precedence

In this video, we introduce operator precedence. An expression such as a ⋀ b ⋁ c, without parentheses, could represent either (a ⋀ b) ⋁ c or a ⋀ (b ⋁ c). To specify which we mean, we either need to…

From  Haoran Peng on October 4th, 2020 0 likes 368 plays 0  

FP - Lecture 5 - Select, Take, Drop

This is the video of the 5th FP lecture, discussing select, take and drop.

From  Claudia-Elena Chirita on October 4th, 2020 0 likes 537 plays 0  

FP - Lecture 4 - More Fun with Recursion

This is the video of the fourth FP lecture, presenting Recursion into more detail.

From  Claudia-Elena Chirita on September 25th, 2020 0 likes 525 plays 0  

FP - Lecture 3 - Lists and Recursion

This is the video of the third FP lecture, covering Lists and Recursion.

From  Claudia-Elena Chirita on September 19th, 2020 0 likes 776 plays 0  

Introduction to Introduction to Computation

Welcome! This is the Introduction to Introduction to Computation course: Lecture 0 of Inf1A.

From  Claudia-Elena Chirita on September 12th, 2020 0 likes 550 plays 0  

CL - 2019 Lecture 1

This is an old recording of Lecture 1, from 2019.

From  Claudia-Elena Chirita on September 12th, 2020 0 likes 124 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 643 plays 0  

FP - Lecture 2 - List Comprehensions

This is the second FP Lecture video, covering Lists and Comprehensions.

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