Lectures related to Solving Tasks with Thymio

Related lectures (32)

Explores the relationship between logic proofs and programming evidence through the Curry-Howard Correspondence.

Introduces the fundamentals of variables and types in C programming, covering declaration, initialization, and the differences from Java.