MIT 6.1200J Mathematics for Computer Science, Spring 2024 - Lecture 3: Casework and Strong Induction

4.0 (5)

52 learners

What you'll learn

This course includes

31.5 hours of video
Certificate of completion
Access on mobile and TV

Summary

Keywords

6-1200j-mathematics-for-computer-science-spring-2024 direct argument instantiation proof by cases strong induction

Full Transcript

MIT 6.1200J Mathematics for Computer Science, Spring 2024 Instructor: Erik Demaine View the complete course: https://ocw.mit.edu/courses/6-1200j-mathematics-for-computer-science-spring-2024/ YouTube Playlist: https://www.youtube.com/playlist?list=PLUl4u3cNGP61VNvICqk2HXJTonnKgAc9d This lecture builds upon proof techniques of construction, instantiation, direct argument, contradiction, and induction. We then go over more proof by cases and strong induction. License: Creative Commons BY-NC-SA More information at https://ocw.mit.edu/terms More courses at https://ocw.mit.edu Support OCW at http://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 https://ocw.mit.edu/comments.

Continue this lesson in the app

Install CourseHive on Android or iOS to keep learning while you move.

Related Courses

Direção de Arte no Cinema e Jogos: Fundamentos Essenciais

Transforme sua criatividade em carreira: descubra os segredos da Direção de Arte no cinema, jogos e design gráfico com especialistas e aprenda a criar mundos visuais incríveis. Inscreva-se agora e revolucione sua visão artística!

⭐ 4.0

29 ratings

0 min

30-Day Beginner Guitar Challenge for New Players

Master the Guitar in 30 Days: Your Ultimate Beginner Challenge! Unleash your inner guitarist with step-by-step lessons designed to transform you from novice to confident player. Join Your Guitar Academy and kickstart your musical journey today!

⭐ 4.3

36 ratings

7 hours