Présente la programmation LabVIEW, couvrant la gestion de la mémoire, les types de données et les concepts de programmation parallèle, avec des démonstrations pratiques.
Introduit le cours de programmation de l'apprentissage automatique, couvrant les prérequis de programmation de MATLAB et les bases de l'apprentissage automatique, ainsi que le système de classement et le matériel de cours.
Explore la programmation fonctionnelle vérifiée, la vérification formelle, les résolveurs SMT, la vérification de type, les fonctionnalités Scala, l'automatisation et les types dépendants.
Couvre la mise en œuvre simple des signaux et des Vars dans la programmation réactive fonctionnelle, y compris le maintien des dépendances et les types de fonctions implicites.
