Search for tag: "operations"

LAGOON: Leicester Algebra and Geometry Open ONline: Alexandra Zvonareva (Stuttgart, German)

Subtitles will appear soon. 11 March Alexandra Zvonareva (Stuttgart, German) - Derived equivalence classification of Brauer graph algebras

From  Liam Holligan on March 11th, 2021 0 likes 15 plays 0  

CL - 14d - Regular Languages (II)

We give a second definition of regular language as the languages generated from the empty and singleton languages by the operations of, concatenation, alternation, and iteration.

From  Haoran Peng on November 20th, 2020 0 likes 157 plays 0  

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…

From  Haoran Peng on November 12th, 2020 0 likes 297 plays 0  

CL - 9a - Recap

This video is a brief recap of most of the logic we have covered so far. You may find it useful, to jog your memory and check your understanding.

From  Haoran Peng on November 2nd, 2020 0 likes 346 plays 0  

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…

From  Haoran Peng on November 1st, 2020 0 likes 236 plays 0  

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.

From  Haoran Peng on November 1st, 2020 0 likes 340 plays 0  

CL - Lecture 4.k - Logic and Algebra

Last CL video for week 4.

From  Claudia-Elena Chirita on October 15th, 2020 0 likes 294 plays 0  

CL - Lecture 4c - Conjunction

In this video, we try to arrive at the conjunction rule.

From  Haoran Peng on October 11th, 2020 0 likes 510 plays 0  

CL - Lecture 3h - Operator Precedence

In this video, we introduce operator precedence. An expression such as a ⋀ b ⋁ c, without parentheses, could represent either (a ⋀ b) ⋁ c or a ⋀ (b ⋁ c). To specify which we mean, we either need to…

From  Haoran Peng on October 4th, 2020 0 likes 384 plays 0  

6c - Contribution of design and manufacturing to failures (1)

Lecture 6c - Contribution of design and manufacturing to failures (1) by Prof Ian Underwood

From  Lesley Gibson on September 4th, 2020 0 likes 64 plays 0  

7a - Contribution of design and manufacturing to failures (2)

Lecture 7a - Contribution of design and manufacturing to failures (2) by Prof Ian Underwood

From  Lesley Gibson on September 3rd, 2020 0 likes 58 plays 0  

1b - Phases of the Product Development Cycle

Lecture 1b - Phases of the Product Development Cycle by Prof Ian Underwood

From  Lesley Gibson on September 3rd, 2020 0 likes 92 plays 0  

Preparing Data

Preparing Data

From  Holly Marissa Tibble on June 4th, 2020 0 likes 104 plays 0  

RStudio Projects

RStudio Projects

From  Holly Marissa Tibble on June 4th, 2020 0 likes 101 plays 0  

Agglomerative clustering (bottom-up)

Agglomerative clustering (bottom-up)

From  Nigel Goddard on September 25th, 2016 0 likes 1,822 plays 0