Séances de cours associées à Résoudre des tâches avec Thymio

Séances de cours associées (32)

Propositions en tant que types: Logique et correspondance de programmation

Explore la relation entre les preuves logiques et les preuves de programmation à travers la correspondance de Curry-Howard.

Variables et types: Introduction à la programmation C

Introduit les bases des variables et des types dans la programmation C, couvrant la déclaration, l'initialisation et les différences par rapport à Java.