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

Sémantique opérationnelle : Amyli Language

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (57)

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.

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.

Polymorphisme dans Coq: Structures de données et fonctions Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre le polymorphisme dans Coq, en se concentrant sur les structures de données et les fonctions telles que les listes, la longueur et l'ajout.

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.

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.

Bloc tiré par un ressort Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la dynamique d'un bloc tiré par un ressort dans diverses conditions.

Introduction à la programmation: Bases et structures de contrôle Connectez-vous à Mediaspace pour regarder cette vidéo

Introduit des bases de programmation et des structures de contrôle, mettant l'accent sur la pratique pratique pratique pour la préparation des examens et le travail de projet.

Propositions inductives : Techniques de raisonnement et d’évaluation Connectez-vous à Mediaspace pour regarder cette vidéo

Discute des propositions inductives, de leurs définitions et de leurs applications dans les techniques de raisonnement et d'évaluation dans Coq.

Structures de contrôle dans la programmation Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les structures de contrôle dans la programmation, en mettant l'accent sur les opérateurs logiques, les ramifications, les boucles et les pièges potentiels de rupture et de poursuite des énoncés.

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.

Introduction à NumPy: Opérations arithmétiques et Arrays Connectez-vous à Mediaspace pour regarder cette vidéo

Introduit les opérations arithmétiques NumPy, les opérations logiques, l'indexation, les tableaux multidimensionnels, les opérations matricielles et l'importation/exportation de données.

Limites rigoureuses : Phases isotropes Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les limites supérieures et inférieures rigoureuses pour les composites de phase isotrope et leur arrangement de microstructure, en se concentrant sur les plaques stratifiées et les relations contrainte-déformation.

Modélisation computationnelle des microstructures Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la modélisation computationnelle des microstructures, les mesures statistiques, la reconstruction des microstructures et les tests de matériaux virtuels.

Analyse de déformation: petite souche et cinématique Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la théorie des petites déformations, la cinématique et les conditions de compatibilité en mécanique des solides.

Thermo-Calc: Modèles d'exercice et de propriété Connectez-vous à Mediaspace pour regarder cette vidéo

Explore le logiciel Thermo-Calc pour définir des fonctions et des modèles de propriétés en science des matériaux.

Logique formelle: preuves et ensembles Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les bases de la logique formelle, en se concentrant sur les expressions logiques et les preuves mathématiques.

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.

Échangeurs de chaleur: principes fondamentaux et applications Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les fondamentaux des échangeurs de chaleur, y compris les profils de conduction, de convection et de température, avec des exemples pratiques.

Méthode d'Eshelby: Modulus Mismatch et Eigenstrains Connectez-vous à Mediaspace pour regarder cette vidéo

Discute des concentrations de contraintes, de la non-concordance des modules et des souches propres dans les matériaux.

Analyse des stratifiés : stress et défaillances Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre l'analyse des contraintes et des défaillances dans les composites stratifiés, y compris le calcul des contraintes au niveau du pli.

Page 2 sur 3