Search for tag: "lists"

31 Media

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 155 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 74 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 153 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 256 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 381 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 255 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 342 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 256 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 60 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 432 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
29:17 Introduction to the Library for BSc (Hons) Sport… Introduction to the Library for BSc (Hons) Sport and Recreation Management	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. library books e-books journals e-journals main library moray house library library databases bibliographic databases referencing reading lists access sources resources libraries study databases slide spaces collections card student topic articles webpage students lip librarians style From Ishbel Leggat on October 26th, 2020 0 likes 13 plays Publisher University of Edinburgh Licence Type Creative Commons - Attribution Non Commercial Language English Date Created October 26th, 2020
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 502 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 330 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
49:13 FP - Lecture 9 - Expression Trees as Algebraic… FP - Lecture 9 - Expression Trees as Algebraic Data Types	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. inf1a introduction to computation informatics 1 functional programming haskell algebraic data types thing things expression question times names expressions parentheses ad tree trees constructor types function nub languages string term lists From Claudia-Elena Chirita on October 18th, 2020 0 likes 652 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
04:13 CL - Lecture 4.h - Sequents 3 CL - Lecture 4.h - Sequents 3	CL - Lecture 4.h - Sequents 3 We can now give Gentzen's rules for ¬ ⋀ ⋁. inf1a introduction to computation informatics 1 computation and logic logic delta universe gamma rules rule deltas gammas thing adultery assumption bottom negation commerce lists times things head assets place brackets From Claudia-Elena Chirita on October 15th, 2020 0 likes 348 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
09:52 Snowball Activity Snowball Activity	Snowball Activity Demonstration of the snowball technique for the Interactive Teaching and Learning course. cep mbchb snowball teaching and learning interactive questions things minutes minute point task perception paper 4s components areas insight question scraps bit thing lists person chance parts From Fiona Willox on October 8th, 2020 0 likes 29 plays 0 Licence Type All rights reserved The University of Edinburgh

Search for tag: "lists"

the university of edinburgh