MIT OpenCourseWare: Free Courses from the institute

MIT 6.1200J Mathematics for Computer Science, Spring 2024
Instructor: Erik Demaine

Uploaded 23-07-25

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.



Learn more about your ad choices. Visit megaphone.fm/adchoices

Learn more about your ad choices. Visit megaphone.fm/adchoices

MIT ESD.932 Engineering Ethics, Spring 2006
Instructor: Dr. Taft Broome
View the complete course: https://ocw.mit.edu/courses/esd-932-engineering-ethics-spring-2006/
YouTube Playlist: https://www.youtube.com/playlist?list=PLUl4u3cNGP61YF5HCMnGUwJ8D-PNNs3OR

Uploaded 06-06-22

This course introduces the theory and the practice of engineering ethics using a multi-disciplinary and cross-cultural approach. Theory includes ethics and philosophy of engineering. Historical cases are taken primarily from the scholarly literatures on engineering ethics, and hypothetical cases are written by students. Each student will write a story by selecting an ancestor or mythic hero as a substitute for a character in a historical case. Students will compare these cases and recommend action.

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.

Speakers: Dr. Taft Broome



Learn more about your ad choices. Visit megaphone.fm/adchoices

Learn more about your ad choices. Visit megaphone.fm/adchoices

MIT 6.1200J Mathematics for Computer Science, Spring 2024
Instructor: Zachary Abel

Uploaded 22-07-25

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

Graphs are incredibly useful structures in computer science. Their applications range from scheduling to communications to search engines. In this lecture, we look at several types of graphs and coloring.

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.



Learn more about your ad choices. Visit megaphone.fm/adchoices

Learn more about your ad choices. Visit megaphone.fm/adchoices

MIT ESD.932 Engineering Ethics, Spring 2006
Instructor: Dr. Taft Broome
View the complete course: https://ocw.mit.edu/courses/esd-932-engineering-ethics-spring-2006/
YouTube Playlist: https://www.youtube.com/playlist?list=PLUl4u3cNGP61YF5HCMnGUwJ8D-PNNs3OR

Uploaded 06-06-22

This course introduces the theory and the practice of engineering ethics using a multi-disciplinary and cross-cultural approach. Theory includes ethics and philosophy of engineering. Historical cases are taken primarily from the scholarly literatures on engineering ethics, and hypothetical cases are written by students. Each student will write a story by selecting an ancestor or mythic hero as a substitute for a character in a historical case. Students will compare these cases and recommend action.

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.

Speakers: Dr. Taft Broome



Learn more about your ad choices. Visit megaphone.fm/adchoices

Learn more about your ad choices. Visit megaphone.fm/adchoices

MIT 6.1200J Mathematics for Computer Science, Spring 2024
Instructor: Zachary Abel

Uploaded 22-07-25

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 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 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.



Learn more about your ad choices. Visit megaphone.fm/adchoices

Learn more about your ad choices. Visit megaphone.fm/adchoices

MIT ESD.932 Engineering Ethics, Spring 2006
Instructor: Dr. Taft Broome
View the complete course: https://ocw.mit.edu/courses/esd-932-engineering-ethics-spring-2006/
YouTube Playlist: https://www.youtube.com/playlist?list=PLUl4u3cNGP61YF5HCMnGUwJ8D-PNNs3OR

Uploaded 06-06-22

This course introduces the theory and the practice of engineering ethics using a multi-disciplinary and cross-cultural approach. Theory includes ethics and philosophy of engineering. Historical cases are taken primarily from the scholarly literatures on engineering ethics, and hypothetical cases are written by students. Each student will write a story by selecting an ancestor or mythic hero as a substitute for a character in a historical case. Students will compare these cases and recommend action.

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.

Speakers: Dr. Taft Broome



Learn more about your ad choices. Visit megaphone.fm/adchoices

Learn more about your ad choices. Visit megaphone.fm/adchoices

MIT 6.1200J Mathematics for Computer Science, Spring 2024
Instructor: Erik Demaine

Uploaded 22-07-25

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

Motivation: getting around! In this lecture, we look at optimization problems such as: What about efficiency? Shortest route or fastest route (might not be the same!)?

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.



Learn more about your ad choices. Visit megaphone.fm/adchoices

Learn more about your ad choices. Visit megaphone.fm/adchoices

MIT ESD.932 Engineering Ethics, Spring 2006
Instructor: Dr. Taft Broome
View the complete course: https://ocw.mit.edu/courses/esd-932-engineering-ethics-spring-2006/
YouTube Playlist: https://www.youtube.com/playlist?list=PLUl4u3cNGP61YF5HCMnGUwJ8D-PNNs3OR

Uploaded 06-06-22

This course introduces the theory and the practice of engineering ethics using a multi-disciplinary and cross-cultural approach. Theory includes ethics and philosophy of engineering. Historical cases are taken primarily from the scholarly literatures on engineering ethics, and hypothetical cases are written by students. Each student will write a story by selecting an ancestor or mythic hero as a substitute for a character in a historical case. Students will compare these cases and recommend action.

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.

Speakers: Dr. Taft Broome



Learn more about your ad choices. Visit megaphone.fm/adchoices

Learn more about your ad choices. Visit megaphone.fm/adchoices

MIT 6.1200J Mathematics for Computer Science, Spring 2024
Instructor: Zachary Abel

Uploaded 22-07-25

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

Today we will explore some basic (but crucial!) proof techniques, and then two powerful techniques: proof by contradiction and proof by 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.



Learn more about your ad choices. Visit megaphone.fm/adchoices

Learn more about your ad choices. Visit megaphone.fm/adchoices

MIT ESD.932 Engineering Ethics, Spring 2006
Instructor: Prof. Sheila Widnall
View the complete course: https://ocw.mit.edu/courses/esd-932-engineering-ethics-spring-2006/
YouTube Playlist: https://www.youtube.com/playlist?list=PLUl4u3cNGP61YF5HCMnGUwJ8D-PNNs3OR

Uploaded 06-06-22

This course introduces the theory and the practice of engineering ethics using a multi-disciplinary and cross-cultural approach. Theory includes ethics and philosophy of engineering. Historical cases are taken primarily from the scholarly literatures on engineering ethics, and hypothetical cases are written by students. Each student will write a story by selecting an ancestor or mythic hero as a substitute for a character in a historical case. Students will compare these cases and recommend action.

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.

Speakers: Prof. Sheila Widnall



Learn more about your ad choices. Visit megaphone.fm/adchoices

Learn more about your ad choices. Visit megaphone.fm/adchoices