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.

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…

Part 1: What is the hidden curriculum in Music? Conference session recording (Collaborate), Edinburgh University Learning and Teaching Conference 2020. 'Critical approaches to the hidden…

Covariance