MIT 6.042J Mathematics for Computer Science, Spring 2015 View the complete course: http://ocw.mit.edu/6-042JS15 Instructor: Albert R. Meyer This subject offers an interactive introduction to discrete mathematics oriented toward computer science and engineering. The subject coverage divides roughly into thirds: 1)Fundamental concepts of mathematics: Definitions, proofs, sets, functions, relations. 2)Discrete structures: graphs, state machines, modular arithmetic, counting. 3)Discrete probability theory. On completion of 6.042J, students will be able to explain and apply the basic methods of discrete (noncontinuous) mathematics in computer science. They will be able to use these methods in subsequent courses in the design and analysis of algorithms, computability theory, software engineering, and computer systems. License: Creative Commons BY-NC-SA More information at http://ocw.mit.edu/terms More courses at http://ocw.mit.edu
![1.8.6 WOP vs Induction: Video [optional]](/api/proxy/image?url=https://i.ytimg.com/vi/K8ZfzNN1miQ/sddefault.jpg&local=true)
![1.11.7 The Halting Problem: Video [Optional]](/api/proxy/image?url=https://i.ytimg.com/vi/WQHOImO0pX0/sddefault.jpg&local=true)
![1.11.11 Set Theory Axioms: Video [Optional]](/api/proxy/image?url=https://i.ytimg.com/vi/zcvsyL7GtH4/sddefault.jpg&local=true)
