Séances de cours associées à Histoire des langages de programmation

Altruisme efficace : sécurité et gouvernance de l’IA

Couvre l'altruisme efficace en matière de sécurité de l'IA, en se concentrant sur la sémantique de la programmation et la gestion de la mémoire.

Machines virtuelles : gestion de la mémoire et flux de contrôle

Couvre l'architecture des machines virtuelles, en se concentrant sur la gestion de la mémoire, le flux de contrôle et la sémantique de la machine CEK.

Introduction à la théorie des compilateurs et au traitement du langage

Introduit la théorie du compilateur, le traitement du langage et les concepts essentiels derrière les compilateurs de construction.

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.