|
Third video of the Inf2d lecture on First-Order Logic.
Course Code
INFR08010 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
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…
Publisher
Stuart Brett Licence Type
Creative Commons - Attribution Share A Like Date Created
November 23rd, 2020
|
|
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…
Publisher
Stuart Brett Licence Type
Creative Commons - Attribution Share A Like Date Created
November 23rd, 2020
|
|
This is the second video on the FP lecture on IO and Monads.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
This is the first video for the FP lectures on Combinatorics.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
Description Pending
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
This is the video for the FP lecture on Type Classes.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
We return to the example introduced in the previous video, and begin to represent the problem in Haskell.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
Art and the Playfair: Speaking to Absent Volumes
Course Code
NA Publisher
Stuart Brett Licence Type
All rights reserved The University of Edinburgh Language
English Date Created
November 4th, 2020
|
|
This is the second video for the FP lecture on Data Types and Data Abstraction.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
An introduction to library services and resources available through the University of Edinburgh Library for BSc (Hons) Sport and Recreation Management students.
Publisher
University of Edinburgh Licence Type
Creative Commons - Attribution Non Commercial Language
English Date Created
October 26th, 2020
|
|
This is the first video for the FP lecture on Data Types and Data Abstraction.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
We introduce sequents, where we have finite sets of predicates on both sides of the turnstile.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
This is the video for the ninth FP lecture on Expression Trees as Algebraic Data Types.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
We can now give Gentzen's rules for ¬ ⋀ ⋁.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
Demonstration of the snowball technique for the Interactive Teaching and Learning course.
Licence Type
All rights reserved The University of Edinburgh
|