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 Lógica y usos
Miríadax Comprendre les Microcontroleurs
École Polytechnique Fédérale de Lausanne via Coursera Logic: Language and Information 1
University of Melbourne via Coursera Logic: Language and Information 2
University of Melbourne via Coursera