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

Concept

Structure de données persistante

Séances de cours associées (27)

Structures de données fonctionnelles : Collections et opérations

Couvre les structures de données fonctionnelles et leurs relations, leurs implémentations et leur efficacité.

Représentation du modèle : Structures et fonctions

Couvre la représentation des modèles mathématiques, des fonctions et des structures de données dans les systèmes d'information.

Annexes au contrat amorties

Explore les appendices de temps constants dans Conc-Trees et le comptage dans un système de nombres binaires.

Opérations de données et cartographie parallèle

Explore la programmation parallèle dans Scala, les opérations fonctionnelles sur les collections, et les fonctions de carte parallèle sur les tableaux et les arbres.

Vérification des programmes avec l'inox

Explore la vérification des programmes en utilisant l'inox, en mettant l'accent sur l'exactitude fonctionnelle, les assistants d'épreuve et l'automatisation des tâches de raisonnement.

Un regard de plus près sur les listes

Couvre la construction de la liste, les méthodes et les implémentations, y compris les exercices et l'analyse de la complexité.

Cohérence événementielle : Acteurs et structures de données

Explore la cohérence éventuelle, les acteurs de Scala, et l'importance de structures de données appropriées pour atteindre la cohérence dans les systèmes distribués.

Fonctions et listes: Compléments et manipulation

Explore les compléments des fonctions, l'ordre des paramètres et la manipulation des listes, y compris le comptage des événements et la résolution du « problème des 100 prisonniers ».

Programmation Python : Structures et fonctions de données

Couvre les concepts avancés de programmation Python, y compris les structures et fonctions de données.

Structures de données: Tuples, Sets, Dictionnaires

Explore les tuples, les ensembles et les dictionnaires en Python, couvrant l'immutabilité, l'unicité et les paires de valeurs clés.

Conc-Trees: Programmation parallèle en Scala

Couvre la mise en œuvre de Conc-Trees à Scala pour la programmation parallèle.

Introduction aux tableaux

Couvre l'introduction aux tableaux en C++, y compris leur utilisation, limitations et solutions.

Listes de Python : Manipulation et Compréhension

Couvre la manipulation et la compréhension de la liste Python, mettant l'accent sur la représentation de la mémoire et la mutabilité.

Structures de données: Tuples, Listes, Ensembles, Dicts

Introduit des structures de données comme des tuples, des listes, des ensembles et des dictons dans Python, couvrant leur définition, manipulation et itération.

Classes et encapsulation : principes de la programmation modulaire

Couvre les principes des classes, de l'encapsulation et de la programmation modulaire en C++.

Python : dictionnaires et tuples

Explore les dictionnaires, les tuples, les objets mutables et les arguments de longueur variable en Python.

Concepts de programmation : Variables et expressions

Couvre les concepts de programmation fondamentaux tels que les algorithmes, les variables et les expressions en C++.

Programmation fonctionnelle: concepts et mise en œuvre

Couvre les concepts et la mise en œuvre de la programmation fonctionnelle dans Scala, mettant l'accent sur les fonctions, les données immuables et l'abstraction des données.

Structures et mécanismes: Structures statiques (Rigides)Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre l'analyse des structures statiques (rigides), y compris les diagrammes d'équilibre et de corps libre.

Nouvelles technologies dans les algorithmes concomitants : RDMA et mémoire persistante Connectez-vous à Mediaspace pour regarder cette vidéo

Introduit la RDMA et la mémoire persistante, en discutant de leurs caractéristiques, de leurs défis et de leur impact sur les algorithmes concurrents.