Tuesday, February 25 2020, 22:18 pm
Mathematics for Computer Science – MIT OpenCourseWare

Mathematics for Computer Science – MIT OpenCourseWare

lems that arise in computer science. The notion of a proof plays a central role in this work. Simply put, a proof is a method of establishing truth. Like beauty, “truth” some-times depends on the eye of the beholder, and it should not be surprising that what constitutes a proof differs among fields. For example, in the judicial system, legal