Offre un cours de crash en MATLAB, couvrant la représentation des données, l'indexation des tableaux, les opérations mathématiques, et les pièges communs.
Couvre les propositions inductives en Coq, en se concentrant sur les règles dévaluation pour les expressions arithmétiques et leurs applications dans la définition des fonctions partielles et non déterministes.
Couvre la conception des systèmes en tant que produits, mettant l'accent sur la pertinence et la fonctionnalité, la pratique pratique pratique et le développement des compétences essentielles.
Explore l'empathie, l'idéation et la mise en œuvre dans la créativité et le design thinking, en mettant l'accent sur les besoins des utilisateurs et la génération d'idées innovantes.
Explore VHDL pour la simulation, le débogage, la modélisation temporelle, la simulation événementielle et la création de bancs d'essai dans la conception de systèmes numériques.
Couvre l'appel du système de fourche dans les systèmes d'exploitation à travers trois exemples pratiques, illustrant la gestion des processus et le flux d'exécution.
Introduit des concepts fondamentaux de programmation C, couvrant les variables, les structures de contrôle, les fonctions et les pointeurs, avec des exemples pratiques et des exercices.