Search for tag: "lists"

PGT - Practice Worth Sharing (PWS) - Keeping up with your reading (CC)_FINAL

Today's Practice Worth Sharing discussion is by Tracey Madden, MSc Digital Education on Keeping up with your reading Discussion: Tips on reading, especially when you find it…

From  Emily Birtles on April 12th, 2021 0 likes 3 plays 0  

10.c

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

From  Claudia-Elena Chirita on February 1st, 2021 0 likes 181 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 81 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 160 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 261 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 388 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 345 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 436 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 15 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 504 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 334 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 655 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 350 plays 0