111 Folgen

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.

Mathematics for Computer Science (2015) MIT

    • Technologie

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.

    • video
    1.1.1 Welcome to 6.042

    1.1.1 Welcome to 6.042

    • 2 Min.
    • video
    1.1.2 Intro to Proofs: Part 1

    1.1.2 Intro to Proofs: Part 1

    • 9 Min.
    • video
    1.1.3 Intro to Proofs: Part 2

    1.1.3 Intro to Proofs: Part 2

    • 7 Min.
    • video
    1.2.1 Proof by Contradiction

    1.2.1 Proof by Contradiction

    • 7 Min.
    • video
    1.2.3 Proof by Cases

    1.2.3 Proof by Cases

    • 6 Min.
    • video
    1.3.1 Well Ordering Principle 1: Video

    1.3.1 Well Ordering Principle 1: Video

    • 5 Min.

Top‑Podcasts in Technologie

Zuhörer haben auch Folgendes abonniert:

Mehr von MIT