Search for tag: "haskell"

39 Media

School of Informatics Sample Undergraduate… duration 36 minutes 14 seconds School of Informatics Sample Undergraduate… School of Informatics Sample Undergraduate Lecture	School of Informatics Sample Undergraduate Lecture School of Informatics - Sample 1st year lecturePropositions as Types by Professor Philip WadlerSemester 1: Lecture 19 (INF1A) school of informatics proof b. haskell thing things a. logic term pair function rule curry programme lambda idea rules calculus languages types introduction From Informatics at Edinburgh 0 likes 28 plays 0 Publisher UoE School of Informatics Licence Type All rights reserved The University of Edinburgh Language English Date Created June 3rd, 2021
Coursework 1 duration 13 minutes 30 seconds Coursework 1 Coursework 1	Coursework 1 This is the video presenting the first Coursework for Inf2D, Reasoning and Agents. inf2d reasoning and agents artificial intelligence quoridor game minimax haskell action tree player function wall board parts tests coursework edges opening branches algorithm graph walls From Claudia-Elena Chirita 0 likes 175 plays 0 Course Code INFR08010 Licence Type All rights reserved The University of Edinburgh Language English
FP - Lecture 19 - Propositions as Types duration 37 minutes 11 seconds FP - Lecture 19 - Propositions as Types FP - Lecture 19 - Propositions as Types	FP - Lecture 19 - Propositions as Types This is the last FP video lecture, on Propositions as Types. inf1a informatics 1 introduction to computation haskell functional programming types proof thing logic term pair function rule curry programme lambda idea calculus introduction milner From Claudia-Elena Chirita 0 likes 419 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
CL - 16 - ε-transitions and the subset… duration 49 minutes 40 seconds CL - 16 - ε-transitions and the subset… CL - 16 - ε-transitions and the subset construction	CL - 16 - ε-transitions and the subset construction This is a raw video from 2019. I've not yet had time to edit it into chunks. If you have any questions, or find any errors, please let me know on Piazza. inf1a introduction to computation informatics 1 computation and logic machine epsilon transitions transition epsilons string start dfa table lights numbers machines haskell diagram thing things character hole place picture From Haoran Peng 0 likes 235 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
FP - Lecture 17 - IO and Monads duration 46 minutes 18 seconds FP - Lecture 17 - IO and Monads FP - Lecture 17 - IO and Monads	FP - Lecture 17 - IO and Monads This is the first video for the FP lecture on IO and Monads. inf1a introduction to computation haskell functional programming command thing things char function question mark string lambda computer mind monad io a. input unit questions monoid lot From Claudia-Elena Chirita 0 likes 361 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
FP - Lecture 18 - IO and Monads duration 47 minutes 13 seconds 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 0 likes 277 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
CL - 13a - Machines duration 5 minutes 8 seconds CL - 13a - Machines CL - 13a - Machines	CL - 13a - Machines This video introduces the notion of a machine. inf1a informatics 1 introduction to computation haskell machines automata logic machine button lights arrows buttons picture arrow characters idea word moment sequences things kind character inputs blinking lots fact From Claudia-Elena Chirita 0 likes 197 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
CL - 14a - Tseytin Week 9 duration 6 minutes 28 seconds CL - 14a - Tseytin Week 9 CL - 14a - Tseytin Week 9	CL - 14a - Tseytin Week 9 In the second video, we show how the Tesytin procedure can be implemented elegantly in Haskell. inf1a introduction to computation informatics 1 computation and logic expression form thing wire gate character clausal pattern bit function variables cnf patent matching characters haskell formula circuit transform subformula From Haoran Peng 0 likes 297 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
FP - Lecture 16 - Combinatorics duration 47 minutes 33 seconds FP - Lecture 16 - Combinatorics FP - Lecture 16 - Combinatorics	FP - Lecture 16 - Combinatorics This is the second video for the FP lecture on Combinatorics. inf1a introduction to computation informatics 1 haskell functional programming combinatorics From Claudia-Elena Chirita 0 likes 300 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
FP - Lecture 15 - Combinatorics duration 51 minutes 9 seconds 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 0 likes 411 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
CL - 11b - CNF by Boolean algebra duration 9 minutes 29 seconds 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 0 likes 269 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
FP - Lecture 14 - Type Classes duration 45 minutes 18 seconds 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 0 likes 374 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
FP - Lecture 13 - Laziness, Higher-order, and… duration 51 minutes 20 seconds FP - Lecture 13 - Laziness, Higher-order, and… FP - Lecture 13 - Laziness, Higher-order, and Sorting	FP - Lecture 13 - Laziness, Higher-order, and Sorting This is the video for the FP lecture on Laziness, Higher-order, and Sorting. inf1a informatics 1 introduction to computation haskell functional programming thing times element elements functions answer function evaluation things numbers bit insertion log n. compiler lot tree sum trillion cutoff From Claudia-Elena Chirita 0 likes 500 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
CL - 9c - DPLL II duration 3 minutes 54 seconds 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 0 likes 267 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
FP - Lecture 12 - Data Types and Data… duration 45 minutes 49 seconds 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 0 likes 458 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
CL - 7h - Some Haskell remarks duration 5 minutes 33 seconds CL - 7h - Some Haskell remarks CL - 7h - Some Haskell remarks	CL - 7h - Some Haskell remarks In this video we give an example showing how Haskell's types can help us to avoid confusions.We then discuss the types of the Boolean operations lifted to predicates, and show how… inf1a introduction to computation informatics 1 computation and logic function functions things haskell integer universe quantifiers bit errors delta predicate thing arguments brackets subsets predicates operations signature types argument From Haoran Peng 0 likes 247 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English