Search for tag: "lists"

27 Media

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 39 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 330 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 248 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 334 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 253 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
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 428 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 10 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 492 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 323 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 646 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 344 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 7 plays 0 Licence Type All rights reserved The University of Edinburgh
50:48 FP - Lecture 6 - Map, Filter, Fold FP - Lecture 6 - Map, Filter, Fold	FP - Lecture 6 - Map, Filter, Fold This FP lecture video presents the concepts of map, filter, and fold. inf1a introduction to computation informatics 1 functional programming haskell function idea thing head things question tail square exams questions pattern functions argument library cons lists times computers exam filter From Claudia-Elena Chirita on October 4th, 2020 0 likes 495 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
44:18 FP - Lecture 3 - Lists and Recursion FP - Lecture 3 - Lists and Recursion	FP - Lecture 3 - Lists and Recursion This is the video of the third FP lecture, covering Lists and Recursion. inf1a informatics 1 functional programming haskell lists recursion introduction to computation cons tail thing things head computer squares question variable error tikki expression numbers idea element wreck point equation equals From Claudia-Elena Chirita on September 19th, 2020 0 likes 796 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
24:43 FP - Lecture 2 - List Comprehensions FP - Lecture 2 - List Comprehensions	FP - Lecture 2 - List Comprehensions This is the second FP Lecture video, covering Lists and Comprehensions. inf1a informatics 1 introduction to computation functional programming haskell lists comprehension doo numbers squares integers integer sum property odds things tikki parameter thing square count prelude tail overflow module From Claudia-Elena Chirita on September 11th, 2020 0 likes 1,073 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
07:56 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:42) Add items from your Collection (1:42) Add items by creating them … resource lists leganto resource library resources citations citation digitization collection websites From Viktoria Varga on June 8th, 2020 0 likes 222 plays 0 Licence Type Creative Commons - Attribution Non Commercial Share A Like

Search for tag: "lists"

the university of edinburgh