Covers the basics of compilation and C++ programming, including variables, functions, loops, and debugging.
Focuses on Matlab/Octave functions, covering naming conventions, returning values, debugging, and logical indexing.
Covers testing, TDD, coverage, debugging, naming conventions, comments, and solutions for coding issues.
Covers programming basics, debugging, good practices, and a semester-long project for engineering students.
Delves into the NIM game, teaching winning strategies through algorithms and emphasizing the importance of synchronization between players.
Covers Solver-Aided Programming, integrating SMT solvers for program verification, synthesis, and debugging, along with challenges in building solver-aided tools.
