BrighterTube

Lecture 3, CS402 Introduction to Logic for Computer Science (Spring 2020)

Hongseok Yang340 subscribers

Why it's on BrighterTube

Intermediate · Editorial review · 85% confidence

Full-course playlist 'CS402 Introduction to Logic for Computer Science (Spring 2020, KAIST)' from a curated course list (CS402 Introduction to Logic for Computer Science (Spring 2020, KAIST)); uploader is instructor; playlist judged: Full-length university lecture series on mathematical logic for CS uploaded by the instructor, consistent with genuine substantive teaching.; title passed a strict title check; oEmbed verified.

What you'll learn

A 75-minute video from Hongseok Yang: “Lecture 3, CS402 Introduction to Logic for Computer Science (Spring 2020)”.

Science & Math

Video by Hongseok Yang, played through YouTube's embedded player.