[ToDo] Discrete Mathematics

Dated Aug 17, 2022; last modified on Mon, 05 Sep 2022

Logic

  • walks through pretty common syntax.

Sets and Sequences

  • defines sets and sequences, and various notations.

Sums and Products

  • introduces syntax, and declares a few closed forms without proofs.

Graphs

  • defines various terms like vertices, edges, paths, walks, trails, trees, connectedness, edge-directionality, edge-weights, etc.

recommends:

  • Calculus by Michael Spivak.
  • Logic in Computer Science by Michael Huth.
  • Discrete and Combinatorial Mathematics: An Applied Introduction by Ralph Grimaldi.
  • Concrete Mathematics by Oren Patashnik, Donald E. Knuth, and Ronald Graham.
  • Graph Theory by Reinhard Dietsel.

References

  1. Principles of Algorithmic Problem Solving. Johan Sannemo. KTH Royal Institute of Technology. www.csc.kth.se . Oct 24, 2018.