Compilation and C++ BasicsCovers the basics of compilation and C++ programming, including variables, functions, loops, and debugging.
Saving on filesCovers the process of saving variables and writing to files in MATLAB and Octave.
Reasoning about listsCovers laws of list concatenation, proof by induction, referential transparency, and structural induction.