Search for tag: "sides"

CL - 12c - chains

In this video we look at the next simplest example, chains of implications between atoms. We introduce the arrow rule.

From  Haoran Peng on November 9th, 2020 0 likes 274 plays 0  

CL - 6d - Karnaugh Maps III

More on blocks of ones (which correspond to conjunctions of literals).

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

CL - Q&A - Thursday Week 4

In week 4 we introduced Gentzen's sequents.You should make sure you understand when a sequent is valid, and what it means to provide a counter-example to a sequent -- a universe in which the…

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

How to Film on a Mobile Device

Whether you are creating online course content or generating your own media projects, you may have the occasion to film and edit remotely using your own equipment. This short video tutorial provides…

From  Calum Macphail on April 17th, 2020 2 likes 249 plays 0  

Gradient Descent Problems

Gradient Descent Problems

From  Nigel Goddard on September 18th, 2016 1 likes 1,876 plays 0