https://openlearninglibrary.mit.edu/courses/course-v1:OCW+6.042J+2T2019/about

Skip to main content

MIT Open Learning Library Home Page

  * All Courses
  * About
  * Contact

Sign in
Create Account
# Give
6.042J

Mathematics for Computer Science

View Course View the course as an anonymous user. Your progress will
not be tracked, and some content may not be available.
Enroll to Get Started Enroll in the course to take advantage of
advanced assessments and keep track of course progress.
[asset-v1]

About This Course

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.


OCW logo.

This course is brought to you by MIT OpenCourseWare, and provided
under our Creative Commons License. It is also available for study on
the OCW website.

Recommended Prerequisites

Familiarity with sequences and series, limits, and differentiation
and integration of functions of one variable are necessary. This is
taught in 18.01 Single Variable Calculus (OCW).

Instructors

[AlbertMeye]

Albert Meyer

Hitachi America Professor of Computer Science

Instructor in the Department of Electrical Engineering and Computer
Science.

[AdamChlipa]

Adam Chlipala

Professor of Research and Development

Instructor in the Department of Electrical Engineering and Computer
Science.

Related Content

OCW

  * 18.01SC Single Variable Calculus (Fall 2010)
  * 6.006 Introduction to Algorithms (Fall 2011)

MITx

  * Calculus 1A: Differentiation
  * Calculus 1B: Integration
  * Calculus 1C: Coordinate Systems and Infinite Series

License and Terms of Use

This course is licensed Creative Commons
Attribution-NonCommercial-ShareAlike(CC BY-NC-SA), which permits you
to freely download, share, and adapt the material so long as you give
appropriate credit, use it only for non-commercial purposes, and any
remix and redistribution of derivative works uses this same CC
BY-NC-SA license.

Frequently Asked Questions

Find answers to the most common questions and find information on
further assistance here.

 1. Course Number:

    6.042J
 2. Classes Start:

 3. Classes End:

 4. Length:

    13 weeks
 5. Year Created:

    2019

Enroll 
[enroll]
 1. Open Learning Library
 2. About
 3. Accessibility
 4. All Courses
 5. Why Support MIT Open Learning?
 6. Help

  * Connect
  * Contact
  * Twitter
  * Facebook

  * Privacy Policy
  * Terms of Service

(c) Massachusetts Institute of Technology, 2024