aalok thakkar: introduction to computer science

summer 2025: cs-1102

Source: XKCD. As you learn concepts in this course, you can
technically claim that you trained a neural network to do ICS for you.

Resources and Reading Materials:


Required Pre-course Reading:
    First four chapters of Martin V. Day. An Introduction to Proofs and the Mathematical Vernacular, 2008.
Tools, Software, and Languages:
  1. Install OCaml.
  2. OCaml Language Reference.
  3. Set up Visual Studio Code.
Text-books:
  1. Yaron Minsky, and Anil Madhavapeddy. Real World OCaml. Cambridge University Press, 2022.
  2. Michael R. Clarkson. OCaml Programming: Correct + Efficient + Beautiful, 2021.
Optional Reading:
  1. Aditya Y. Bhargava. Grokking Algorithms. Manning Publications, 2016.
Other Media:
  1. Visualising Sorting Algorithms via VisualGo
  2. Yaron Minsky. Why OCaml? 2016
  3. Jane Street. Types, and Why You Should Care. 2018.
  4. Michael R. Clarkson. OCaml Programming: Correct + Efficient + Beautiful (YouTube Playlist), 2020.