<div class="xblock xblock-public_view xblock-public_view-vertical" data-runtime-version="1" data-course-id="course-v1:OCW+6.042J+2T2019" data-graded="False" data-block-type="vertical" data-has-score="False" data-usage-id="block-v1:OCW+6.042J+2T2019+type@vertical+block@a172122c03f241cfb521c86bdac40ab2" data-init="VerticalStudentView" data-runtime-class="LmsRuntime" data-request-token="fc095c282cbb11f0a93a0e09798aea1b">
<h2 class="hd hd-2 unit-title">Welcome Video</h2>
<div class="vert-mod">
<div class="vert vert-0" data-id="block-v1:OCW+6.042J+2T2019+type@video+block@b68e974697984e1a90787e8448e8a8b8">
<div class="xblock xblock-public_view xblock-public_view-video xmodule_display xmodule_VideoBlock" data-runtime-version="1" data-course-id="course-v1:OCW+6.042J+2T2019" data-graded="False" data-block-type="video" data-has-score="False" data-usage-id="block-v1:OCW+6.042J+2T2019+type@video+block@b68e974697984e1a90787e8448e8a8b8" data-init="XBlockToXModuleShim" data-runtime-class="LmsRuntime" data-request-token="fc095c282cbb11f0a93a0e09798aea1b">
<script type="json/xblock-args" class="xblock-json-init-args">
{"xmodule-type": "Video"}
</script>
<h3 class="hd hd-2">Welcome to 6.042J</h3>
<div
id="video_b68e974697984e1a90787e8448e8a8b8"
class="video closed"
data-metadata='{"autoplay": false, "speed": null, "duration": 0.0, "generalSpeed": 1.0, "lmsRootURL": "https://openlearninglibrary.mit.edu", "ytTestTimeout": 1500, "showCaptions": "true", "savedVideoPosition": 0.0, "completionEnabled": false, "ytMetadataEndpoint": "", "sources": ["https://ia800207.us.archive.org/32/items/MIT6.042JS15/MIT6_042JS15_welcome_6042S15_ipod.mp4"], "autohideHtml5": false, "autoAdvance": false, "transcriptAvailableTranslationsUrl": "/courses/course-v1:OCW+6.042J+2T2019/xblock/block-v1:OCW+6.042J+2T2019+type@video+block@b68e974697984e1a90787e8448e8a8b8/handler/transcript/available_translations", "end": 0.0, "saveStateUrl": "/courses/course-v1:OCW+6.042J+2T2019/xblock/block-v1:OCW+6.042J+2T2019+type@video+block@b68e974697984e1a90787e8448e8a8b8/handler/xmodule_handler/save_user_state", "saveStateEnabled": false, "completionPercentage": 0.95, "ytApiUrl": "https://www.youtube.com/iframe_api", "captionDataDir": null, "transcriptLanguages": {"en": "English"}, "publishCompletionUrl": "/courses/course-v1:OCW+6.042J+2T2019/xblock/block-v1:OCW+6.042J+2T2019+type@video+block@b68e974697984e1a90787e8448e8a8b8/handler/publish_completion", "recordedYoutubeIsAvailable": true, "start": 0.0, "transcriptLanguage": "en", "transcriptTranslationUrl": "/courses/course-v1:OCW+6.042J+2T2019/xblock/block-v1:OCW+6.042J+2T2019+type@video+block@b68e974697984e1a90787e8448e8a8b8/handler/transcript/translation/__lang__", "prioritizeHls": false, "streams": "1.00:wIq4CssPoO0", "poster": null}'
data-bumper-metadata='null'
data-autoadvance-enabled="False"
data-poster='null'
tabindex="-1"
>
<div class="focus_grabber first"></div>
<div class="tc-wrapper">
<div class="video-wrapper">
<span tabindex="0" class="spinner" aria-hidden="false" aria-label="Loading video player"></span>
<span tabindex="-1" class="btn-play fa fa-youtube-play fa-2x is-hidden" aria-hidden="true" aria-label="Play video"></span>
<div class="video-player-pre"></div>
<div class="video-player">
<div id="b68e974697984e1a90787e8448e8a8b8"></div>
<h4 class="hd hd-4 video-error is-hidden">No playable video sources found.</h4>
<h4 class="hd hd-4 video-hls-error is-hidden">
Your browser does not support this video format. Try using a different browser.
</h4>
</div>
<div class="video-player-post"></div>
<div class="closed-captions"></div>
<div class="video-controls is-hidden">
<div>
<div class="vcr"><div class="vidtime">0:00 / 0:00</div></div>
<div class="secondary-controls"></div>
</div>
</div>
</div>
</div>
<div class="focus_grabber last"></div>
<h3 class="hd hd-4 downloads-heading sr" id="video-download-transcripts_b68e974697984e1a90787e8448e8a8b8">Downloads and transcripts</h3>
<div class="wrapper-downloads" role="region" aria-labelledby="video-download-transcripts_b68e974697984e1a90787e8448e8a8b8">
<div class="wrapper-download-video">
<h4 class="hd hd-5">Video</h4>
<a class="btn-link video-sources video-download-button" href="https://ia800207.us.archive.org/32/items/MIT6.042JS15/MIT6_042JS15_welcome_6042S15_ipod.mp4">
Download video file
</a>
</div>
<div class="wrapper-download-transcripts">
<h4 class="hd hd-5">Transcripts</h4>
<ul class="list-download-transcripts">
<li class="transcript-option">
<a class="btn btn-link" href="/courses/course-v1:OCW+6.042J+2T2019/xblock/block-v1:OCW+6.042J+2T2019+type@video+block@b68e974697984e1a90787e8448e8a8b8/handler/transcript/download" data-value="srt">Download SubRip (.srt) file</a>
</li>
<li class="transcript-option">
<a class="btn btn-link" href="/courses/course-v1:OCW+6.042J+2T2019/xblock/block-v1:OCW+6.042J+2T2019+type@video+block@b68e974697984e1a90787e8448e8a8b8/handler/transcript/download" data-value="txt">Download Text (.txt) file</a>
</li>
</ul>
</div>
</div>
</div>
</div>
</div>
<div class="vert vert-1" data-id="block-v1:OCW+6.042J+2T2019+type@html+block@bf94fc5d0f0d43fbab504a97bd4addd7">
<div class="xblock xblock-public_view xblock-public_view-html xmodule_display xmodule_HtmlBlock" data-runtime-version="1" data-course-id="course-v1:OCW+6.042J+2T2019" data-graded="False" data-block-type="html" data-has-score="False" data-usage-id="block-v1:OCW+6.042J+2T2019+type@html+block@bf94fc5d0f0d43fbab504a97bd4addd7" data-init="XBlockToXModuleShim" data-runtime-class="LmsRuntime" data-request-token="fc095c282cbb11f0a93a0e09798aea1b">
<script type="json/xblock-args" class="xblock-json-init-args">
{"xmodule-type": "HTMLModule"}
</script>
<p>Download a copy of the slides for <a href="/assets/courseware/v1/2e998a57251c85016bd81f56145bafbf/asset-v1:OCW+6.042J+2T2019+type@asset+block/MIT6_042JS16_Welcome6.042.pdf" target="[object Object]">Welcome Video (PDF)</a></p>
<p><a href="/assets/courseware/v1/9ab0b92b229bc307127954aad3793b08/asset-v1:OCW+6.042J+2T2019+type@asset+block/6.042_Unit_I_1.1.1Trans.pdf" target="[object Object]">Lecture video transcript (PDF)</a></p>
</div>
</div>
</div>
</div>
<div class="xblock xblock-public_view xblock-public_view-vertical" data-runtime-version="1" data-course-id="course-v1:OCW+6.042J+2T2019" data-graded="False" data-block-type="vertical" data-has-score="False" data-usage-id="block-v1:OCW+6.042J+2T2019+type@vertical+block@dcf850220b694bae95c450fd8f0da709" data-init="VerticalStudentView" data-runtime-class="LmsRuntime" data-request-token="fc095c282cbb11f0a93a0e09798aea1b">
<h2 class="hd hd-2 unit-title">Overview and Prerequisites</h2>
<div class="vert-mod">
<div class="vert vert-0" data-id="block-v1:OCW+6.042J+2T2019+type@html+block@fa59622a578e42bea105e83377a5f5fc">
<div class="xblock xblock-public_view xblock-public_view-html xmodule_display xmodule_HtmlBlock" data-runtime-version="1" data-course-id="course-v1:OCW+6.042J+2T2019" data-graded="False" data-block-type="html" data-has-score="False" data-usage-id="block-v1:OCW+6.042J+2T2019+type@html+block@fa59622a578e42bea105e83377a5f5fc" data-init="XBlockToXModuleShim" data-runtime-class="LmsRuntime" data-request-token="fc095c282cbb11f0a93a0e09798aea1b">
<script type="json/xblock-args" class="xblock-json-init-args">
{"xmodule-type": "HTMLModule"}
</script>
<h3><strong><img height="320" width="320" src="/assets/courseware/v1/3f7455768f52914f5a26866e7c89549d/asset-v1:OCW+6.042J+2T2019+type@asset+block/6-042js15.jpg" alt="6.042 course logo: 4 by 4 square with numbers in each square." /></strong></h3>
<p></p>
<h3><strong>Introduction</strong></h3>
<hr />
<p>This subject offers an introduction to discrete mathematics oriented toward computer science and engineering.</p>
<p>The subject coverage divides roughly into three parts:</p>
<ol>
<li>Fundamental concepts of mathematics: Definitions, proofs, sets, functions, relations.</li>
<li>Discrete structures: graphs, state machines, modular arithmetic, counting. </li>
<li>Discrete probability theory.</li>
</ol>
<p><br /> </p>
<h3><strong>Prerequisite</strong></h3>
<hr />
<p>The prerequisite is <a href="https://ocw.mit.edu/courses/mathematics/18-01sc-single-variable-calculus-fall-2010/" target="[object Object]"><em>18.01 Single Variable Calculus (OCW).</em></a> In particular, some familiarity with sequences and series, limits, and differentiation and integration of functions of one variable are necessary.</p>
<h3></h3>
</div>
</div>
</div>
</div>
<div class="xblock xblock-public_view xblock-public_view-vertical" data-runtime-version="1" data-course-id="course-v1:OCW+6.042J+2T2019" data-graded="False" data-block-type="vertical" data-has-score="False" data-usage-id="block-v1:OCW+6.042J+2T2019+type@vertical+block@50fbf1c0d74e4fe5bbd5884e63f699e1" data-init="VerticalStudentView" data-runtime-class="LmsRuntime" data-request-token="fc095c282cbb11f0a93a0e09798aea1b">
<h2 class="hd hd-2 unit-title">Goals</h2>
<div class="vert-mod">
<div class="vert vert-0" data-id="block-v1:OCW+6.042J+2T2019+type@html+block@ddcb1e465dbd479b907694c630189681">
<div class="xblock xblock-public_view xblock-public_view-html xmodule_display xmodule_HtmlBlock" data-runtime-version="1" data-course-id="course-v1:OCW+6.042J+2T2019" data-graded="False" data-block-type="html" data-has-score="False" data-usage-id="block-v1:OCW+6.042J+2T2019+type@html+block@ddcb1e465dbd479b907694c630189681" data-init="XBlockToXModuleShim" data-runtime-class="LmsRuntime" data-request-token="fc095c282cbb11f0a93a0e09798aea1b">
<script type="json/xblock-args" class="xblock-json-init-args">
{"xmodule-type": "HTMLModule"}
</script>
<h3><strong>Objectives</strong></h3>
<hr />
<p>Upon completion of 6.042J, students will be able to explain and apply 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.</p>
<p>In particular, students will be able to:</p>
<ol>
<li>Reason mathematically about basic data types and structures (such as numbers, sets, graphs, and trees) used in computer algorithms and systems; distinguish rigorous definitions and conclusions from merely plausible ones; synthesize elementary proofs, especially proofs by induction.</li>
<li>Model and analyze computational processes using analytic and combinatorial methods.</li>
<li>Apply principles of discrete probability to calculate probabilities and expectations of simple random processes.</li>
<li>Work in small teams to accomplish all the objectives above.</li>
</ol>
<p><br /> </p>
<h3><strong>Learning Outcomes</strong></h3>
<hr />
<p>At the end of this course, students will be able to:</p>
<ol>
<li>Use logical notation to define and reason about fundamental mathematical concepts such as sets, relations, functions, and integers.</li>
<li>Evaluate elementary mathematical arguments and identify fallacious reasoning (not just fallacious conclusions).</li>
<li>Synthesize induction hypotheses and simple induction proofs.</li>
<li>Prove elementary properties of modular arithmetic and explain their applications in computer science, for example, in cryptography and hashing algorithms.</li>
<li>Apply graph-theoretic models of data structures and state machines to solve problems of connectivity and constraint satisfaction (e.g. scheduling).</li>
<li>Apply the method of invariants and well-founded ordering to prove correctness and termination of processes and state machines.</li>
<li>Derive closed-form and asymptotic expressions from series and recurrences for growth rates of processes.</li>
<li>Calculate numbers of possible outcomes of elementary combinatorial processes such as permutations and combinations.</li>
<li>Calculate probabilities and discrete distributions for simple combinatorial processes; calculate expectations.</li>
<li>Problem solve and study in a small team with fellow students.</li>
</ol>
</div>
</div>
</div>
</div>