Search for tag: "lists"

32 Media

10:16 How to edit your Resource List How to edit your Resource List	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 … resource lists resource list reading lists library resource collection week document title menu button citation author resources bar field source citations option declaration box fire wrist From Viktoria Varga on June 18th, 2021 0 likes 46 plays 0 Licence Type Creative Commons - Attribution Share A Like
07:11 How to manage your course reading (in 2021/22) How to manage your course reading (in 2021/22)	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… resource lists resource list reading list resources library leganto citations digitisations digitization chapter tag discussion chapters text resource students numbers title note organisers level citation request scan copy tags reserve From Viktoria Varga on June 14th, 2021 0 likes 25 plays 0 Licence Type Creative Commons - Attribution Share A Like Date Created June 14th, 2021
23:02 HoDoMS 2021: Rebecca Hoyle HoDoMS 2021: Rebecca Hoyle	HoDoMS 2021: Rebecca Hoyle Subtitles will be added soon. V-KEMS: Virtual Forum for Knowledge Exchange in the Mathematical Sciences Rebecca Hoyle icms hodoms things study kind exchange knowledge event lot sort groups covid events food government industry sciences economy thing paper lists transmission From Liam Holligan on April 30th, 2021 0 likes 12 plays 0 Publisher Liam Holligan Licence Type All rights reserved Language English Date Created April 21st, 2021
16:23 PGT - Practice Worth Sharing (PWS) - Keeping up… PGT - Practice Worth Sharing (PWS) - Keeping up with your reading (CC)_FINAL	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… practice worth sharing peer-led sessions academic support moray house school of education and support reading notes lot ways text student material things papers tutor kind resource source printing screen breaks lists assignment highlighting citation From Emily Birtles on April 12th, 2021 0 likes 3 plays 0 Publisher Emily Birtles Licence Type All rights reserved Language British Date Created April 7th, 2021
16:20 10.c 10.c	10.c Third video of the Inf2d lecture on First-Order Logic. inf2d reasoning and agents artificial intelligence first-order logic knowledge person base phi john crown logic head king sentence quantifiers negation squares objects numbers things sibling child parent lists From Claudia-Elena Chirita on February 1st, 2021 0 likes 184 plays 0 Course Code INFR08010 Licence Type All rights reserved The University of Edinburgh Language English
04:09 Art and the Playfair Library: Speaking to Absent… Art and the Playfair Library: Speaking to Absent Volumes (summary)	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… playfair library students things library collections space art catalogues challenge volumes range sense collection shelf idea notes lists records resources hints thing From Stuart Brett on November 24th, 2020 2 likes 83 plays 0 Publisher Stuart Brett Licence Type Creative Commons - Attribution Share A Like Date Created November 23rd, 2020
02:44 Art and the Playfair Library: Jenna Waldren Art and the Playfair Library: Jenna Waldren	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… playfair library female writers writers female painting photogram portraits charlotte m. yonge grace atkinson harriet martineau harriet beecher stowe fanny kemble shelf raters 190s literature meal busts century jenner thoughts songs woman material clutch handwritten mark title feel lists marks volume From Stuart Brett on November 24th, 2020 0 likes 161 plays 0 Publisher Stuart Brett Licence Type Creative Commons - Attribution Share A Like Date Created November 23rd, 2020
47:13 FP - Lecture 18 - IO and Monads FP - Lecture 18 - IO and Monads	FP - Lecture 18 - IO and Monads This is the second video on the FP lecture on IO and Monads. inf1a informatics 1 introduction to computation functional programming haskell io and monads monads monad things thing string question function a. questions guard lists return idea result computer parser coin character equations b. From Claudia-Elena Chirita on November 23rd, 2020 0 likes 264 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
51:09 FP - Lecture 15 - Combinatorics FP - Lecture 15 - Combinatorics	FP - Lecture 15 - Combinatorics This is the first video for the FP lectures on Combinatorics. inf1a informatics 1 introduction to computation haskell functional programming combinatorics length things thing lists element elements ways subs properties cheque permutations property sublist possibilities size peach nub lots questions letter From Claudia-Elena Chirita on November 16th, 2020 0 likes 392 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
09:29 CL - 11b - CNF by Boolean algebra CL - 11b - CNF by Boolean algebra	CL - 11b - CNF by Boolean algebra Description Pending inf1a introduction to computation informatics 1 computation and logic times cnf thing things lists stage function thinking side g. law arguments bottom literals negations language haskell languages property library From Haoran Peng on November 12th, 2020 0 likes 256 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
45:18 FP - Lecture 14 - Type Classes FP - Lecture 14 - Type Classes	FP - Lecture 14 - Type Classes This is the video for the FP lecture on Type Classes. inf1a introduction to computation informatics 1 functional programming haskell equality things dictionary types thing classes numbers class integer lists pairs times pair integers argument definition invariant characters eq From Claudia-Elena Chirita on November 8th, 2020 0 likes 352 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
03:54 CL - 9c - DPLL II CL - 9c - DPLL II	CL - 9c - DPLL II We return to the example introduced in the previous video, and begin to represent the problem in Haskell. inf1a computation and logic informatics 1 introduction to computation literals things lists disjunction thing evaluation negation atom language problem words cnf valuation clauses disjunctions forms haskell algorithms bit rule From Haoran Peng on November 4th, 2020 0 likes 257 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
20:25 Art and the Playfair: Speaking to Absent Volumes… Art and the Playfair: Speaking to Absent Volumes (full version)	Art and the Playfair: Speaking to Absent Volumes (full version) Art and the Playfair: Speaking to Absent Volumes playfair library eca edinburgh college of art students things shelf collections text series material library works volume centre student space idea kind sorts raters shelves lists volumes From Stuart Brett on November 4th, 2020 0 likes 66 plays 0 Course Code NA Publisher Stuart Brett Licence Type All rights reserved The University of Edinburgh Language English Date Created November 4th, 2020
45:49 FP - Lecture 12 - Data Types and Data… FP - Lecture 12 - Data Types and Data Abstraction (continued)	FP - Lecture 12 - Data Types and Data Abstraction (continued) This is the second video for the FP lecture on Data Types and Data Abstraction. inf1a introduction to computation informatics 1 haskell data types data abstraction tree node depth things trees element thing invariant log insert subtree elements equality lists abstraction left steps question balance types From Claudia-Elena Chirita on November 1st, 2020 0 likes 444 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
51:43 FP - Lecture 11 - Data Types and Data Abstraction FP - Lecture 11 - Data Types and Data Abstraction	FP - Lecture 11 - Data Types and Data Abstraction This is the first video for the FP lecture on Data Types and Data Abstraction. inf1a informatics 1 introduction to computation haskell data types data abstraction linear element log length things times thing lists efficiency question subset n. difference sets questions size graphics bit lots From Claudia-Elena Chirita on October 25th, 2020 0 likes 510 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
02:20 CL - Sequents CL - Sequents	CL - Sequents We introduce sequents, where we have finite sets of predicates on both sides of the turnstile. inf1a introduction to computation informatics 1 computation and logic sequent calculus gamma delta predicates counterexample satisfies notation haskell universe boom things lists sets goo sequent generalization sequence holes counter b. diagram From Haoran Peng on October 20th, 2020 0 likes 336 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English

Search for tag: "lists"

the university of edinburgh