Search for tag: "notation"

Isomorphism Problem for Even Artin Groups - Luis Paris

Perspectives on Artin Groups Workshop (24 - 27 May 2021) Luis Paris, University of Bourgogne - Isomorphism Problem for Even Artin Groups 25 May 2021 This recording is subtitled. If you wish to…

From  Sophia Martin on June 1st, 2021 0 likes 6 plays 0  

Victor Elvira: Graph discovery and Bayesian filtering in state-space models

This talk has captions. You can remove these by pressing CC on the video toolbar. Modeling and inference in multivariate time series is central in statistics, signal processing, and machine…

From  Belle Taylor on April 29th, 2021 0 likes 30 plays 0  

Fundamentals of Music Theory

Our free short online course Fundamentals of Music Theory will introduce you to the theory of music, providing you with the skills needed to read and write Western music notation, as well as to…

From  Mari-Nikol Panteva on March 22nd, 2021 0 likes 12 plays 0  

FDS-S2-01-2-1 Introduction to estimation

We'll introduce the concept of estimating a population or distribution parameter from a sample.

From  David Sterratt on January 14th, 2021 0 likes 256 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 352 plays 0  

CL - 5x - Supplementary on Sequents

This video includes a couple of points from a 2019 review lecture on Sequents.First we discuss how to use reduction to find an inhabited model in which Γ ⊨ Δ, which is equivalent to…

From  Haoran Peng on October 30th, 2020 0 likes 21 plays 0  

CL - 6g - CNF II

This video shows how to use a Karnaugh map to represent an arbitrary Boolean function of four variables as a conjunctive normal form (CNF) — a conjunction of disjunctions of literals.

From  Haoran Peng on October 24th, 2020 0 likes 385 plays 0  

Topic 42: Introduction to Estimation Theory (PETARS, Chapter 6)

In this video, Estimation Theory is introduced in which unknown parameters are estimated from data, rather than assuming that problems can be described by fully known distributions or statistics.…

From  James Hopgood on October 21st, 2020 0 likes 110 plays 0  

CL - Sequents

We introduce sequents, where we have finite sets of predicates on both sides of the turnstile.

From  Haoran Peng on October 20th, 2020 0 likes 338 plays 0  

CL - Review 1 - Contraposition

We show the intuition of contraposition using Venn diagrams.

From  Haoran Peng on October 20th, 2020 0 likes 344 plays 0  

Kaltura Capture recording - October 13th 2020, 7:27:41 am

In this video I discuss transcription of verbal data using Jefferson's system of notation.

From  Susan Widdicombe on October 13th, 2020 0 likes 319 plays 0  

CL - Lecture 4a - Aristotle's Rules

Our first video is a recap of last week's materials.

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

CL - Lecture 2.d - Negation and Contraposition of Predicates

In this video on syllogisms, we introduce the logic of negation.

From  Claudia-Elena Chirita on September 26th, 2020 0 likes 466 plays 0  

CL - Lecture 2.c - Aristotle’s Universal Propositions

In this video on syllogisms, we present a new form of proposition -- universal denial. Introducing negation gives a new syllogism as an instance of barbara.

From  Claudia-Elena Chirita on September 26th, 2020 0 likes 445 plays 0  

CL - Lecture 2.aa - Aristotelian Syllogisms. Venn diagrams

This is the second video on Syllogisms. We return to discuss the relationship between Euler and Venn diagrams, and introduce some notation.Having watched this video, you should be able to count how…

From  Claudia-Elena Chirita on September 26th, 2020 0 likes 494 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-Elena Chirita on September 26th, 2020 0 likes 558 plays 0