Search for tag: "lists"

10.c

Third video of the Inf2d lecture on First-Order Logic.

From  Claudia-Elena Chirita on February 1st, 2021 0 likes 155 plays 0  

Art and the Playfair Library: Speaking to Absent Volumes (summary)

In this short video Jane and Elizabeth introduce themselves and explain the origins of the project. Providing a history of the Playfair Library and an overview of how the student artists engaged with…

From  Stuart Brett on November 24th, 2020 2 likes 74 plays 0  

Art and the Playfair Library: Jenna Waldren

Project website https://edin.ac/art-playfair-library Copyright and licence Copyright © The University of Edinburgh 2020 CC BY-SA This work is licensed under a Creative Commons…

From  Stuart Brett on November 24th, 2020 0 likes 153 plays 0  

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 256 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 381 plays 0  

CL - 11b - CNF by Boolean algebra

Description Pending

From  Haoran Peng on November 12th, 2020 0 likes 255 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 342 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 256 plays 0  

Art and the Playfair: Speaking to Absent Volumes (full version)

Art and the Playfair: Speaking to Absent Volumes

From  Stuart Brett on November 4th, 2020 0 likes 60 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 432 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 13 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 502 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 330 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 652 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 348 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 29 plays 0