Mod-01 Lec-31 Resolution : Soundness and Completeness
Why it's on BrighterTube
Hand-picked by a BrighterTube curator · found via round-3 back catalogue of a channel Lumen picks video by video · 82% confidenceProves soundness and completeness of resolution in first-order logic. Lecture establishing correctness and power of FOL resolution.
What you'll learn
A 50-minute video from nptelhrd: “Mod-01 Lec-31 Resolution : Soundness and Completeness”.
Video by nptelhrd, played through YouTube's embedded player.
Part of Computer - Logic for CS