Séances de cours associées à Règles de syntaxe et de dactylographie

Couvre l'importance de l'échantillonnage, de la reconstruction du signal et de l'aliasing dans la représentation numérique.

Couvre l'élasticité anisotrope, les opérations de symétrie et la multiphysique en science des matériaux.

Présente la théorie derrière les stratifiés et leurs applications dans différentes industries.

Couvre les bases de Coq, en se concentrant sur les expressions arithmétiques, l'évaluation et les techniques de preuve.