MySmartCoPilot

Your country

Tools that support it use your country for local currency, number formats, units and paper size. Your choice is saved only in this browser.

Computer science fundamentals

Discrete Mathematics

The planned outline of 14 modules. Lessons are written, run and reviewed before they are published.

Coming soon 14 modules

Coming soon. This track is being written. Below is its planned outline: a lesson appears here once its examples have been run and its technical review is signed off.

Planned outline

  1. Module 1

    Propositional logic

    Coming soon
  2. Module 2

    Predicate logic and quantifiers

    Coming soon
  3. Module 3

    Proof techniques

    Coming soon
  4. Module 4

    Sets, functions and cardinality

    Coming soon
  5. Module 5

    Relations

    Coming soon
  6. Module 6

    Partial orders, lattices and Boolean algebra

    Coming soon
  7. Module 7

    Counting and combinatorics

    Coming soon
  8. Module 8

    Sums, recurrences and generating functions

    Coming soon
  9. Module 9

    Number theory and cryptography

    Coming soon
  10. Module 10

    Algebraic structures

    Coming soon
  11. Module 11

    Graph theory

    Coming soon
  12. Module 12

    Trees

    Coming soon
  13. Module 13

    Discrete probability

    Coming soon
  14. Module 14

    GATE practice

    India-specific Coming soon

Related tools

Prime Factorization & Factors Calculator 360 = 2³ × 3² × 5 — with the factor tree, the ladder and every factor. LCM & HCF (GCD) Calculator HCF and LCM with the working shown three ways — prime factors, ladder and Euclid. Number Base Converter Binary, octal, decimal, hex and every base to 36 — exact, with the working shown.

Official documentation

More in Computer science fundamentals