Search for tag: "lists"

FP - Lecture 18 - IO and Monads

This is the second video on the FP lecture on IO and Monads.

From  Claudia-Elena Chirita on November 23rd, 2020 0 likes 39 plays 0  

FP - Lecture 15 - Combinatorics

This is the first video for the FP lectures on Combinatorics.

From  Claudia-Elena Chirita on November 16th, 2020 0 likes 330 plays 0  

CL - 11b - CNF by Boolean algebra

Description Pending

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

FP - Lecture 14 - Type Classes

This is the video for the FP lecture on Type Classes.

From  Claudia-Elena Chirita on November 8th, 2020 0 likes 334 plays 0  

CL - 9c - DPLL II

We return to the example introduced in the previous video, and begin to represent the problem in Haskell.

From  Haoran Peng on November 4th, 2020 0 likes 253 plays 0  

FP - Lecture 12 - Data Types and Data Abstraction (continued)

This is the second video for the FP lecture on Data Types and Data Abstraction.

From  Claudia-Elena Chirita on November 1st, 2020 0 likes 428 plays 0  

Introduction to the Library for BSc (Hons) Sport and Recreation Management

An introduction to library services and resources available through the University of Edinburgh Library for BSc (Hons) Sport and Recreation Management students.

From  Ishbel Leggat on October 26th, 2020 0 likes 10 plays

FP - Lecture 11 - Data Types and Data Abstraction

This is the first video for the FP lecture on Data Types and Data Abstraction.

From  Claudia-Elena Chirita on October 25th, 2020 0 likes 492 plays 0  

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 323 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 646 plays 0  

CL - Lecture 4.h - Sequents 3

We can now give Gentzen's rules for ¬ ⋀ ⋁.

From  Claudia-Elena Chirita on October 15th, 2020 0 likes 344 plays 0  

Snowball Activity

Demonstration of the snowball technique for the Interactive Teaching and Learning course.

From  Fiona Willox on October 8th, 2020 0 likes 7 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 495 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 796 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,073 plays 0  

How to edit your Resource List

This video is for course organisers. It will show you how to: Export your List (0:17) Add items by searching (0:42) Add items from your Collection (1:42) Add items by creating them …

From  Viktoria Varga on June 8th, 2020 0 likes 222 plays 0