Outlines the course logistics and objectives for Object-Oriented Programming, focusing on error management and the integration of practical sessions with theoretical learning.
Covers inductive propositions in Coq, focusing on evaluation rules for arithmetic expressions and their applications in defining partial and non-deterministic functions.
Explores safe mutation in Scala, emphasizing the management of mutable state and its significance in interactions, modeling, and implementation efficiency.
