Great Ideas in Theoretical Computer Science: Logic (Spring 2013)
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://ww...
🔥 Related Trending Topics
LIVE TRENDSThis video may be related to current global trending topics. Click any trend to explore more videos about what's hot right now!
THIS VIDEO IS TRENDING!
This video is currently trending in Thailand under the topic 'สภาพอากาศ'.
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/)
Video Information
Views
3.0K
Total views since publication
Likes
32
User likes and reactions
Duration
01:11:47
Video length
Published
Jul 15, 2017
Release date
Quality
hd
Video definition
About the Channel
Tags and Topics
This video is tagged with the following topics. Click any tag to explore more related content and discover similar videos:
#GTICS #GITCS #251 #15-251 #CMU #Carnegie Mellon #Theoretical Computer Science #Great Ideas in Theoretical Computer Science #Great Theoretical Ideas in Computer Science #TCS #logic #first order logic #propositional logic #axiomatic systems #Peano arithmetic #ZFC #set theory
Tags help categorize content and make it easier to find related videos. Browse our collection to discover more content in these categories.