Passer au contenu principal

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

Graph
Search

Recherche

Afficher tous les résultats pour

Accueil

Séance de cours

Fonctions d'ordre supérieur utilisant des substitutions naïves

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (30)

Mutation sécuritaire dans la pratique

Explore la mutation sécuritaire dans la programmation fonctionnelle grâce à une évaluation paresseuse, à des invariants d'objets et à des fonctions de cache efficaces.

Appels à la méthode : évaluation et exemples

Explique les aspects de la méthode, les appels, les arguments, l'évaluation et les valeurs de retour.

Optimisations de programme et idée d'interprétation abstraite

Couvre les optimisations de programmes, l'interprétation abstraite, les transformations algébriques et les analyses d'intervalles.

Hiérarchies de classe: correspondance des motifs

Couvre les hiérarchies de classe, l'appariement des motifs, les valeurs de fonction et les appels de fonction dans Scala.

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.

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.

Sous-typage et génériques dans Scala Connectez-vous à Mediaspace pour regarder cette vidéo

Explore le sous-typage, les génériques et la variance dans Scala, en soulignant l'importance de descriptions de types précises et en démontrant des applications pratiques des expressions.

Résoudre le Quintique : Analyse de l'équilibre dominant Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'analyse de l'équilibre dominant dans la résolution du polynôme quintique, révélant des aperçus sur le comportement de la racine et l'importance des expressions symboliques.

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.

Problèmes d'arrêt optimal: théorie et applications Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les problèmes d'arrêt optimaux dans les probabilités appliquées et les processus stochastiques, en se concentrant sur la théorie et les applications pratiques.

Page 2 sur 2