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

Disques et Variantes

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (42)

Sémantique à grande échelle : définition d'expressions et de commandes arithmétiques Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la définition d'un langage de programmation simple et sa sémantique à grande échelle, y compris les expressions arithmétiques et les commandes impératives.

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.

Variables et types: Introduction à la programmation C Connectez-vous à Mediaspace pour regarder cette vidéo

Introduit les bases des variables et des types dans la programmation C, couvrant la déclaration, l'initialisation et les différences par rapport à Java.

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.

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.

Options en finance d'entreprise Connectez-vous à Mediaspace pour regarder cette vidéo

Présente les principes des options en finance d'entreprise, couvrant les marchés, la terminologie, l'évaluation et les modèles de tarification.

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.

Introduction à la finance: Options en finance d'entreprise Connectez-vous à Mediaspace pour regarder cette vidéo

Présente des options en finance d'entreprise, couvrant les marchés, la terminologie et les représentations graphiques.

Turbulence : Simulation numérique de flux Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les caractéristiques de la turbulence, les méthodes de simulation et les défis de modélisation, fournissant des lignes directrices pour le choix et la validation des modèles de turbulence.

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.

Programmation PLC : bases et langages Connectez-vous à Mediaspace pour regarder cette vidéo

Introduit les bases de la programmation PLC, couvrant des langages tels que le diagramme d'échelle, la liste d'instructions, le texte structuré et le diagramme de fonctions séquentielles.

Tail Calls: Techniques d'optimisation Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'optimisation des appels de queue dans la programmation fonctionnelle, discutant des trampolines, de la technique de Baker, et plus encore.

Optimisation : Attribution des registres Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les sujets de construction avancés du compilateur sur les techniques d'optimisation telles que l'élimination du code mort, le pliage constant et l'allocation des registres.

Fondements de la mécanique structurelle Connectez-vous à Mediaspace pour regarder cette vidéo

Introduit les principes fondamentaux de la mécanique structurale, couvrant l'équilibre, les conditions aux limites, les diagrammes de corps libres et les contraintes.

Aperçus de la spectroscopie Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les concepts de spectroscopie tels que la diffusion de Rayleigh et les niveaux d'énergie.

Vectorworks Design Suite Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les bases de Vectorworks Design Suite 2022 et comment travailler avec différents éléments.

Résistances thermiques et nombre Bi Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les résistances thermiques, le nombre Bi et les circuits thermiques, y compris les équations conductrices de transfert de chaleur et de diffusion de la chaleur.

Programmation Python: Compréhensions de liste et fonctions d'ordre supérieur Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les concepts avancés de programmation Python, en se concentrant sur les compréhensions de liste et les fonctions d'ordre supérieur.

Élasticité linéaire : problèmes symétriques sphériques Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'élasticité linéaire dans les problèmes à symétrie sphérique et les coquilles cylindriques à symétrie axiale.

Récupérer ses voisins : des techniques efficaces Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les techniques pour récupérer efficacement des éléments similaires en utilisant des requêtes de recherche de similarité.

Page 2 sur 3