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…

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

Conditional Language Models

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.

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…

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.

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.…

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

We show the intuition of contraposition using Venn diagrams.

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

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

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

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.

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…

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 …

A short introduction to random vectors, why multiple random variables occur as a group, and some example applications of random vectors. A graphical representation of a random vector which builds…