Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Langage de programmation de bas niveau

Séances de cours associées (31)

Résolution des contraintes de type

Explique le processus de résolution des contraintes de type en utilisant l'algorithme d'unification et la généralisation de l'inférence de type flexible.

Essentiels du calcul scientifique

Couvre la pensée algorithmique, la programmation Python, les méthodes numériques et les concepts informatiques essentiels pour l'informatique scientifique.

Exercice - Capsules et sélection de groupe

Couvre les exercices sur la création de capsules, la sélection de groupe et les critères d'évaluation.

Introduction aux assemblées et à la documentation

Présente les assemblages, la documentation et Speckle pour la collaboration de conception de bâtiments.

Meta-metaprogramming: Outils avancés pour l'ingénierie logicielle

Explore la «meta-metaprogrammation» pour simplifier les outils de programmation avancés et relever les défis de l'ingénierie logicielle.

Une introduction à l'iris: logique de séparation simultanée d'ordre supérieur

Introduit Iris, un cadre logique pour raisonner sur la sécurité et l'exactitude des programmes impératifs d'ordre supérieur simultanés, en mettant l'accent sur ses caractéristiques et applications uniques.

Traitement en temps réel: Buffering and Effects

Couvre le traitement en temps réel, le tamponnage et la mise en œuvre d'effets audio à l'aide de fonctions de callback et de programmation de bas niveau.

Introduction aux algorithmes

Présente des algorithmes en tant que procédures de résolution de problèmes, couvrant la complexité, l'exactitude et la mise en œuvre dans divers langages.

Théorie de la langue dans la pratique Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'application pratique de la théorie du langage, y compris le tri rapide, le typage progressif et la gestion efficace de la mémoire, ainsi que les défis de la synthèse des programmes de réduction.

NumPy : Informatique scientifique Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'importance de NumPy pour l'informatique scientifique, en soulignant l'importance d'optimiser le temps de calcul et l'utilisation de la mémoire.

MATLAB: Cours de choc au MATLAB Connectez-vous à Mediaspace pour regarder cette vidéo

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.