Mod-01 Lec-13 Lecture-13-Adequacy of Resolution
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% confidenceExamines adequacy of resolution as a proof method, a central result in logic guaranteeing the method's completeness. Theoretical foundation in automated reasoning.
What you'll learn
A 53-minute video from nptelhrd: “Mod-01 Lec-13 Lecture-13-Adequacy of Resolution”.
Video by nptelhrd, played through YouTube's embedded player.
Part of Mathematics - Mathematical Logic