Search for tag: "booleans"

5 Media

CL - 11a - Expressions duration 8 minutes 5 seconds CL - 11a - Expressions CL - 11a - Expressions	CL - 11a - Expressions This video introduces the idea that expressions are things we can study.We look first at evaluating algebraic expressions by substituting values for variables, and then do the same for Boolean… inf1a introduction to computation informatics 1 computation and logic times algebra end variables operations matrices things predicates pattern booleans wolf variable integers expressions diagram tutorial bottom kinds woofs functions From Haoran Peng 0 likes 318 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
CL - 8a - Language II duration 3 minutes 59 seconds CL - 8a - Language II CL - 8a - Language II	CL - 8a - Language II In this video we return to the idea of a formal language — a language whose expressions can be represented in Haskell. inf1a computation and logic informatics 1 introduction to computation computation things language computations logic values times description mary john algebra predicates truth laws sorts booleans end equation result operations From Haoran Peng 0 likes 358 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
CL - Lecture 4c - Conjunction duration 5 minutes 15 seconds CL - Lecture 4c - Conjunction CL - Lecture 4c - Conjunction	CL - Lecture 4c - Conjunction In this video, we try to arrive at the conjunction rule. inf1a introduction to computation informatics 1 computation and logic conjunction conjunction rule diagram b. function venn rule booleans things operations pictures euler predicates circle haskell game algebra mind c. relationship diagrams answer From Haoran Peng 0 likes 527 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
FP - Lecture 8 - Algebraic Data Types duration 42 minutes 36 seconds FP - Lecture 8 - Algebraic Data Types FP - Lecture 8 - Algebraic Data Types	FP - Lecture 8 - Algebraic Data Types This is the video for the FP lecture on Algebraic Data Types. inf1a introduction to computation informatics 1 functional programming haskell algebraic data types things functions numbers circle successor thing booleans letter width winter function rectangle types idea height spring point radius summer From Claudia-Elena Chirita 0 likes 472 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
CL - Lecture 1.h - A Small Universe in Haskell duration 12 minutes 7 seconds CL - Lecture 1.h - A Small Universe in Haskell CL - Lecture 1.h - A Small Universe in Haskell	CL - Lecture 1.h - A Small Universe in Haskell We represent our small universe in Haskell. If this doesn't yet make sense, don't worry; come back to this once you're a bit more familiar with Haskell. There is a slight… inf1a introduction to computation informatics 1 computation and logic logic haskell a small universe things thing color universe triangle predicates function disk functions values colors booleans disc types size shape features instance declaration From Claudia-Elena Chirita 0 likes 733 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English