Search for tag: "properties"

CL - Lecture 4.k - Logic and Algebra

Last CL video for week 4.

From  Claudia Chirita on October 15th, 2020 0 likes 210 plays 0  

New Text Editor - Accessibility Checker

A new text editor is on its way to Learn, and will be available on the 5th of November 2020. It has an updated look and feel which will be demonstrated in this video.

From  Stephannie Hay on October 15th, 2020 0 likes 8 plays 0  

CL - Lecture 4.g - Sequents 2

Additional predicates after the turnstile behave similarly.

From  Claudia Chirita on October 15th, 2020 0 likes 276 plays 0  

CL - Lecture 4.f - Sequents 1

We interpret additional predicates before the turnstile. These simply express validity in a sub-universe. This means that for any sound rule the corresponding rule with additional predicates is…

From  Claudia Chirita on October 15th, 2020 0 likes 325 plays 0  

South East Mathematical Physics Seminars: Juan Miguel Nieto García (Lecture 2)

An automated programme is used to generate the subtitles on this talk. You can remove the subtitles by pressing CC on the bottom toolbar. Juan Miguel Nieto García Scalar Products in the…

From  Liam Holligan on October 13th, 2020 0 likes 7 plays 0  

FP - Lecture 7 - Function Properties

This is the video for the FP lecture on function properties.

From  Claudia Chirita on October 8th, 2020 0 likes 387 plays 0  

Rosanna Laking: Infinite-dimensional representations of algebras

Rosanna Laking: Infinite-dimensional representations of algebras

From  OLLIE Quinn on October 8th, 2020 0 likes 8 plays 0  

Kaltura Capture recording - October 7th 2020, 5:55:10 pm

lecture 4 part 3

From  Pauline Phemister on October 7th, 2020 0 likes 8 plays 0  

T3_2_Property_Based_Testing

This episode introduces property-based testing and compares it to example-based testing.

From  Evgenij Belikov on October 4th, 2020 0 likes 1 plays 0  

CL - Lecture 2.a - Aristotelian Syllogisms. Euler diagrams

This is the first video on Syllogisms. We start by introducing barbara, the simplest classical syllogism, and the proposition, "all a are b", known as universal affirmation. We briefly …

From  Claudia Chirita on September 26th, 2020 0 likes 522 plays 0  

I Castellano

Ilaria Castellano: Introduction to totally disconnected locally compact groups

From  OLLIE Quinn on September 25th, 2020 0 likes 13 plays 0  

MP Week 1 Pt 1

Introducing Phenomenology

From  Dave Ward on September 21st, 2020 0 likes 6 plays 0  

CL - 2019 Lecture 1

This is an old recording of Lecture 1, from 2019.

From  Claudia Chirita on September 12th, 2020 0 likes 124 plays 0  

CL - Lecture 1.x - Introduction to models

Nothing technical here. In this video I introduce some important questions about mathematical, logical and computational models, to start you thinking about the relationship between the virtual …

From  Claudia Chirita on September 11th, 2020 0 likes 436 plays 0  

Topic 2: Course aims and objectives, overview, key themes (PETARS, Chapter 1)

This video gives a very brief introduction to signal processing, describes the course aims and objectives from a high-level, the learning outcomes, and prerequisites needed to study the course. The…

From  James Hopgood on September 5th, 2020 0 likes 22 plays 0  

1.0 LCIintrolec

intro video

From  Paul Schweizer on September 2nd, 2020 0 likes 63 plays 0