Unlocking the Power of Logic in Theoretical Computer Science | CMU 15-251 Spring 2013

Explore fundamental concepts of logic in computer science with CMU's Spring 2013 lecture series. Taught by Ryan O'Donnell, this session offers deep insights into the core ideas shaping theoretical CS. 📚

Unlocking the Power of Logic in Theoretical Computer Science | CMU 15-251 Spring 2013
Ryan O'Donnell
3.0K views • Jul 15, 2017
Unlocking the Power of Logic in Theoretical Computer Science | CMU 15-251 Spring 2013

About this video

CMU 15-251: Great Ideas in Theoretical Computer Science
Spring 2013 Lecture #3: Logıc

http://www.cs.cmu.edu/~15251/

Taught by Ryan O'Donnell
(http://www.cs.cmu.edu/~odonnell)

Filmed by Panopto (http://www.panopto.com/)

Tags and Topics

Browse our collection to discover more content in these categories.

Video Information

Views

3.0K

Likes

32

Duration

01:11:47

Published

Jul 15, 2017

User Reviews

4.3
(3)
Rate:

Related Trending Topics

LIVE TRENDS

Related trending topics. Click any trend to explore more videos.