Search for tag: "lists"

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:40) Add items by creating them (1:40) Add items from DiscoverEd …

From  Viktoria Varga on June 18th, 2021 0 likes 46 plays 0  

How to manage your course reading (in 2021/22)

This guide is for Course Organisers and has been updated in response to Covid-19 and the move to hybrid and online teaching. It will show you: How to tag your items so the Library…

From  Viktoria Varga on June 14th, 2021 0 likes 25 plays 0  

HoDoMS 2021: Rebecca Hoyle

Subtitles will be added soon. V-KEMS: Virtual Forum for Knowledge Exchange in the Mathematical Sciences Rebecca Hoyle

From  Liam Holligan on April 30th, 2021 0 likes 12 plays 0  

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 184 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 83 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 161 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 264 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 392 plays 0  

CL - 11b - CNF by Boolean algebra

Description Pending

From  Haoran Peng on November 12th, 2020 0 likes 256 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 352 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 257 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 66 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 444 plays 0  

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 510 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 336 plays 0