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

Recherche

Afficher tous les résultats pour

Accueil

Séance de cours

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

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (39)

Le calcul Lambda et la sécurité des types: un aperçu Connectez-vous à Mediaspace pour regarder cette vidéo

Fournit un aperçu du calcul lambda, de la sécurité de type et de l'inférence de type dans les langages de programmation.

Fonctions en C: Concepts clés et exemples Connectez-vous à Mediaspace pour regarder cette vidéo

Explique les concepts essentiels des fonctions dans la programmation C, y compris les définitions, les prototypes et les techniques de passage d'arguments.

Variables et opérateurs Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les bases de la programmation C, y compris les variables, les opérateurs et la programmation orientée système, en mettant l'accent sur les différences avec Java.

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.

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.

Altruisme efficace : sécurité et gouvernance de l’IA Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre l'altruisme efficace en matière de sécurité de l'IA, en se concentrant sur la sémantique de la programmation et la gestion de la mémoire.

Opérateurs et expressions : programmation en C Connectez-vous à Mediaspace pour regarder cette vidéo

Explique les opérateurs et les expressions en C, en se concentrant sur l'arithmétique, la comparaison et les opérations logiques.

Pointeurs et fonctions : Comprendre la lecture de type Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la lecture de type en C, en se concentrant sur les pointeurs, les fonctions et l'utilisation de typesdefs pour plus de clarté.

Hoare Logic: Fondements et applications Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre Hoare Logic, ses fondements, ses applications et son importance dans la vérification des programmes.

Chimie quantique Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les valeurs propres, les fonctions propres, les opérateurs ermitiens et la mesure des observables en chimie quantique.

Simply Taped Lambda Calculus: Fondements et propriétés Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre le calcul lambda simplement typé, en se concentrant sur sa syntaxe, sa sémantique et ses propriétés de système de type telles que le progrès et la préservation.

Introduction à Coq: Expressions arithmétiques et évaluateurs Connectez-vous à Mediaspace pour regarder cette vidéo

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

La séparation est tout ce dont vous avez besoin : Fondations pour la vérification modulaire Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les fondements de la vérification modulaire en utilisant la logique de séparation pour des programmes concomitants réalistes et discute des défis de l'état mutable partagé dans la concorde.

Introduction à la programmation LabVIEW Connectez-vous à Mediaspace pour regarder cette vidéo

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.

Bases de la spectroscopie Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les fondamentaux de la spectroscopie, y compris les sources lumineuses, l'analyse d'échantillons et les niveaux d'énergie.

Linker et Loader : comprendre la compilation en C Connectez-vous à Mediaspace pour regarder cette vidéo

Explique les rôles de linker et de loader dans la programmation C, en se concentrant sur la compilation séparée et la création de fichiers exécutables.

Sans titre Connectez-vous à Mediaspace pour regarder cette vidéo

Mécanique des fractures: croissance des fissures et facteur d'intensité de stress Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la croissance des fissures, le facteur d'intensité de contrainte et la ténacité à la rupture dans les matériaux.

Python Crash Course Connectez-vous à Mediaspace pour regarder cette vidéo

Fournit un cours intensif Python couvrant les arithmétiques de base, les nombres complexes, les chaînes, les listes, les dictionnaires et plus encore.

Page 2 sur 2