YoVDO

Mathematics for Computer Science

Offered By: Massachusetts Institute of Technology via MIT OpenCourseWare

Tags

Computer Science Courses Mathematics Courses Logic Courses

Course Description

Overview

This course covers elementary discrete mathematics for computer science and engineering. It emphasizes mathematical definitions and proofs as well as applicable methods. Topics include formal logic notation, proof methods; induction, well-ordering; sets, relations; elementary graph theory; integer congruences; asymptotic notation and growth of functions; permutations and combinations, counting principles; discrete probability. Further selected topics may also be covered, such as recursive definition and structural induction; state machines and invariants; recurrences; generating functions.

Syllabus

Lec 1 | MIT 6.042J Mathematics for Computer Science, Fall 2010.
Lec 2 | MIT 6.042J Mathematics for Computer Science, Fall 2010.
Lec 3 | MIT 6.042J Mathematics for Computer Science, Fall 2010.
Lec 4 | MIT 6.042J Mathematics for Computer Science, Fall 2010.
Lec 5 | MIT 6.042J Mathematics for Computer Science, Fall 2010.
Lec 6 | MIT 6.042J Mathematics for Computer Science, Fall 2010.
Lec 7 | MIT 6.042J Mathematics for Computer Science, Fall 2010.
Lec 8 | MIT 6.042J Mathematics for Computer Science, Fall 2010.
Lec 9 | MIT 6.042J Mathematics for Computer Science, Fall 2010.
Lec 10 | MIT 6.042J Mathematics for Computer Science, Fall 2010.
Lec 11 | MIT 6.042J Mathematics for Computer Science, Fall 2010.
Lec 12 | MIT 6.042J Mathematics for Computer Science, Fall 2010.
Lec 13 | MIT 6.042J Mathematics for Computer Science, Fall 2010.
Lec 14 | MIT 6.042J Mathematics for Computer Science, Fall 2010.
Lec 15 | MIT 6.042J Mathematics for Computer Science, Fall 2010.
Lec 16 | MIT 6.042J Mathematics for Computer Science, Fall 2010.
Lec 17 | MIT 6.042J Mathematics for Computer Science, Fall 2010.
Lec 18 | MIT 6.042J Mathematics for Computer Science, Fall 2010.
Lec 19 | MIT 6.042J Mathematics for Computer Science, Fall 2010.
Lec 20 | MIT 6.042J Mathematics for Computer Science, Fall 2010.
Lec 21 | MIT 6.042J Mathematics for Computer Science, Fall 2010.
Lec 22 | MIT 6.042J Mathematics for Computer Science, Fall 2010.
Lec 23 | MIT 6.042J Mathematics for Computer Science, Fall 2010.
Lec 24 | MIT 6.042J Mathematics for Computer Science, Fall 2010.
Lec 25 | MIT 6.042J Mathematics for Computer Science, Fall 2010.


Taught by

Prof. Albert R. Meyer and Prof. Adam Chlipala

Tags

Related Courses

Introduction to Logic
Stanford University via Coursera Networked Life
University of Pennsylvania via Coursera Introduction to Mathematical Thinking
Stanford University via Coursera Computational Photography
Georgia Institute of Technology via Coursera Initiation à la théorie des distributions
École Polytechnique via Coursera