Search for tag: "booleans"

5 Media

08:05 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 312 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
03:59 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 348 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
05:15 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 520 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
42:36 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 450 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
12:07 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 701 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English

the university of edinburgh

The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336, VAT Registration Number GB 592 9507 00, and is acknowledged by the UK authorities as a “Recognised body” which has been granted degree awarding powers.

Any views expressed within media held on this service are those of the contributors, should not be taken as approved or endorsed by the University, and do not necessarily reflect the views of the University in respect of any particular issue.

Search for tag: "booleans"

CL - 11a - Expressions

CL - 8a - Language II

CL - Lecture 4c - Conjunction

FP - Lecture 8 - Algebraic Data Types

CL - Lecture 1.h - A Small Universe in Haskell

the university of edinburgh