BrighterTube

Logic and Proof, Lecture 10: Binary Decision Diagrams

Lawrence Paulson787 subscribers

Why it's on BrighterTube

Editorial review · 85% confidence

New channel Lawrence Paulson: title sample judged 'whole' (Nearly all uploads are full Cambridge lecture courses or research seminars on computational logic/formal verification, a); passed a second screen for sellers/exam-prep/re-uploads; 0 of 3 sampled transcripts showed teaching, 0 not; titles picked one by one, checked strictly; oEmbed verified.

What you'll learn

A 50-minute video from Lawrence Paulson: “Logic and Proof, Lecture 10: Binary Decision Diagrams”.

Science & Math

Video by Lawrence Paulson, played through YouTube's embedded player.