Résoudre des tâches avec Thymio

Analyse de terminaison à l'aide de paires de dépendances

Explore l'analyse automatisée de terminaison à l'aide de paires de dépendances, couvrant les techniques classiques et modernes, les concours annuels et des outils comme AProVE.

Ingénierie des logiciels Fondements

Introduit les fondamentaux de l'ingénierie logicielle, couvrant le traitement de l'instruction, les algorithmes, les langages de programmation, les abstractions, les tests, la sécurité et l'open source.

Contrôle de la vitesse

Couvre la planification d'événements, la programmation séquentielle et le processus de prise de décision lors de la programmation d'un robot.

Fondements du logiciel: Modélisation des langages de programmation

Couvre l'étude mathématique des comportements de programme, l'analyse, les langages spécifiques à un domaine et les outils puissants de conception de langage.

Introduction à la programmation LabVIEW

Couvre les bases de la programmation LabVIEW, en se concentrant sur les instruments virtuels et leurs applications dans les projets d'ingénierie.