0:00 / 0:00
#predicatelogic#settheory#mathematicalproofs
Lecture 1: Predicates, Sets, and Proofs
MIT OpenCourseWare
6.5M subscribers • 36 videos on Hallway • University channel
- One of the most-watched uploads on MIT OpenCourseWare, a conference or university channel Hallway lists. Nobody has recommended it in the communities yet, so it ranks below community picks.
- Presented by Zachary Abel, instructor at MIT
Beginner. No background in the topic needed.
364K views1 year ago
Computer scienceComputation and complexityMath for programmers
Zachary Abel introduces predicate logic, sets, and the fundamentals of mathematical proofs for computer science.
MIT 6.1200J Mathematics for Computer Science, Spring 2024 Instructor: Zachary Abel View the complete course: ocw.mit.edu/courses/6-1200j-mathematics-for-computer-science… YouTube Playlist: youtube.com/playlist?list=PLUl4u3cNGP61VNvICqk2HXJTonnKgAc9d This lecture explores what a proof is. It defines proofs, propositions, logical deductions, and axioms and delves into predicate logic. It explores how to use and combine prepositions and how to use implications. License: Creative Commons BY-NC-SA More information at ocw.mit.edu/terms More courses at ocw.mit.edu Support OCW at ow.ly/a1If50zVRlQ We encourage constructive comments and discussion on OCW’s YouTube and other social media channels. Personal attacks, hate speech, trolling, and inappropriate comments are not allowed and may be removed. More details at ocw.mit.edu/comments.Why it's here
A top upload from a listed channelMIT OpenCourseWare is on Hallway's list of conference and university channels, and this upload is one of its most-watched talks or lectures. Nobody has recommended it in the communities yet, so it ranks below community picks.